Вклад участника

Перейти к: навигация, поиск

Shevchen

7 июня 2012

5 июня 2012

4 июня 2012

3 июня 2012

Вклад участника

Shevchen

7 июня 2012

PS-полнота языка верных булевых формул с кванторами (TQBF)

PS-полнота языка верных булевых формул с кванторами (TQBF)

5 июня 2012

Теорема Ладнера

Теорема Ладнера

Обсуждение:Недетерминированные вычисления. Классы NP и Σ₁

Обсуждение:PCP-система

Обсуждение:PCP-система

Обсуждение:PCP-система

4 июня 2012

Обсуждение:PCP-система

Обсуждение:PCP-система

Обсуждение:PCP-система

Обсуждение:PCP-система

Обсуждение:Интерактивные протоколы. Класс IP. Класс AM

Классы BPP

Обсуждение:Вероятностные вычисления. Вероятностная машина Тьюринга

Обсуждение:Вероятностные вычисления. Вероятностная машина Тьюринга

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

Обсуждение:PS-полнота языка верных булевых формул с кванторами (TQBF)

Обсуждение:PS-полнота языка верных булевых формул с кванторами (TQBF)

Теорема Сэвича. Совпадение классов NPS и PS

Обсуждение:Недетерминированные вычисления

Обсуждение:Теорема Бейкера — Гилла — Соловэя

Теорема Бейкера — Гилла — Соловэя

Примеры NP-полных языков. Теорема Кука

Примеры NP-полных языков. Теорема Кука

Обсуждение:Недетерминированные вычисления

Классы NP, coNP, Σ₁, Π₁

Обсуждение:Недетерминированные вычисления. Классы NP и Σ₁

Обсуждение:Класс P

Теорема Ладнера

Обсуждение:Сложностные классы. Вычисления с оракулом

3 июня 2012

Теорема Ладнера

Теорема Ладнера

Обсуждение:Теорема Ладнера

Теорема Ладнера

Теорема Ладнера

Теорема Ладнера

Теорема Ладнера

Теорема Ладнера

Обсуждение:Теорема Ладнера

Теорема Ладнера

Теорема Ладнера

Теорема Ладнера

Теорема Ладнера

Обсуждение:Теорема Ладнера

Теорема Ладнера

Теорема Ладнера

Обсуждение:Теорема Ладнера

Теорема Ладнера

Обсуждение:Теорема Ладнера

Навигация

Поиск