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 (рид-онли просмотр)


[ Хронологический вид ]Комментарии

(нет элементов)

Войдите, чтобы комментировать.