Частичная расшифровка монотонных булевых функций

Для монотонных булевых функций решаются в шенноновской постановке задача поиска лексикографически наибольшего нуля и задача частичной расшифровки, включающая поиск максимального верхнего нуля. Полученные результаты используются для оценки сложности решения некоторых задач комбинаторной оптимизации.