2
Разрешаемые экземпляры Max-Sat за полиномиальное время
Задача Max-Sat просит вас найти назначение формулы CNF, которое удовлетворяет как можно большему количеству предложений. Для более простой задачи SAT существует много известных частных случаев, которые могут быть решены за полиномиальное время, например, мы можем решить 2-SAT за полиномиальное время. Для Max-Sat ситуация иная, так как Max-Sat является NP-сложным даже …