2
Polinom zaman çözülebilir Max-Sat örnekleri
Max-Sat sorunu sizden olabildiğince çok cümleyi karşılayan bir CNF formülü ataması bulmanızı istiyor. Daha basit problem SAT için, polinom zamanında çözülebilen bilinen birçok özel durum vardır, örneğin 2-SAT'ı polinom zamanında çözebiliriz. Max-Sat için durum farklıdır çünkü Max-Sat 2-CNF formülleri için bile NP-zordur (her bir madde sadece 2 değişken içerir). Max-Sat'ın …