Теоретический семинар

10.10.2013 (Миша Слабодкин) Размер резолюций в задачах поиска локального противоречия

Получение нижних оценок на размер резолюционных доказательств для задачи поиска противоречия в паросочетании на двудольном графе с разным числом вершин.

26.09.2013 (Сергей Копелиович) О псевдотреугольниках и их использовании в народном хозяйстве.

Пусть даны n точек на плоскости и еще три выделенных.
Псевдотреугольник неформально определяется, как треугольник, у которого вместо сторон выпуклые внутрь ломаные. При этом стороны не должны пересекаться.
Вершинами треугольника являются три выделенных точки, вершинами ломаных являются какие-то из n данных точек.

Будут рассказаны алгоритмы для решения следующих задач про псевдотреугольники:

1. Сколько пустых псевдотреугольников можно построить на n точках?
2. Сколько пустых звездных псевдотреугольников можно построить на n точках?
3. Построить псевдотреугольник (звездный псевдотреугольник), если такой существует.

Все алгоритмы будут использовать O(n^2) элементарных операций с точками и O(n) слов дополнительной памяти.

12.09.2013,19.09.2013 (Ваня Михайлин) Алгоритмы для задач разбиения.

В докладе будет рассмотрен класс задач разбиения множества на подмножества удовлетворяющие какому-то полиномиально проверяемому свойству. Известен алгоритм, который решает задачу такого вида за 2^n. Так же, известно, что если ограничиться, вместо множеств, графами ограниченной степени, то решение может быть найдено за (2-eps)^n (где eps зависит только от максимальной степени графа). Не так давно был поставлен вопрос, можно ли получить аналогичные оценки для графов ограниченной средней степени.
В докладе будет дан утвердительный ответ для некоторых частных случаев. Будет рассказан метод, позволяющий получить ускорение, в случаи если задача допускает локальные ограничения определенного вида. Будет показано, как с помощью этого метода получить оценки вида (2-eps)^n для задачи коммивояжера и нахождения хроматического числа графа и задачи о поиске кратчайшей надстроки.

05.09.2013 (Сергей Савинов) Алгоритм для задачи выполнимости формулы

Рассказывается верхняя оценка O(2^{0.23248 L) в худшем случае для задачи выполнимости формулы над базисом {конъюнкция, дизъюнкция, отрицание}, где L - размер формулы.

16.05.2013 Анализ данных изображающей масс-спектрометрии. (Илья Чернявский)

В докладе будет описана технология изображающей масс-спектрометрии
(ИМС), поставлены задачи поиска характерных изображений и сегментации
ИМС-данных, а также предложены методы решения на основе тематических
моделей, марковских сетей и кластеризации.

25.04.2013 Нижние оценки на схемную сложность некоторых элементарных функций (Денис Тугарев)

Будет рассмотрено доказательство нижней оценки на схемную сложность функции ALLEQ, анализ структуры оптимальной схемы для этой функции и доказательство нижней оценки на схемную сложность функции SubsetALLEQ.

18.04.2013 Байесовские методы для построения рейтинговых систем и анализа временных рядов. (Дмитрия Сердюк)

В первой части доклада будут рассмотрены раннее существовавшие рейтинговые системы,
будет рассмотрена система TrueSkill(TM) и представлено выполненное нами улучшение этой
системы. Также будет представлена утилита для выполнения Байесовского вывода на
фактор-графах с помощью алгоритма распространения ожидания. Будут представлены
экспериментальные результаты скорости работы в зависимости от количества использованных
ядер процессора.

Во второй части будут представлены результаты работы по прогнозированию времени работы
сборщика мусора в системе Data Domain.

11.04.2013 Обзор результатов Э.И. Нечипорука. (Ваня Михайлин)

В докладе будут перечислены основные результаты Э.И. Нечипорука по контактно-вентильным схемам.

28.03.2013 Обзор и сравнение методов RankNet и LambdaRank для задачи ранжирования в Information Retrieval. (Роман Демидов)

В докладе будут рассмотрена задача ранжирования и современные ML-методы её решения , основанные на градиентном спуске - RankNet и его расширение, LambdaRank.

21.03.2013 16:00 ауд. 431 Байесовские системы коллаборативной фильтрации. (Дмитрий Сердюк)

В данном докладе будет определен метод коллаборативной фильтрации
для построения прогнозов в рекомендательных системах на основе
известных предпочтений пользователей. Будет дана бейесовская формулировка
модели SVD. Затем будет рассмотрена модель Matchbox [Stern, Herbrich, Graepel 2011]
и алгоритм для вывода в этих моделях.