Hardprob/Minimum Distinguished Ones

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

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

---

Код в «minimum-distinguished-ones.ipynb» на гитлаб или живьем в лабе

---

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

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

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

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