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