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

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

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

Версия 15:20, 13 апреля 2023 (просмотреть исходный код) StasFomin (обсуждение \| вклад) (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem\|{{PAGENAME}}}} --> * Константа <em>k≥2</em>, множество переменных <em>U</em>, * К…»)	Текущая версия на 08:08, 28 ноября 2023 (просмотреть исходный код) Lachin Sergey (обсуждение \| вклад)
(не показаны 3 промежуточные версии 3 участников)
(нет различий)