Hardprob/Maximum Weighted Satisfiability With Bound

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

• Набор булевых переменных U, булевое выражение F над U, неотрицательное число-ограничение ,
  • для каждой переменной , задан вес , такой что .
• Найти значения переменных для U, т.е. выбор подмножества U'⊆ U переменных которых выставили в «истину», а остальные U-U' соответственно выставлены в «ложь». Значение решения R будет
  • либо B, если F ложно
  • либо , если F истинно.
• Максимизировать R.

---

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

---

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

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

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

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