Hardprob/Maximum Horn Core
Материал из DISCOPAL
Версия от 22:10, 17 апреля 2023; StasFomin (обсуждение | вклад) (Массовая правка: замена PCRE <m>(\w[^_⊆]*)\s*⊆\s*(\w)</m> на <em>\1 ⊆ \2</em>)
- M — набор булевых значений для n переменных.
- Найти «Horn core» от M, т.е. подмножество M' ⊆ M, такое, что M' набор булевых значений удовлетворяющих формулу Хорна, [1].
- Размерность ядра, т.е. |M'|.
Задача в лаб22 (рид-онли просмотр)
[ Хронологический вид ]Комментарии
Войдите, чтобы комментировать.