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 wtw
((x-1)^2+y^2)((x-1)^2+(y-1)^2)(x^2+(y-1)^2) ma minimum (w 0)
żeby przetłumaczyć alternatywę
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 wtw
((x-1)^2+y^2)((x-1)^2+(y-1)^2)(x^2+(y-1)^2) ma minimum (w 0)
żeby przetłumaczyć alternatywę