Hardprob/Maximum Horn Core — различия между версиями

Материал из DISCOPAL
Перейти к: навигация, поиск
(Массовая правка: замена \subseteq на ⊆)
(Массовая правка: замена PCRE <m>(\w[^_⊆]*)\s*⊆\s*(\w)</m> на <em>\1 ⊆ \2</em>)
 
Строка 1: Строка 1:
 
<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} -->
 
<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} -->
 
* <em>M</em> — набор булевых значений для <em>n</em> переменных.
 
* <em>M</em> — набор булевых значений для <em>n</em> переменных.
* Найти «[https://en.wikipedia.org/wiki/Alfred_Horn Horn] core» от <em>M</em>, т.е. подмножество <m>M' ⊆ 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].
+
* Найти «[https://en.wikipedia.org/wiki/Alfred_Horn Horn] core» от <em>M</em>, т.е. подмножество <em>M' ⊆ M</em>, такое, что <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].
 
* Размерность ядра, т.е. <em>|M'|</em>.
 
* Размерность ядра, т.е. <em>|M'|</em>.
  

Текущая версия на 22:10, 17 апреля 2023

  • M — набор булевых значений для n переменных.
  • Найти «Horn core» от M, т.е. подмножество M' ⊆ M, такое, что M' набор булевых значений удовлетворяющих формулу Хорна, [1].
  • Размерность ядра, т.е. |M'|.

Задача в лаб22 (рид-онли просмотр)