Search
Семинар 19 января 2007 года
Пятница, 19 января, комната 106. Начало в 17:30.
Докладчик: А. Куликов.
Тема: Доклад по статье Troy Lee ``A new rank technique for formula size lower bounds''.
Abstract
В докладе будет представлен новый метод доказательства нижних оценок на формульный размер функций. Используя этот метод, Troy Lee доказал чуть более сильную нижнюю оценку для функции parity. Будет также показано, как при помощи этого метода доказать нижнюю оценку 
для характеристической функции множества Хэмминговых слов.