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

<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} -->
* Константа <em>k≥2</em>, множество переменных <em>U</em>, 
* Коллекция <em>C</em> скобок-дизъюнкций литералов, где литерал это какая-то переменная или ее отрицание, размер скобки не больше <em>k</em>. 
* Найти истинное присваивание для <em>U</em>.
* Максимизировать число выполненных скобок.

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

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