Запитання з тегом «max2sat»

2
Поліноміальні вирішувані в часі екземпляри Max-Sat
Проблема Max-Sat попросить вас знайти формулу CNF, яка задовольнить якомога більше пропозицій. Для більш простої задачі SAT існує багато відомих спеціальних випадків, які можна вирішити в поліноміальний час, наприклад, ми можемо вирішити 2-SAT в поліноміальний час. Для Max-Sat ситуація відрізняється, оскільки Max-Sat є важким навіть для формул 2-CNF (кожен пункт …
18 sat  treewidth  max2sat 
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.