Hardprob/Maximum Renamable Horn Subformula

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

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск
  • Набор булевых переменных U, коллекция C скобок-конъюнкций не больше чем из трех литералов.
  • Найти переименовываемую хорнову подформулу C' от C, т.е. подмножество C'⊆ C, т.к. здесь существует подмножество S ⊆ U, таких переменных, что перестановка литералов в делает C' хорновой булевой формулы, где .
  • Максимизировать размер подформулы, т.е. |C'|.

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


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

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

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