?

Log in

Семинар по дискретной математике… - Лаборатория мат. логики ПОМИ РАН [entries|archive|friends|userinfo]
Лаборатория мат. логики ПОМИ РАН

[ website | My Website ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

[Mar. 4th, 2007|12:08 pm]
Лаборатория мат. логики ПОМИ РАН

pdmi_logic

[edwardahirsch]
                       Семинар по дискретной математике
                        пятница, 9 марта, 15:30, к.106

Докладчик: А.Куликов

               Миникурс по сложности формул и схем. Вторая лекция

Будут рассмотрены общие методы доказательства нижних оценок на размер
формулы: метод Ходеса и Спекера, метод Фишера, Майера и Патерсона,
метод Нечипорука и метод Храпченко. Каждый метод будет сопровожден
примером функции, для которой он дает нетривиальную (а в ряде случаев
и оптимальную) нижнюю оценку. Никаких предварительных знаний (в
частности, ЗНАНИЯ МАТЕРИАЛА ПРОШЛОЙ ЛЕКЦИИ) НЕ ТРЕБУЕТСЯ.
LinkReply