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