Complexity Seminar

Seminar on Complexity Theory

Пятница 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 $ \{\pm 1\} $ variables.

Пятница 11.10. Святослав Грязнов: "Нижняя оценка на степень вывода слабого принципа Дирихле с использованием метода pigeon dance"

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

Докладчик: Святослав Грязнов (ПОМИ РАН).

Тема: Нижняя оценка на степень вывода слабого принципа Дирихле с использованием метода pigeon dance.

Среда 10.07. Д. Соколов: "A proof of the Sensitivity Conjecture & A tradeoff between length and width in PCR"

Cреда, 10 июля, 203. Начало в 17:00.

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

Тема: A proof of the Sensitivity Conjecture & A tradeoff between length and width in PCR.

Среда 10.07. Navid Talebanfard: "A separator theorem for hypergraphs and a CSP-SAT algorithm"

Cреда, 10 июля, 203. Начало в 12:00.

Докладчик: Navid Talebanfard (Institute of Mathematics CAS, Prague).

Тема: A separator theorem for hypergraphs and a CSP-SAT algorithm.

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

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

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

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

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

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

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

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

Syndicate content