Вообще

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

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

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

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

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

Архив записей в блогах:
Жарим мясо. На самом деле это очень просто. Надо мясо, угли и решетку. Жарится ровно пять минут И можно есть Наверно вредно, но вкусно. ...
Письмо, написанное около полутора сотен лет назад, стало сенсацией и в буквальном смысле взбудоражило всю Америку. Автор письма — раб, который обращается к своему бывшему хозяину. В августе 1865 года полковник P. H. Андерсон, штат Теннесси, написал ...
Без полосок, расположены неправильно, побитые какие-то: Ничего не понимают шотландцы в крепеже. Стодвач ...
Из Невады сообщают про 14-летнего подростка, которого жестоко избили одноклассники (и снимали это на видео, чтобы выложить в сеть). Пол-школы собралось поглазеть на издевательства. Он достал нож (так как ожидал нападения), и в истерике стал носиться и вопить "Отстаньте от ...
(а) разрешение работать по совместительству, ...