Hardprob/Maximum Weighted Satisfiability With Bound

Материал из DISCOPAL
Версия от 22:05, 17 апреля 2023; StasFomin (обсуждение | вклад) (Массовая правка: замена PCRE <m>(\w)\s*∈\s*(\w)</m> на <em>\1 ∈ \2</em>)

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск
  • Набор булевых переменных U, булевое выражение F над U, неотрицательное число-ограничение B ∈ N,
    • для каждой переменной u ∈ U, задан вес , такой что .
  • Найти значения переменных для U, т.е. выбор подмножества U'⊆ U переменных которых выставили в «истину», а остальные U-U' соответственно выставлены в «ложь». Значение решения R будет
    • либо B, если F ложно
    • либо , если F истинно.
  • Максимизировать R.

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


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

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

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