Complexity Seminar

Seminar on Complexity Theory

Пятница 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.

Пятница 09.11. В.В. Подольский: "Нижние оценки в модели разрешающих деревьев с XOR-запросами"

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

Докладчик: В.В. Подольский (ВШЭ).

Тема: Нижние оценки в модели разрешающих деревьев с XOR-запросами.

Пятница 02.11. Jarkko Peltomäki: "On Numeration Systems and Automatic Sequences"

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

Докладчик: Jarkko Peltomäki (University of Turku).

Тема: On Numeration Systems and Automatic Sequences.

Пятница 26.10. Mika Hirvensalo : "Decidable and undecidable problems related to Measure-Once Quantum Automata with rational and irrational coefficients"

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

Докладчик: Mika Hirvensalo (University of Turku).

Тема: Decidable and undecidable problems related to Measure-Once Quantum Automata with rational and irrational coefficients.

Syndicate content