Hardprob/Maximum K-Constraint Satisfaction — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Набор булевых переменных <em>U</em>, коллекция <em>C</em> ко…») |
(нет различий)
|
Версия 23:18, 13 апреля 2023
- Набор булевых переменных U, коллекция C конъюнкций, не больше k литералов (литерал — переменная или ее отрицание),
- Найти присваивание переменным из U.
- Максимизировать число выполненных скобок дизъюнкций.
Задача в лаб22 (рид-онли просмотр)