Hardprob/Maximum Horn Core

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

• M — набор булевых значений для n переменных.
• Найти «Horn core» от M, т.е. подмножество M' ⊆ M, такое, что M' набор булевых значений удовлетворяющих формулу Хорна, [1].
• Размерность ядра, т.е. |M'|.

---

Код в «maximum-horn-core.ipynb» на гитлаб или живьем в лабе

---

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

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

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

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