Laboratory of Mathematical Logic at PDMI

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

Докладчик: Даниил Мусатов (МГУ).

Тема: Наивная дерандомизация для колмогоровской сложности с ограничением на память.

Пятница, 10 февраля, ауд. 106. Начало в 18:00.

Докладчик: А.М. Караваев (Петрозаводский государственный университет).

Тема: Подсчет гамильтоновых циклов на прямоугольных решетках, цилиндрах и торах методом матрицы переноса.

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

Докладчик: Светлана Образцова.

Тема: Алгоритмы для нахождения k-robust разрезов.

Пятница, 23 декабря, ауд. 402. Начало в 16:00.

Докладчик: Николай Гравин.

Тема: Восстановление многогранника по моментам.

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

Докладчик: Михаил Раскин (МГУ).

Тема: Клеточные автоматы со стиранием и сравнение мер на бесконечных последовательностях.

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

Докладчик: Илья Разенштейн (МГУ).

Тема: Общая информация случайной пары строк.

Пятница, 25 ноября, к. 106. Начало в 18:00.

Докладчик: С.И. Николенко (ПОМИ РАН).

Тема: Bayesian Rating Systems.

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

Докладчик: Дмитрий Чистиков (МГУ).

Тема: Бесповторные булевы функции и задачи их тестирования.

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

Докладчик: Д.В. Карпов (ПОМИ РАН).

Тема: Остовные деревья с большим количеством висячих вершин: оценки через количество вершин степеней 1, 3 и 4.

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

Докладчик: Д.В. Карпов.

Тема: Остовные деревья с большим количеством висячих вершин: новые оценки через количество вершин степеней 3 и 4.