Dobrze znany problem SAT został tu zdefiniowany dla odniesienia.
Problem DOUBLE-SAT jest zdefiniowany jako
Jak udowodnimy, że jest kompletny NP?
Doceniony zostanie więcej niż jeden sposób udowodnienia.
Dobrze znany problem SAT został tu zdefiniowany dla odniesienia.
Problem DOUBLE-SAT jest zdefiniowany jako
Jak udowodnimy, że jest kompletny NP?
Doceniony zostanie więcej niż jeden sposób udowodnienia.
Oto jedno rozwiązanie:
źródło