Search
Complexity seminar
Complexity Seminar
Понедельник 05.12. Н. Карпов: "Решение задачи 3-SUM с малой памятью и с малой глубиной дерева"
Понедельник, 5 декабря, 106. Начало в 14:00.
Докладчик: Н. Карпов.
Тема: Решение задачи 3-SUM с малой памятью и с малой глубиной дерева.
Пятница 18.11. Д.М. Ицыксон, А.А. Кноп: "Миникурс по сложности пропозициональных доказательств. Лекция 2"
Пятница, 18 ноября, ауд. 203. Начало в 17:15.
Докладчик: Д.М. Ицыксон, А.А. Кноп.
Тема: Миникурс по сложности пропозициональных доказательств. Лекция 2.
Пятница 11.11. Ицыксон Д.М.: "Миникурс по сложности пропозициональных доказательств. Ширина и размер резолюционных доказательств."
Пятница, 11 ноября, ауд. 203. Начало в 17:15.
Докладчик: Ицыксон Д.М. (ПОМИ РАН).
Тема: Миникурс по сложности пропозициональных доказательств. Ширина и размер резолюционных доказательств..
Четверг 17.11. Д.Ю. Григорьев: "О сложности вычисления симметрических функций"
Четверг, 17 ноября, ПОМИ. Начало в 14:00.
Докладчик: Д.Ю. Григорьев.
Тема: О сложности вычисления симметрических функций.
Понедельник 17.10. Krzysztof Sornat: "Approximation and Parameterized Complexity of Minimax Approval Voting"
Понедельник, 17 октября, ауд. 106. Начало в 14:00.
Докладчик: Krzysztof Sornat (University of Wroclaw).
Тема: Approximation and Parameterized Complexity of Minimax Approval Voting.
Пятница, 28 октября. "Toward Better Formula Lower Bounds: An Information Complexity Approach to the KRW Composition Conjecture"
Пятница, 28 октября, 402. Начало в 12:00.
Докладчик: Александр Смаль.
Тема: An Information Complexity Approach to the KRW Composition Conjecture, часть 3.
Понедельник 3 октября. "Toward Better Formula Lower Bounds: An Information Complexity Approach to the KRW Composition Conjecture"
Понедельник, 3 октября, 402. Начало в 15:00.
Докладчик: Александр Смаль.
Тема: An Information Complexity Approach to the KRW Composition Conjecture, часть 2.
Понедельник 26 сентября. "An Information Complexity Approach to the KRW Composition Conjecture"
Понедельник, 26 сентября, 402. Начало в 15:00.
Докладчик: Александр Смаль.
Тема: An Information Complexity Approach to the KRW Composition Conjecture.
Пятница, 6 декабря. "Succinct Interactive Proofs for Quantified Boolean Formulas"
Пятница, 6 декабря, ауд. 203. Начало в 17:00.
Докладчик: Александр Смаль.
Тема: Succinct Interactive Proofs for Quantified Boolean Formulas.
