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