Факультатив Теория вычислений 2020 — различия между версиями

Материал из Wiki - Факультет компьютерных наук
Перейти к: навигация, поиск
Строка 41: Строка 41:
  
 
В вычислениях текущие оценки и промежуточные величины не округляются. Результат
 
В вычислениях текущие оценки и промежуточные величины не округляются. Результат
вычисляется точно и округляется (арифметически) в момент выставления итоговой оценок.
+
вычисляется точно и округляется (арифметически) в момент выставления итоговой оценки.
  
 
====Экзамен====
 
====Экзамен====

Версия 10:43, 24 января 2020

Факультатив Теория вычислений (2-й курс ПМИ) 2020 год

Лекции и семинары проходят по пятницам, лекция в 12:10, семинар в 13:40. Аудитории: 24.01 - ауд. D107, 31.01 - ауд. N507, затем в аудитории D102.


Новости

Лекторы и семинаристы

Н. К. Верещагин, А.С. Милованов, М.Н. Вялый, В.В. Подольский, А.А. Рубцов

С вопросами по курсу можно обращаться к Владимиру Владимировичу Подольскому vpodolskii@hse.ru и к Александру Александровичу Рубцову arubtsov@hse.ru.

Краткое описание

NP и теорема Кука-Левина. Вероятностные алгоритмы и классы BPP, RP, ZPP.

Fine-grained сложность.

Теория формальных языков

Отчётность по курсу и критерии оценки

4 домашних задания и экзамен.

Оценка за каждое домашнее задание равна доле решенных задач, умноженной на 10. Общая оценка за домашние задания равна среднему арифметическому оценок за решение каждого из заданий. На решение каждого ДЗ дается 14 дней, решение ДЗ нужно сдавать семинаристу до начала семинара. Сдача домашних заданий после их срока невозможна.

Экзамен (устный) оцениваются по десятибалльной системе. На экзамене можно пользоваться любыми бумажными источниками и нельзя никакими электронными.

Итоговая оценка вычисляется по формуле: Оитог = Одз*0,2 + Оэкз*0,8


Те, кто не смог прийти на экзамен и коллоквиум по болезни, могут его сдать отдельно. Не набравшие в конце второго модуля нужное количество баллов (4) могут пересдать экзамен, а если и это не поможет, то сдавать экзамен комиссии. В последнем случае накопленная оценка аннулируется и оценка, полученная на экзамене, и является окончательной.

Правила округления

В вычислениях текущие оценки и промежуточные величины не округляются. Результат вычисляется точно и округляется (арифметически) в момент выставления итоговой оценки.

Экзамен

Домашние задания

Планируемые лекции

Лекция 1 (24 января).

Сводимость Карпа и Кука. Классы NP и FNP и сводимость каждой задачи из FNP к некоторой задаче из NP.

Лекция 2 (31 января).

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

Лекция 3 (7 февраля).

Доказательство NP полноты задачи о замощении квадрата. Доказательство принадлежности NP задачи ЦЛП.

Лекция 4 (14 февраля).

Вероятностные полиномиальные алгоритмы для проверки простоты и для проверки алгебраических тождеств.

Лекция 5 (21 февраля).

Классы BPP, RP. Амплификация. Класс P/poly (два определения) и включение BPP в P/poly.

Лекция 6 (28 февраля).

Алгоритмы для k-SAT быстрее полного перебора. Формулировка ETH и SETH. Нижние оценки для задачи о клике и задаче k-SUM, основанные на ETH. Формулировка нижней оценки для задачи Orthogonal Vectors, основанной на SETH.

Лекция 7 (6 марта)

Нижняя оценка для Orthogonal Vectors. Лемма о спарсификации.

=Лекция 8 (13 марта).

Нижняя оценка для задач о диаметре графа и наибольшей общей подпоследовательности. Задача 3-SUM и основанная на ней нижняя оценка для задачи о перетаскивании шкафа.

Лекция 9 (20 марта).

Регулярные языки. Эквивалентность определений через регулярные выражения, детерминированные и недетерминированные конечные автоматы. Лемма о накачке. Материал курса по регулярным языкам хорошо освящён в книжке Сипсера, а также здесь.

Лекция 10 (3 апреля).

Регулярные языки. Алгоритм минимизации автоматов и теорема Майхилла-Нероуда.

Лекция 11 (10 апреля).

Контекстно-свободные языки. Формальные грамматики и магазинные автоматы. Алгоритм построения МП-автомата по грамматике.

Лекция 12 (17 апреля).

Контекстно-свободные языки. Алгоритм построения КС-грамматики по МП-автомату. Нормальная форма Хомского. Алгоритм Кока–Янгера–Касами. Лемма о накачке для КС-языков.

Лекция 13 (24 апреля).

Игры достижимости, игры чётности. Существование позиционных выигрышных стратегий. Решение игр чётности лежит в пересечении классов NP и coNP. Конспект лекции

Лекция 14 (8 мая).

Сводимость игр четности к играм достижимости. Автоматы на деревьях. Универсальные деревья квазиполиномиального размера. Алгоритм решения игр четности за квазиполиномиальное время. Конспект лекций 13-14

Лекция 15 (15 мая).

Коммуникационная сложность, протокол для задачи о кликах и независимых множествах. Определение детерминированных протоколов, комбинаторные прямоугольники, метод трудных множеств, метод размера прямоугольника, метод ранга. Нижние оценки для EQ, GT, IP, DISJ.

Лекция 16 (22 мая).

Потоковые алгоритмы. Нахождение элемента, встречающегося более половины раз. Трудность нахождения самого часто встречающегося элемента. Односторонняя вероятностная коммуникационная сложность функции DISJ.

Задачи для семинаров

Листок 5 марта.

Листок 12 марта

Листок 19 марта

Листок 9 и 19 апреля

Листок 26 и 30 апреля

Листок 31 мая Решили 1-ую и 8-ую задачу.

Листок 4 июня

Семинары

Рекомендуемая литература