Вообще

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

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

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

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

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

Архив записей в блогах:
Прошу в каментах написать свой вариант ответа на вопрос: "Почему я не праздную так ...
и.о. - генерал-полковник Руснак, кличка "Ботан". просто охуеть можно, с такими кадрами.. upd 16:05 бугага, Порох дорвался до телефона и устроил Турчинову и ко истерику, обвинил в саботаже и потребовал не регистрировать постанову по Гелетею... Ну что ж, прекрасно, великолепно, браво, би ...
Хотел давичя попланиравать автомобильный моршрут и пазырить актуальнэ спутникавые карты - так эти питухи пиндосские из Максара вбанили Российские ip-адриса. Причом, энто и через тор не обойтить - они и торовские ноды вбанили. Вот росскожите, как щям модно вертеть на кую мереканские ...
Ну что, кто кого? Снова эти экстремальные выборы. Только теперь без Майдана и ...
Одна из самых любимых советских актрис была дочерью офицера царской армии. Это Лидия Смирнова, которая появилась на свет 13 февраля 1915 г. в далекой Уфимской губернии. Папа Лидочки сражался в армии Колчака. Когда же Колчак потерпел поражение, отцу будущей актрисы пришлось ...