Hardprob/Maximum Weighted Satisfiability With Bound

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

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

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

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