Hardprob/Minimum K-Satisfiability — различия между версиями

Текущая версия на 08:08, 28 ноября 2023

Константа k≥2, множество переменных U,
Коллекция C скобок-дизъюнкций литералов, где литерал это какая-то переменная или ее отрицание, размер скобки не больше k.
Найти истинное присваивание для U.
Минимизировать число выполненных скобок.

Версия 12:22, 22 сентября 2023 (просмотреть исходный код) StasFomin (обсуждение \| вклад) ← Предыдущая правка	Текущая версия на 08:08, 28 ноября 2023 (просмотреть исходный код) Lachin Sergey (обсуждение \| вклад)
(не показана одна промежуточная версия этого же участника)
(нет различий)