https://discopal.ispras.ru/index.php?action=history&feed=atom&title=Hardprob%2FMaximum_Horn_Core
Hardprob/Maximum Horn Core - История изменений
2026-04-25T14:07:51Z
История изменений этой страницы в вики
MediaWiki 1.26.4
https://discopal.ispras.ru/index.php?title=Hardprob/Maximum_Horn_Core&diff=25177&oldid=prev
StasFomin: Массовая правка: замена PCRE <m>(\w[^_⊆]*)\s*⊆\s*(\w)</m> на <em>\1 ⊆ \2</em>
2023-04-17T22:10:12Z
<p>Массовая правка: замена PCRE <m>(\w[^_⊆]*)\s*⊆\s*(\w)</m> на <em>\1 ⊆ \2</em></p>
<table class='diff diff-contentalign-left'>
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr style='vertical-align: top;' lang='ru'>
<td colspan='2' style="background-color: white; color:black; text-align: center;">← Предыдущая</td>
<td colspan='2' style="background-color: white; color:black; text-align: center;">Версия 22:10, 17 апреля 2023</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1" >Строка 1:</td>
<td colspan="2" class="diff-lineno">Строка 1:</td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div><!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --></div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div><!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* <em>M</em> — набор булевых значений для <em>n</em> переменных.</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* <em>M</em> — набор булевых значений для <em>n</em> переменных.</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* Найти «[https://en.wikipedia.org/wiki/Alfred_Horn Horn] core» от <em>M</em>, т.е. подмножество <<del class="diffchange diffchange-inline">m</del>>M' ⊆ M</<del class="diffchange diffchange-inline">m</del>>, такое, что <em>M'</em> набор булевых значений удовлетворяющих [https://ru.wikipedia.org/wiki/%D0%A5%D0%BE%D1%80%D0%BD%D0%BE%D0%B2%D1%81%D0%BA%D0%B8%D0%B9_%D0%B4%D0%B8%D0%B7%D1%8A%D1%8E%D0%BD%D0%BA%D1%82 формулу Хорна], [https://en.wikipedia.org/wiki/Horn-satisfiability].</div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* Найти «[https://en.wikipedia.org/wiki/Alfred_Horn Horn] core» от <em>M</em>, т.е. подмножество <<ins class="diffchange diffchange-inline">em</ins>>M' <ins class="diffchange diffchange-inline"> </ins>⊆ M</<ins class="diffchange diffchange-inline">em</ins>>, такое, что <em>M'</em> набор булевых значений удовлетворяющих [https://ru.wikipedia.org/wiki/%D0%A5%D0%BE%D1%80%D0%BD%D0%BE%D0%B2%D1%81%D0%BA%D0%B8%D0%B9_%D0%B4%D0%B8%D0%B7%D1%8A%D1%8E%D0%BD%D0%BA%D1%82 формулу Хорна], [https://en.wikipedia.org/wiki/Horn-satisfiability].</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* Размерность ядра, т.е. <em>|M'|</em>.</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* Размерность ядра, т.е. <em>|M'|</em>.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td></tr>
<!-- diff cache key discopal:diff:version:1.11a:oldid:24791:newid:25177 -->
</table>
StasFomin
https://discopal.ispras.ru/index.php?title=Hardprob/Maximum_Horn_Core&diff=24791&oldid=prev
StasFomin: Массовая правка: замена \subseteq на ⊆
2023-04-17T11:08:29Z
<p>Массовая правка: замена \subseteq на ⊆</p>
<table class='diff diff-contentalign-left'>
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr style='vertical-align: top;' lang='ru'>
<td colspan='2' style="background-color: white; color:black; text-align: center;">← Предыдущая</td>
<td colspan='2' style="background-color: white; color:black; text-align: center;">Версия 11:08, 17 апреля 2023</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1" >Строка 1:</td>
<td colspan="2" class="diff-lineno">Строка 1:</td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div><!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --></div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div><!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* <em>M</em> — набор булевых значений для <em>n</em> переменных.</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* <em>M</em> — набор булевых значений для <em>n</em> переменных.</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* Найти «[https://en.wikipedia.org/wiki/Alfred_Horn Horn] core» от <em>M</em>, т.е. подмножество <m>M' <del class="diffchange diffchange-inline">\subseteq </del>M</m>, такое, что <em>M'</em> набор булевых значений удовлетворяющих [https://ru.wikipedia.org/wiki/%D0%A5%D0%BE%D1%80%D0%BD%D0%BE%D0%B2%D1%81%D0%BA%D0%B8%D0%B9_%D0%B4%D0%B8%D0%B7%D1%8A%D1%8E%D0%BD%D0%BA%D1%82 формулу Хорна], [https://en.wikipedia.org/wiki/Horn-satisfiability].</div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* Найти «[https://en.wikipedia.org/wiki/Alfred_Horn Horn] core» от <em>M</em>, т.е. подмножество <m>M' <ins class="diffchange diffchange-inline">⊆ </ins>M</m>, такое, что <em>M'</em> набор булевых значений удовлетворяющих [https://ru.wikipedia.org/wiki/%D0%A5%D0%BE%D1%80%D0%BD%D0%BE%D0%B2%D1%81%D0%BA%D0%B8%D0%B9_%D0%B4%D0%B8%D0%B7%D1%8A%D1%8E%D0%BD%D0%BA%D1%82 формулу Хорна], [https://en.wikipedia.org/wiki/Horn-satisfiability].</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* Размерность ядра, т.е. <em>|M'|</em>.</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* Размерность ядра, т.е. <em>|M'|</em>.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td></tr>
<!-- diff cache key discopal:diff:version:1.11a:oldid:23770:newid:24791 -->
</table>
StasFomin
https://discopal.ispras.ru/index.php?title=Hardprob/Maximum_Horn_Core&diff=23770&oldid=prev
StasFomin: Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * <em>M</em> — набор булевых значений для <em>n</em> переменн…»
2023-04-13T23:41:52Z
<p>Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * <em>M</em> — набор булевых значений для <em>n</em> переменн…»</p>
<p><b>Новая страница</b></p><div><!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --><br />
* <em>M</em> — набор булевых значений для <em>n</em> переменных.<br />
* Найти «[https://en.wikipedia.org/wiki/Alfred_Horn Horn] core» от <em>M</em>, т.е. подмножество <m>M' \subseteq M</m>, такое, что <em>M'</em> набор булевых значений удовлетворяющих [https://ru.wikipedia.org/wiki/%D0%A5%D0%BE%D1%80%D0%BD%D0%BE%D0%B2%D1%81%D0%BA%D0%B8%D0%B9_%D0%B4%D0%B8%D0%B7%D1%8A%D1%8E%D0%BD%D0%BA%D1%82 формулу Хорна], [https://en.wikipedia.org/wiki/Horn-satisfiability].<br />
* Размерность ядра, т.е. <em>|M'|</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|node239}}<br />
<!-- {{GDCode|}} --><br />
<!-- * [ Задача в википедии] --><br />
</small><br />
<!-- end --><br />
<br />
[[Категория:ClassicHardProblems]]</div>
StasFomin