Hardprob/Maximum Weighted Satisfiability With Bound — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Набор булевых переменных <em>U</em>, булевое выражение…») |
(нет различий)
|
Версия 17:06, 13 апреля 2023
- Набор булевых переменных U, булевое выражение F над U, неотрицательное число-ограничение ,
- для каждой переменной , задан вес , такой что .
- Найти значения переменных для U, т.е. выбор подмножества U'⊆ U переменных которых выставили в «истину», а остальные U-U' соответственно выставлены в «ложь». Значение решения R будет
- либо B, если F ложно
- либо , если F истинно.
- Максимизировать R.
Задача в лаб22 (рид-онли просмотр)