Hardprob/Minimum Distinguished Ones — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Непересекающиеся множества булевых переменных <em>…») |
(нет различий)
|
Текущая версия на 16:28, 13 апреля 2023
- Непересекающиеся множества булевых переменных X,Z, коллекция C дизъюнкций не больше чем три литерала, где каждый литерал переменная или отрицание из X∪Z.
- Найти присваивание для X и Z, чтобы все скобки в C выполнялись.
- Минимизировать число переменных из Z, которые будут установлены в «истину».
Задача в лаб22 (рид-онли просмотр)