Search
Complexity seminar
Complexity Seminar
Пятница 07.08. Ярослав Алексеев: "Нижняя оценка для обобщения системы PC и моделирование системы Res-Lin"
Пятница, 7 августа, Zoom. Начало в 11:00.
Докладчик: Ярослав Алексеев (СПбГУ).
Тема: Нижняя оценка для обобщения системы PC и моделирование системы Res-Lin.
Пятница 05.06. Дмитрий Соколов: "Нижние оценки на систему AC_0-Frege"
Пятница, 5 июня, Zoom. Начало в 16:00.
Докладчик: Дмитрий Соколов (СПбГУ, ПОМИ).
Тема: Нижние оценки на систему AC_0-Frege.
Пятница 29.05. Артур Рязанов: "Нижние оценки на коммуникационную сложность задач поиска с гаджетом четности и без гаджета"
Пятница, 29 мая, Zoom. Начало в 18:10.
Докладчик: Артур Рязанов (ПОМИ РАН).
Тема: Нижние оценки на коммуникационную сложность задач поиска с гаджетом четности и без гаджета.
Пятница 22.05. Артур Рязанов: "Применение критерия Юкны для нижних оценок в системе доказательств Cutting Planes"
Пятница, 22 мая, Zoom. Начало в 18:10.
Докладчик: Артур Рязанов (ПОМИ РАН).
Тема: Применение критерия Юкны для нижних оценок в системе доказательств Cutting Planes.
Пятница 15.05. Артур Рязанов: "Критерий Юкны для доказательства нижних оценок на монотонные вещественные схемы"
Пятница, 15 мая, Zoom. Начало в 18:10.
Докладчик: Артур Рязанов (ПОМИ РАН).
Тема: Критерий Юкны для доказательства нижних оценок на монотонные вещественные схемы.
Пятница 08.05. Н. Карпов: "Collaborative Top Distribution Identifications with Limited Interaction"
Пятница, 8 мая, Zoom. Начало в 18:10.
Докладчик: Н. Карпов (Indiana University).
Тема: Collaborative Top Distribution Identifications with Limited Interaction.
Среда 22.04. В.В. Подольский: "Вычисление функций голосования монотонными формулами маленькой глубины"
Cреда, 22 апреля, Zoom meeting. Начало в 18:10.
Докладчик: В.В. Подольский (МИАН, НИУ ВШЭ).
Тема: Вычисление функций голосования монотонными формулами маленькой глубины.
Пятница 27.12. Дмитрий Соколов: "Trade-offs Between Size and Degree in Polynomial Calculus"
Пятница, 27 декабря, ауд. 106. Начало в 12:00.
Докладчик: Дмитрий Соколов.
Тема: Trade-offs Between Size and Degree in Polynomial Calculus.
Пятница 25.10. Дмитрий Соколов: "(Semi)Algebraic proofs over $\{\pm 1\}$ variables"
Пятница, 25 октября, ауд. 106. Начало в 17:00.
Докладчик: Дмитрий Соколов.
Тема: (Semi)Algebraic proofs over 
variables.
Пятница 11.10. Святослав Грязнов: "Нижняя оценка на степень вывода слабого принципа Дирихле с использованием метода pigeon dance"
Пятница, 11 октября, ауд. 106. Начало в 17:00.
Докладчик: Святослав Грязнов (ПОМИ РАН).
Тема: Нижняя оценка на степень вывода слабого принципа Дирихле с использованием метода pigeon dance.
