Теория сложности (старая трешовая версия)

Лекция 1. Вводная

Курс начинается с введения понятий DSPACE и DTIME.

DTIME(f(n)) = [math]\{ L \mid \exists [/math] машина Тьюринга [math]m : L(m)=L, Time(m,x) \le f(|x|) \}[/math], где [math]|x|[/math] — длина входа [math]x[/math].

DSPACE(f(n)) = [math]\{ L \mid \exists [/math] машина Тьюринга [math]m : L(m)=L, Space(m,x) \le f(|x|) \}[/math], где [math]|x|[/math] — длина входа [math]x[/math].

Через эти классы будет дано определение многим сложностным классам, в том числе P и NP.

• Теорема о емкостной иерархии
• Теорема о временной иерархии
• Класс co-NP
• Сведение по Карпу
• Сведение по Куку

Практика 1

• Сведение по Куку задачи факторизации к языку из NP

Лекция 2

• Теорема Кука

Практика 2

• Понятие NP-трудной и NP-полной задачи
• NP-полнота задачи BH1N
• NP-полнота задачи о выполнимости булевой формулы в форме КНФ
• NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ
• NP-полнота задачи о клике
• NP-полнота задачи о независимом множестве
• NP-полнота задачи о вершинном покрытии

Лекция 3

• Теорема Ладнера
• Теорема Левина
• Теорема Бейкера-Гилла-Соловэя

Практика 3

• NP-полнота задач о гамильтоновом цикле и пути в графах
• NP-полнота задачи о сумме подмножества
• NP-полнота задачи о рюкзаке

Практика, которой на самом деле не было

• NP-полнота задачи о раскраске графа

Лекция 5

• Класс PS
• Теорема Сэвича
• PS-полнота задачи Generalized geography

Лекция 6

• Классы L, NL, NLC
• NL-полнота задачи о достижимости в графе
• Классы EXP, NEXP. Полнота языков EXP и NEXP
• Теорема о связи вопросов EXP=NEXP и P=NP
• Теорема Иммермана

Практика 6

• Классы Sigma_i и Pi_i
• Класс PH
• Полиномиальная иерархия
• Теоремы о коллапсе полиномиальной иерархии

Лекция 7

• Теорема Карпа-Липтона

Практика 7

• Вероятностная машина Тьюринга
• Класс ZPP
• Сложностные классы RP и coRP
• Сложностный класс PP
• Сложностный класс BPP
• Уменьшение ошибки в классе RP, сильное и слабое определение

Лекция 8

• Теорема о включении BPP в P/poly
• Теорема Лаутемана
• Теорема Валианта-Вазирани

Практика 8

• Лемма Шварца-Зиппеля

Лекция 9

• Класс IP
• Принадлежность проблемы GNI классу IP
• #SAT

Лекция 10

• Теорема Шамира
• Семейство универсальных попарно независимых хеш-функций
• Теорема Голдвассера, Сипсера

Лекция 11

• Абсолютная секретность
• Лемма о невозможности существования вычислительно безопасных шифров в случае P = NP
• Односторонние функции и псевдослучайные генераторы
• Доказательства с нулевым разглашением

Лекция 12

• Кубит
• Унитарные операторы
• ЭПР парадокс
• Квантовый логический элемент NOT
• Преобразование Адамара
• Квантовый логический элемент CNOT
• Квантовый логический элемент Тоффоли
• Квантовая схема

Лекция 13

• Класс PCP