Просмотр исходного текста страницы Hardprob/Maximum Weighted Satisfiability With Bound

<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} -->
* Набор булевых переменных <em>U</em>, булевое выражение <em>F</em> над <em>U</em>, неотрицательное число-ограничение <em>B ∈ N</em>, 
** для каждой переменной <em>u ∈ U</em>, задан вес <m>w(u)∈  N</m>, такой что <m>B\le\sum\limits_{u∈  U} w(u)≤2\,B</m>.
* Найти значения переменных для <em>U</em>, т.е. выбор подмножества <em>U'⊆ U</em> переменных которых выставили в «истину», а остальные <em>U-U'</em> соответственно выставлены в «ложь». Значение решения <em>R</em> будет 
** либо <em>B</em>, если <em>F</em> ложно
** либо <m>\displaystyle\sum\limits_{v∈  U'} w(v)</m>, если <em>F</em> истинно.
* Максимизировать <em>R</em>.

----
{{hard-problem-on-lab17|{{PAGENAME}}}}
<!-- * {{has-testdata-and-visualization}} -->
<!-- * {{has-pyomo-model}}   -->
<!-- * {{has-npc-reduction}} -->
<!-- * {{add-random-fuzzing-tests}} -->
----
<small>
{{ViggoCode|node232}}
<!-- {{GDCode|}} -->
<!-- * [ Задача в википедии]  -->
</small>
<!-- end -->

[[Категория:ClassicHardProblems]]