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

Материал из Викиконспекты
Перейти к: навигация, поиск
(Интерактивные протоколы)
м (rollbackEdits.php mass rollback)
 
(не показано 20 промежуточных версий 9 участников)
Строка 1: Строка 1:
{{В разработке}}
 
 
 
[[Категория: Теория сложности]]
 
[[Категория: Теория сложности]]
  
 
== Детерминированные и недетерминированные вычисления, сложность по времени и по памяти ==
 
== Детерминированные и недетерминированные вычисления, сложность по времени и по памяти ==
 +
=== Базовые определения ===
 
*[[Сложностные классы]]
 
*[[Сложностные классы]]
 
*[[Вычисления с оракулом]]
 
*[[Вычисления с оракулом]]
Строка 10: Строка 9:
 
*[[Класс P]]
 
*[[Класс P]]
 
*[[Недетерминированные вычисления]]
 
*[[Недетерминированные вычисления]]
*[[Классы NP и Σ₁]]
+
*[[Классы NP, coNP, Σ₁, Π₁]]
 
*[[Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи]]
 
*[[Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи]]
*[[Примеры NP-полных языков. Теорема Кука]]
+
*[[Сведение по Куку задачи факторизации к языку из NP]]
 +
*[[NP-полнота BH1N]]
 +
*[[Теорема Кука]]
 
*[[Теоремы о временной и емкостной иерархиях]]
 
*[[Теоремы о временной и емкостной иерархиях]]
 
*[[Теорема Бейкера — Гилла — Соловэя]]
 
*[[Теорема Бейкера — Гилла — Соловэя]]
Строка 20: Строка 21:
 
*[[Теорема Махэни]]
 
*[[Теорема Махэни]]
  
=== Сложность по памяти, классы PS, L, NL, coNL ===
+
=== [[Примеры NP-полных языков]] ===
 +
* [[NP-полнота языка CNFSAT]]
 +
* [[NP-полнота языка 3SAT]]
 +
* [[NP-полнота языка IND (максимальное независимое множество)]]
 +
* [[NP-полнота языка VCOVER (минимальное вершинное покрытие)]]
 +
* [[NP-полнота языка CLIQUE]]
 +
* [[NP-полнота задач о гамильтоновом цикле и пути в графах]]
 +
* [[NP-полнота задачи о сумме подмножества]]
 +
* [[NP-полнота задачи о рюкзаке]]
 +
* [[NP-полнота задачи о раскраске графа]]
 +
* [[NP-полнота игры Тетрис]]
 +
 
 +
=== Сложность по памяти, классы PS, L, NL, coNL, EXP, NEXP ===
 
*[[Класс PS. Связь класса PS с другими классами теории сложности]]
 
*[[Класс PS. Связь класса PS с другими классами теории сложности]]
 
*[[Теорема Сэвича. Совпадение классов NPS и PS]]
 
*[[Теорема Сэвича. Совпадение классов NPS и PS]]
 
*[[PS-полнота языка верных булевых формул с кванторами (TQBF)]]
 
*[[PS-полнота языка верных булевых формул с кванторами (TQBF)]]
 +
*[[PS-полнота задачи Generalized geography]]
 
*[[Классы L, NL, coNL]]
 
*[[Классы L, NL, coNL]]
*[[NL-полнота задачи о достижимости]]
+
*[[Полнота относительно L-сведения. NL-полнота. P-полнота]]
 
*[[Теорема Иммермана]]
 
*[[Теорема Иммермана]]
 +
*[[Классы EXP и NEXP]]
  
 
=== Полиномиальная иерархия ===
 
=== Полиномиальная иерархия ===
 
*[[Классы PH, Σ и Π]]
 
*[[Классы PH, Σ и Π]]
 
*[[Теоремы о коллапсе полиномиальной иерархии]]
 
*[[Теоремы о коллапсе полиномиальной иерархии]]
 +
 +
=== Классы задач подсчета ===
 +
*[[Классы Sharp P, Sharp P-Complete|Классы #P, #P-Complete]]
  
 
== Схемная сложность ==
 
== Схемная сложность ==
Строка 39: Строка 57:
  
 
== Вероятностные сложностные классы ==
 
== Вероятностные сложностные классы ==
 +
=== Основные классы ===
 
*[[Вероятностные вычисления. Вероятностная машина Тьюринга]]
 
*[[Вероятностные вычисления. Вероятностная машина Тьюринга]]
 
*[[Классы RP и coRP]]
 
*[[Классы RP и coRP]]
Строка 44: Строка 63:
 
*[[Классы BPP и PP]]
 
*[[Классы BPP и PP]]
 
*[[Соотношение вероятностных классов]]
 
*[[Соотношение вероятностных классов]]
 +
*[[Лемма Шварца-Зиппеля]]
 
*[[Теорема Лаутемана]]
 
*[[Теорема Лаутемана]]
 +
*[[Теорема Валианта-Вазирани]]
  
 
=== Интерактивные протоколы ===
 
=== Интерактивные протоколы ===
Строка 52: Строка 73:
 
*[[Теорема Шамира]]
 
*[[Теорема Шамира]]
 
*[[Семейство универсальных попарно независимых хеш-функций]]
 
*[[Семейство универсальных попарно независимых хеш-функций]]
*[[Протокол Голдвассера-Сипсера для оценки размера множества]]
+
*[[Протокол Голдвассер-Сипсера для оценки размера множества]]
  
 
=== Probabilistically checkable proofs ===
 
=== Probabilistically checkable proofs ===
Строка 58: Строка 79:
 
*[[Эквивалентность PCP-теоремы и теоремы о трудности аппроксимации]]
 
*[[Эквивалентность PCP-теоремы и теоремы о трудности аппроксимации]]
 
*[[PCP-теорема]]
 
*[[PCP-теорема]]
 
  
 
----
 
----
  
 
[[Теория сложности (старая трешовая версия)|Вот сюда]] можно подсматривать, но злоупотреблять не рекомендуется.
 
[[Теория сложности (старая трешовая версия)|Вот сюда]] можно подсматривать, но злоупотреблять не рекомендуется.

Текущая версия на 19:42, 4 сентября 2022


Детерминированные и недетерминированные вычисления, сложность по времени и по памяти

Базовые определения

Классы P и NP, NP-полнота

Примеры NP-полных языков

Сложность по памяти, классы PS, L, NL, coNL, EXP, NEXP

Полиномиальная иерархия

Классы задач подсчета

Схемная сложность

Вероятностные сложностные классы

Основные классы

Интерактивные протоколы

Probabilistically checkable proofs


Вот сюда можно подсматривать, но злоупотреблять не рекомендуется.