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

Материал из Wiki - Факультет компьютерных наук
Перейти к: навигация, поиск
(Задачи для семинаров)
(Прочитанные лекции)
Строка 88: Строка 88:
 
====Лекция 8 (19  марта). ====
 
====Лекция 8 (19  марта). ====
 
Нижняя оценка для задач о диаметре графа и наибольшей общей подпоследовательности. Задача 3-SUM и основанная на ней нижняя оценка для задачи о перетаскивании шкафа.
 
Нижняя оценка для задач о диаметре графа и наибольшей общей подпоследовательности. Задача 3-SUM и основанная на ней нижняя оценка для задачи о перетаскивании шкафа.
 +
 +
====Лекция 9 (9  апреля). ====
 +
Регулярные языки. Эквивалентность определений через регулярные выражения, детерминированные и недетерминированные конечные автоматы. Лемма о накачке.
  
 
==Задачи для семинаров  ==
 
==Задачи для семинаров  ==

Версия 16:11, 10 апреля 2019

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

Лекции и семинары проходят вторникам в аудитории 400 в третьем модуле и 402 в четвертом модуле в 13:40 (лекция) и 15:10 (семинар).


Новости

1 марта 2019. Выложено первое домашнее задание. Cрок сдачи 19.3.2019 в 15:10 MSK.

28 марта 2019. Выложено второе домашнее задание. Cрок сдачи 19.4.2019 в 15:10 MSK.

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

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

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

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

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

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

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

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

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

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

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

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


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

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

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


Экзамен

Письменный состоится в июне.


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

Домашнее задание 1. Cрок сдачи 19.3.2019 в 15:10 MSK.

Домашнее задание 2. Срок сдачи 16.4.2019.

Оценки

Прочитанные лекции

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Семинары

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