Hardprob/Maximum K-Constraint Satisfaction

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

• Набор булевых переменных U, коллекция C конъюнкций, не больше k литералов (литерал — переменная или ее отрицание),
• Найти присваивание переменным из U.
• Максимизировать число выполненных скобок-дизъюнкций.

---

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

---

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

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

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

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