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

Материал из Wiki - Факультет компьютерных наук
Перейти к: навигация, поиск
 
(не показано 45 промежуточных версии 5 участников)
Строка 1: Строка 1:
= Факультатив Теория вычислений (2-ый курс ПМИ) 2019 год =
+
= Факультатив Теория вычислений (2-й курс ПМИ) 2019 год =
  
Лекции и семинары  проходят вторникам в аудитории 400 в третьем модуле и 402 в четвертом модуле в  13:40 (лекция) и 15:10 (семинар).
+
Лекции и семинары  проходят вторникам в аудитории 400 в третьем модуле.  В четвертом модуле в  <s>13:40 (лекция) и 15:10 (семинар).</s> 15:10 (лекция) в аудитории 402 и 16:40 (семинар); семинар пройдёт в аудитории 513 14 мая и в аудитории 317 21 мая.
  
  
 
==Новости==
 
==Новости==
  
1 марта 2019. Выложено [https://www.dropbox.com/s/gz0hv955oqp29ds/HW_f.pdf?dl=0 первое домашнее задание].
+
18 июня 2019. Результаты экзамена выложены на страницу курса.
 +
 
 +
5 июня 2019. Экзамен планируется 11 июня с 16:40 до 19:30. Аудитория '''511'''
 +
 
 +
3 июня 2019. Занятие на этой неделе пройдет 4 июня с 16:40 до 19:30, ауд. 219
 +
 
 +
23 мая 2019. Занятия по курсу перенесены на пятницу. 31.05 занятия будут в 219 ауд., 16:40-19:30. 07.06 - в 505 ауд., 16:40-19:30
 +
 
 +
1 марта 2019. Выложено [https://www.dropbox.com/s/gz0hv955oqp29ds/HW_f.pdf?dl=0 первое домашнее задание]. Cрок сдачи 19.3.2019 в 15:10 MSK.
 +
 
 +
28 марта 2019. Выложено [https://www.dropbox.com/s/1ajn2aa0gssscfi/fg_homework.pdf?dl=0 второе домашнее задание]. Cрок сдачи 19.4.2019 в 15:10 MSK.
 +
 
 +
11 апреля 2019. Выложены материалы по формальным языкам. Занятие на следующей неделе переносится на пятницу 19 апреля 16:40-19:30, ауд. 435.
 +
 
 +
3 мая 2019. Выложено второе домашнее задание по формальным языкам. Срок сдачи 21.5.2019. Занятия по курсу перенесены на вторники 15:10-18:00; лекции в ауд. 402, аудитории для семинаров уточняются.
  
 
==Лекторы и семинаристы ==  
 
==Лекторы и семинаристы ==  
Строка 18: Строка 32:
 
NP и теорема Кука-Левина. Вероятностные алгоритмы и классы BPP, RP, ZPP.
 
NP и теорема Кука-Левина. Вероятностные алгоритмы и классы BPP, RP, ZPP.
  
Коммуникационная сложность.
+
Fine-grained сложность.
  
 
Теория формальных языков
 
Теория формальных языков
Строка 46: Строка 60:
 
Письменный состоится в  июне.
 
Письменный состоится в  июне.
  
 +
[https://www.dropbox.com/s/kj7jic6kg4vuk49/fac-ekz0611.doc?dl=0 Результаты экзамена и итоговые оценки.]
  
 
==Домашние задания  ==
 
==Домашние задания  ==
Строка 51: Строка 66:
  
 
[https://www.dropbox.com/s/gz0hv955oqp29ds/HW_f.pdf?dl=0 Домашнее задание 1.] Cрок сдачи 19.3.2019 в 15:10 MSK.
 
[https://www.dropbox.com/s/gz0hv955oqp29ds/HW_f.pdf?dl=0 Домашнее задание 1.] Cрок сдачи 19.3.2019 в 15:10 MSK.
 +
 +
[https://www.dropbox.com/s/1ajn2aa0gssscfi/fg_homework.pdf?dl=0 Домашнее задание 2.] Срок сдачи 19.4.2019.
 +
 +
[http://rubtsov.su/public/fl/2016/hse_ct/hw01_ct.pdf Домашнее задание 3 (часть 1).] Срок сдачи 14.5.2019.
 +
 +
[http://rubtsov.su/public/fl/2016/hse_ct/hw01_2_ct.pdf Домашнее задание 3 (часть 2).] Срок сдачи 28.5.2019.
 +
 +
[https://www.dropbox.com/s/6xl5q6nkm8wk110/hw.xlsx?dl=0 Оценки]
  
 
==Прочитанные лекции==
 
==Прочитанные лекции==
  
 
====Лекция 1 (29 января). ====
 
====Лекция 1 (29 января). ====
Сводимость Карпа и Кука. Классы NP и FNP и сводимость каждой задачи из FNP к некоторой задачи из NP.
+
Сводимость Карпа и Кука. Классы NP и FNP и сводимость каждой задачи из FNP к некоторой задаче из NP.
  
 
====Лекция 2 (5 февраля). ====
 
====Лекция 2 (5 февраля). ====
Строка 71: Строка 94:
 
====Лекция 5 (26 февраля). ====
 
====Лекция 5 (26 февраля). ====
 
Классы BPP, RP. Амплификация. Класс P/poly (два определения) и включение BPP в P/poly.
 
Классы 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  апреля). ====
 +
Регулярные языки. Эквивалентность определений через регулярные выражения, детерминированные и недетерминированные конечные автоматы. Лемма о накачке. Материал курса по регулярным языкам хорошо освящён в книжке Сипсера, а также [http://rubtsov.su/public/fl/zz_to_publisher1.pdf здесь].
 +
 +
====Лекция 10 (19  апреля). ====
 +
Регулярные языки. Алгоритм минимизации автоматов и теорема Майхилла-Нероуда.
 +
 +
====Лекция 11 (26  апреля). ====
 +
Контекстно-свободные языки. Формальные грамматики и магазинные автоматы. Алгоритм построения МП-автомата по грамматике.
 +
 +
====Лекция 12 (30  апреля). ====
 +
Контекстно-свободные языки. Алгоритм построения КС-грамматики по МП-автомату. Нормальная форма Хомского. Алгоритм Кока–Янгера–Касами. Лемма о накачке для КС-языков.
 +
 +
====Лекция 13 (14 мая). ====
 +
Игры достижимости, игры чётности. Существование позиционных выигрышных стратегий. Решение игр чётности лежит в пересечении классов NP и coNP.
 +
'''[https://www.dropbox.com/s/r08owzn7835e8dr/PG-tocfac1.pdf?dl=0 Конспект лекции]'''
 +
 +
====Лекция 14 (21 мая). ====
 +
Сводимость игр четности к играм достижимости. Автоматы на деревьях. Универсальные деревья квазиполиномиального размера. Алгоритм решения игр четности за квазиполиномиальное время.
 +
'''[https://www.dropbox.com/s/sq44ghjkfffb5rs/ParityGames.pdf?dl=0 Конспект лекций 13-14]'''
 +
 +
====Лекция 15 (31 мая). ====
 +
Коммуникационная сложность, протокол для задачи о кликах и независимых множествах. Определение детерминированных протоколов, комбинаторные прямоугольники, метод трудных множеств, метод размера прямоугольника, метод ранга. Нижние оценки для EQ, GT, IP, DISJ.
 +
 +
====Лекция 16 (4 июня). ====
 +
Потоковые алгоритмы. Нахождение элемента, встречающегося более половины раз. Трудность нахождения самого часто встречающегося элемента. Односторонняя вероятностная коммуникационная сложность функции DISJ.
  
 
==Задачи для семинаров  ==
 
==Задачи для семинаров  ==
  
 +
'''[https://www.dropbox.com/s/txsb1v0salfk7sn/problems.pdf?dl=0 Листок 5 марта.]'''
 +
 +
'''[https://www.dropbox.com/s/a11lpv9xkaw7ns3/problems2.pdf?dl=0 Листок 12 марта]'''
 +
 +
'''[https://www.dropbox.com/s/l9xa355uqkrh9so/problems3.pdf?dl=0 Листок 19 марта]'''
 +
 +
'''[http://rubtsov.su/public/fl/2016/hse_ct/cw01_ct.pdf Листок 9 и 19 апреля]'''
 +
 +
'''[http://rubtsov.su/public/fl/2016/hse_ct/cw02_ct.pdf Листок 26 и 30 апреля]'''
 +
 +
'''[https://www.dropbox.com/s/riohjhnj0c5o9wc/problems4.pdf?dl=0 Листок 31 мая]''' Решили 1-ую и 8-ую задачу.
 +
 +
'''[https://www.dropbox.com/s/lxchsffmo5rabsw/prob_computing.pdf?dl=0 Листок 4 июня]'''
  
 
==Семинары  ==
 
==Семинары  ==

Текущая версия на 20:20, 23 января 2020

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

Лекции и семинары проходят вторникам в аудитории 400 в третьем модуле. В четвертом модуле в 13:40 (лекция) и 15:10 (семинар). 15:10 (лекция) в аудитории 402 и 16:40 (семинар); семинар пройдёт в аудитории 513 14 мая и в аудитории 317 21 мая.


Новости

18 июня 2019. Результаты экзамена выложены на страницу курса.

5 июня 2019. Экзамен планируется 11 июня с 16:40 до 19:30. Аудитория 511

3 июня 2019. Занятие на этой неделе пройдет 4 июня с 16:40 до 19:30, ауд. 219

23 мая 2019. Занятия по курсу перенесены на пятницу. 31.05 занятия будут в 219 ауд., 16:40-19:30. 07.06 - в 505 ауд., 16:40-19:30

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

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

11 апреля 2019. Выложены материалы по формальным языкам. Занятие на следующей неделе переносится на пятницу 19 апреля 16:40-19:30, ауд. 435.

3 мая 2019. Выложено второе домашнее задание по формальным языкам. Срок сдачи 21.5.2019. Занятия по курсу перенесены на вторники 15:10-18:00; лекции в ауд. 402, аудитории для семинаров уточняются.

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

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

С вопросами по курсу можно обращаться к Владимиру Владимировичу Подольскому 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. Срок сдачи 19.4.2019.

Домашнее задание 3 (часть 1). Срок сдачи 14.5.2019.

Домашнее задание 3 (часть 2). Срок сдачи 28.5.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 апреля).

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

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

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

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

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

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

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

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

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

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

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

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

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

Лекция 16 (4 июня).

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

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

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

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

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

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

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

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

Листок 4 июня

Семинары

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