Hardprob/Maximum Distinguished Ones

Ссылки сюда (2) →

• Непересекающиеся множества булевых переменных X,Z, коллекция C дизъюнкций не больше чем три литерала, где каждый литерал переменная или отрицание из X∪Z.
• Найти присваивание для X и Z, чтобы все скобки в C выполнялись.
• Максимизировать число переменных из Z, которые будут установлены в «истину».

---

Задача в лаб22 (рид-онли просмотр)

---

• Задача в базе NP-полных задач Вигго Кана

[ Хронологический вид ]Комментарии

(нет элементов)

Войдите, чтобы комментировать.