https://discopal.ispras.ru/index.php?action=history&feed=atom&title=Hardprob%2FMinimum_Distinguished_OnesHardprob/Minimum Distinguished Ones - История изменений2026-04-14T20:00:07ZИстория изменений этой страницы в викиMediaWiki 1.26.4https://discopal.ispras.ru/index.php?title=Hardprob/Minimum_Distinguished_Ones&diff=23761&oldid=prevStasFomin: Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Непересекающиеся множества булевых переменных <em>…»2023-04-13T16:28:34Z<p>Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Непересекающиеся множества булевых переменных <em>…»</p>
<p><b>Новая страница</b></p><div><!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --><br />
<br />
* Непересекающиеся множества булевых переменных <em>X,Z</em>, коллекция <em>C</em> дизъюнкций не больше чем три литерала, где каждый литерал переменная или отрицание из <em>X∪Z</em>.<br />
* Найти присваивание для <em>X</em> и <em>Z</em>, чтобы все скобки в <em>C</em> выполнялись.<br />
* Минимизировать число переменных из <em>Z</em>, которые будут установлены в «истину».<br />
<br />
----<br />
{{hard-problem-on-lab17|{{PAGENAME}}}}<br />
<!-- * {{has-testdata-and-visualization}} --><br />
<!-- * {{has-pyomo-model}} --><br />
<!-- * {{has-npc-reduction}} --><br />
<!-- * {{add-random-fuzzing-tests}} --><br />
----<br />
<small><br />
{{ViggoCode|node231}}<br />
<!-- {{GDCode|}} --><br />
<!-- * [ Задача в википедии] --><br />
</small><br />
<!-- end --><br />
<br />
[[Категория:ClassicHardProblems]]</div>StasFomin