Hardprob/Maximum Horn Core

Материал из DISCOPAL
Версия от 11:08, 17 апреля 2023; StasFomin (обсуждение | вклад) (Массовая правка: замена \subseteq на ⊆)

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

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


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

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

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