Теория алгоритмов 2MIT весна 2018 — различия между версиями

Текущая версия на 12:58, 12 июня 2018

Преподаватель: Близнец Иван Анатольевич (iabliznets@gmail.com)

Лекции

• 13 февраля. Машина Тьюринга.
• 20 февраля. Универсальная машина Тьюринга. Класс NP.
• 27 февраля. NP-полнота SAT. Иерархия по времени. Теорема Ладнера.
• 06 марта. Машины с оракульным доступом. Построение языка B, такого что ${\displaystyle P^B \neq NP^B}$. Сложность по памяти. pdf.
• 13 марта. TQBF является PSPACE-полным. Теорема Савича. Задача обощенной географии является PSPACE-полной. pdf.
• 20 марта. NL-полный язык. Определение класса NL помощью сертификата. NL=coNL. pdf.
• 27 марта. Полиномиальная иерархия. ${\displaystyle Ntime[n] \not\subset TISP[n^{1.2},n^{0.2}]}$. pdf.
• 03 апреля. Вероятностный алгоритм для минимального разреза. Вероятностный ${\displaystyle O^*(4^k)}$ алгоритм для наибольшего леса. Теорема Адлемана об избыточности случайных бит в схемах. pdf.
• 10 апреля. Уменьшение ошибки в RP алгоритме(попарно независимые множества). Задача о стабильном паросочетании за ${\displaystyle n\ln{n}+cn}$. pdf.
• 17 апреля. Оценки Чернова. Вероятностный приближенный алгоритм для Wiring problem. pdf.
• 24 апреля. Путь с логарифмической памятью. pdf.
• 25 апреля. Схемы. pdf.
• 08 мая. ${\displaystyle BPP \subseteq P_{/poly}}$ и ${\displaystyle BPP \subseteq \Sigma^p_2}$. Теорема Вэлианта-Вазирани. pdf.
• 15 мая Котрольная работа. part I, part II

Вопросы к экзамену

Список вопросов

Литература

• Sanjeev Arora and Boaz Barak, Computational Complexity: A Modern Approach. скачать

http://theory.cs.princeton.edu/complexity/

• Rajeev Motwani and Prabhakar Raghavan, Randomized Algorithms.
• Michael Sipser, Introduction to the Theory of Computation.

Различные видео материалы(материалы для полезной прокрастинации)

• P vs. NP and the Computational Complexity Zoo смотреть
• Crach course in Computer Science(в первых видео рассказывается история возникновения компьютеров, становится более понятно почему же машина Тьюринга или схема имеют что-то общее с компьютером) смотреть
• Видеолекции похожего курса смотреть

Практика Близнец

Преподаватель: Близнец Иван Анатольевич

Результаты проверки ДЗ: смотреть

• 15 февраля, "Машина Тьюринга."
• 15 февраля, "Машина Тьюринга(ДЗ)."
• 20 февраля, "Класс NP."
• 20 февраля, "Класс NP(ДЗ)."
• 27 февраля, "Классы NP, coNP, иерархия по времени."
• 27 февраля, "Классы NP, coNP, иерархия по времени(ДЗ)."
• 06 марта, "Оракульные машины и PSPACE(ДЗ)."
• 13 марта, "PSPACE."
• 13 марта, "PSPACE(ДЗ)."
• 20 марта, "Класс NL."
• 20 марта, "Класс NL(ДЗ)."
• 20 марта, "Класс NL(ДЗ+подсказки)."
• 27 марта, "Полиномиальная иерархия."
• 27 марта, "Полиномиальная иерархия (ДЗ)."
• 27 марта, "Полиномиальная иерархия (ДЗ+подсказки)."
• 3 апреля, "Вероятностные алгоритмы. Вероятностные классы."
• 3 апреля, "Вероятностные алгоритмы. Вероятностные классы(ДЗ)."
• 10 апреля, "Предыдущие задачи(ДЗ)."
• 10 апреля, "Предыдущие задачи+подсказки(ДЗ)."
• 17 апреля, "Оценки Чернова."
• 17 апреля, "Оценки Чернова. Элементы линейного программирования(ДЗ)."
• 24 апреля, "Путь. Увеличение вероятности."
• 26 апреля, "Схемы."
• 26 апреля, "Схемы(ДЗ)."

Практика Глинских

Преподаватель: Глинских Людмила (email: lglinskih at gmail dot com)

Табличка

Домашнее задание к практике 1

Домашнее задание к практике 2

Домашнее задание к практике 3

Домашнее задание к практике 4

Домашнее задание к практике 5

Домашнее задание к практике 6

Домашнее задание к практике 7

Домашнее задание к практике 8

Домашнее задание к практике 9 и 10

Домашнее задание к практике 11 и 12

Домашнее задание к практике 13 (последнее/дополнительное домашнее задание)

Переписка контрольной работы: теория, практика