Search
DM Seminar
Семинар 3 марта 2006 года
Пятница, 3 марта, комната 106. Начало в 17:30.
Докладчик: А. Кожевников.
Тема: Нижние экспоненциальные оценки на размер статических полуалгебраических доказательств Ловаса-Шрайвера для Цейтинских формул.
Семинар 17 февраля 2006 года
Пятница, 17 февраля, комната 106. Начало в 17:30.
Докладчик: А. Кожевников.
Тема: Нижние экспоненциальные оценки на размер статических полуалгебраических доказательств Ловаса-Шрайвера для цейтинских формул.
Семинар 27 января 2006 года
Пятница, 27 января, комната 106. Начало в 17:30.
Докладчик: Ю. Лифшиц.
Тема: Новые алгоритмы обработки сжатых текстов.
Семинар 30 декабря 2005 года
Пятница, 30 декабря, комната 106. Начало в 17:30.
Докладчик: А. Куликов.
Тема: Non-uniform Hardness for NP via Black-Box Adversaries.
Семинар 16 декабря 2005 года
Пятница, 16 декабря, комната 106. Начало в 17:30.
Докладчик: И. Посов.
Тема: ``Фазовые переходы'' в трудных оптимизационных задачах: асимптотически точные оценки.
Семинар 9 декабря 2005 года
Пятница, 9 декабря, комната 106. Начало в 17:30.
Докладчик: С. Федин.
Тема: Гипотезы, приводящие к субэкспоненциальным алгоритмам для выполнимости.
Семинар 2 декабря 2005 года
Пятница, 2 декабря, комната 106. Начало в 17:30.
Докладчик: А. Куликов.
Тема: Эффективное нахождение трудных входов в NP-языках (ПРОДОЛЖЕНИЕ).
Семинар 28 ноября 2005 года
Понедельник, 28 ноября, комната 106. Начало в 16:30.
Докладчик: М. Бабенко.
Тема: Теория кососимметрических и двунаправленных графов: задачи, алгоритмы и приложения.
Семинар 25 ноября 2005 года
Пятница, 25 ноября, комната 106. Начало в 17:30.
Докладчик: А. Куликов.
Тема: Эффективное нахождение трудных входов в NP-языках.
Семинар 14 ноября 2005 года
Понедельник, 14 ноября, комната 203. Начало в 14:30.
Докладчик: М. Брудно (Торонто).
Тема: Биоинформатика: интересные результаты и открытые проблемы.
