Hardprob/Minimum Distinguished Ones
Материал из DISCOPAL
- Непересекающиеся множества булевых переменных X,Z, коллекция C дизъюнкций не больше чем три литерала, где каждый литерал переменная или отрицание из X∪Z.
- Найти присваивание для X и Z, чтобы все скобки в C выполнялись.
- Минимизировать число переменных из Z, которые будут установлены в «истину».
Задача в лаб22 (рид-онли просмотр)
[ Хронологический вид ]Комментарии
Войдите, чтобы комментировать.