Hardprob/Maximum Horn Core — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * <em>M</em> — набор булевых значений для <em>n</em> переменн…») |
(нет различий)
|
Версия 23:41, 13 апреля 2023
- M — набор булевых значений для n переменных.
- Найти «Horn core» от M, т.е. подмножество , такое, что M' набор булевых значений удовлетворяющих формулу Хорна, [1].
- Размерность ядра, т.е. |M'|.
Задача в лаб22 (рид-онли просмотр)