Вообще

Читаю такое и это натурально схоластика. Функция от n-битов входов в один бит выхода всегда имеет размер 2n, это доказывается построением не упрощённой BDD, фактически.
То есть, размер схемы экспоненциален не потому, что мы не можем построить схему меньшего размера, а потому, что мы всегда строим схему экспоненциального размера.
Найти результат нижней границы схемы или ожидаемый размер схемы для случайной таблицы истинности с использованием оптимизации не представляется возможным. Никто, похоже, этим не занимался.
|
</> |