Complexity Seminar

Seminar on Complexity Theory

Среда 17.04. Д. Соколов: "Псевдо-ширина и замыкания"

Cреда, 17 апреля, 106. Начало в 14:00.

Докладчик: Д. Соколов.

Тема: Псевдо-ширина и замыкания.

Пятница 05.04. С.И. Грязнов: "Нижние оценки в древовидной системе доказательств Res(+) на ordering principles"

Пятница, 5 апреля, ауд. 106. Начало в 17:00.

Докладчик: С.И. Грязнов.

Тема: Нижние оценки в древовидной системе доказательств Res(+) на ordering principles.

Пятница 29.03. Д.М. Ицыксон: "Нижние оценки для OBDD-систем доказательств, использующих несколько порядков на переменных"

Пятница, 29 марта, ауд. 106. Начало в 17:00.

Докладчик: Д.М. Ицыксон (ПОМИ РАН).

Тема: Нижние оценки для OBDD-систем доказательств, использующих несколько порядков на переменных.

Пятница 14.12. Евгений Стратоников: "Коммуникационная сложность и нижние оценки на размер ветвящихся программ"

Пятница, 14 декабря, ауд. 106. Начало в 14:00.

Докладчик: Евгений Стратоников.

Тема: Коммуникационная сложность и нижние оценки на размер ветвящихся программ.

Понедельник 10.12. А.Х. Шень: "Три подхода к определению понятия количества информации: увеличение сложности при случайном шуме"

Понедельник, 10 декабря, 106. Начало в 14:30.

Докладчик: А.Х. Шень (LIRMM, ИППИ РАН).

Тема: Три подхода к определению понятия количества информации: увеличение сложности при случайном шуме.

Пятница 30.11. Татьяна Белова: "Верхние и нижние оценки для различных параметризаций задачи (n, 3)-MAXSAT"

Пятница, 30 ноября, ауд. 106. Начало в 14:00.

Докладчик: Татьяна Белова.

Тема: Верхние и нижние оценки для различных параметризаций задачи (n, 3)-MAXSAT.

Пятница 23.11. Анастасия Софронова: "Верхние оценки на размер dag-like коммуникационных протоколов"

Пятница, 23 ноября, ауд. 106. Начало в 14:00.

Докладчик: Анастасия Софронова.

Тема: Верхние оценки на размер dag-like коммуникационных протоколов.

Понедельник 19.11. Федор Парт: "Нижние оценки для резолюций с линейными уравнениями над кольцами"

Понедельник, 19 ноября, ауд. 106. Начало в 14:00.

Докладчик: Федор Парт.

Тема: Нижние оценки для резолюций с линейными уравнениями над кольцами.

Пятница 16.11. Людмила Глинских: "Нижняя оценка на размер ветвящихся программ и формул для задачи Orthogonal Vectors"

Пятница, 16 ноября, ауд. 106. Начало в 14:00.

Докладчик: Людмила Глинских.

Тема: Нижняя оценка на размер ветвящихся программ и формул для задачи Orthogonal Vectors.

Понедельник 12.11. Кирилл Симонов: "Параметризованная сложность задачи k-means"

Понедельник, 12 ноября, ауд. 106. Начало в 14:00.

Докладчик: Кирилл Симонов (Университет Бергена).

Тема: Параметризованная сложность задачи k-means.

Syndicate content