Hardprob/Maximum K-Constraint Satisfaction

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

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

---

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

---

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

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

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

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