2
Поліноміальні вирішувані в часі екземпляри Max-Sat
Проблема Max-Sat попросить вас знайти формулу CNF, яка задовольнить якомога більше пропозицій. Для більш простої задачі SAT існує багато відомих спеціальних випадків, які можна вирішити в поліноміальний час, наприклад, ми можемо вирішити 2-SAT в поліноміальний час. Для Max-Sat ситуація відрізняється, оскільки Max-Sat є важким навіть для формул 2-CNF (кожен пункт …