@johny11f: Jakoś sobie nie wyobrażam takiego dowodu ... musi uwzględniać wszelkie możliwe klasy algorytmów ... jak zamianę na ciągły problem ...
Na przykład w 3SAT pytaniem jest czy można tak zawartościować zmienne, żeby wszystkie zadane alternatywy trójek z negacjami (np. x lub (nie y) lub z) były spełnione.
No to potraktujmy zmienne jako liczby rzeczywiste - alternatywa (x lub y) jest spełniona
Komentarze (107)
najlepsze
Na przykład w 3SAT pytaniem jest czy można tak zawartościować zmienne, żeby wszystkie zadane alternatywy trójek z negacjami (np. x lub (nie y) lub z) były spełnione.
No to potraktujmy zmienne jako liczby rzeczywiste - alternatywa (x lub y) jest spełniona
Wtedy nie usłyszy jak ktoś będzie wchodził do domu.
No chyba, że jej się wąsy palą.
Działający film tutaj:
http://www.youtube.com/watch?v=razyzcweNwI