Search
Complexity seminar
Complexity Seminar
Пятница 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.
Пятница 12.10. Александр Куликов: "Жадная гипотеза для задачи о надстроке"
Пятница, 12 октября, ауд. 106. Начало в 14:00.
Докладчик: Александр Куликов (ПОМИ РАН).
Тема: Жадная гипотеза для задачи о надстроке.
Пятница 05.10. Д. Сагунов: "Параметризованная сложность задач о счастливой раскраске графов"
Пятница, 5 октября, 106. Начало в 14:00.
Докладчик: Д. Сагунов (АУ).
Тема: Параметризованная сложность задач о счастливой раскраске графов.
Пятница 21.09. Пётр Смирнов: "Сложность выполнимых и невыполнимых цейтинских формул для однопроходных ветвящихся программ"
Пятница, 21 сентября, ауд. 106. Начало в 14:00.
Докладчик: Пётр Смирнов.
Тема: Сложность выполнимых и невыполнимых цейтинских формул для однопроходных ветвящихся программ.
Понедельник 20.08. В.Е. Корепин: "Квантовый алгоритм поиска."
Понедельник, 20 августа, ауд. 106. Начало в 14:00.
Докладчик: В.Е. Корепин (Stony Brook University).
Тема: Квантовый алгоритм поиска..
Пятница 13.07. Д. Соколов: "От доказательств к вычислениям"
Пятница, 13 июля, 203. Начало в 13:30.
Докладчик: Д. Соколов.
Тема: От доказательств к вычислениям.
