14.11 и 21.11.2012 14-00 ПОМИ ауд. 106 Нижняя оценка 3n - o(n) на сложность булевых схем (С.В. Савинов)

В докладе методом элиминации гейтов будет доказана нижняя оценка 3n - o(n) на сложность булевых схем, вычисляющих функцию Блюма.