Вообще

топ 100 блогов thesz10.05.2025 https://theory.stanford.edu/~trevisan/cs254-14/lecture03.pdf

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

То есть, размер схемы экспоненциален не потому, что мы не можем построить схему меньшего размера, а потому, что мы всегда строим схему экспоненциального размера.

Найти результат нижней границы схемы или ожидаемый размер схемы для случайной таблицы истинности с использованием оптимизации не представляется возможным. Никто, похоже, этим не занимался.

Оставить комментарий

Архив записей в блогах:
Mehdi - Heaven 05:47  И это было..совсем не странно.. узнать как гаснет..внезапно свет.. когда огромной..чернильной раной.. втянуло утро..в себя рассвет.. Когда в молчанье..так много крика что ...
...
...
В Воронеже суд рассматривает уголовное дело о краже 2,5 миллиона у ветерана Великой Отечественной войны. Причём в обвиняемых - сиделка пенсионера. "Умолял купить ему пирожок", - рассказывают соседи о том, как жил ограбленный пенсионер. До дня суда дедушка не дожил, он скончался в январе ...
Сейчас, когда я мысленно возвращаюсь к своему путешествию, когда пытаюсь отделить факты от вымысла и вспомнить, как я прожила такой-то день, пережила такое-то событие, когда стараюсь вытащить на свет божий глубоко погребенные и безжалостно изуродованные воспоминания, из общего хаоса ...