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

Байдаров Андрей

5 июня 2012

Теорема о соотношении coNP и IP
Нет описания правки
м
16:40
+18
Теорема Махэни
Нет описания правки
м
15:02
+80
Интерактивные протоколы. Класс IP. Класс AM
‎Язык GNI
м
01:19
+196
Интерактивные протоколы. Класс IP. Класс AM
‎Соотношения с другими классами теории сложности
м
01:13
+90
Интерактивные протоколы. Класс IP. Класс AM
‎Определения
м
01:08
+479
Интерактивные протоколы. Класс IP. Класс AM
Отмена правки 23980 участника Байдаров Андрей (обсуждение)
01:08
+4169
Интерактивные протоколы. Класс IP. Класс AM
Нет описания правки
м
01:07
-4169
Теорема о соотношении coNP и IP
Нет описания правки
м
00:48
+461
Теорема о соотношении coNP и IP
Новая страница: «{{Определение |definition= <tex>\mathrm{\#SAT}=\{\langle \varphi, k \rangle \bigm| \varphi</tex> имеет ровно <tex>k</tex> удовлетво...»
00:23
Теория сложности
‎Интерактивные протоколы
м
00:21
+4

4 июня 2012

3 июня 2012

2 июня 2012

50 более старых

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

Байдаров Андрей

5 июня 2012

Теорема о соотношении coNP и IP

Теорема Махэни

Интерактивные протоколы. Класс IP. Класс AM

Интерактивные протоколы. Класс IP. Класс AM

Интерактивные протоколы. Класс IP. Класс AM

Интерактивные протоколы. Класс IP. Класс AM

Интерактивные протоколы. Класс IP. Класс AM

Теорема о соотношении coNP и IP

Теорема о соотношении coNP и IP

Теория сложности

4 июня 2012

Теорема Махэни

Лемма о соотношении coNP и IP

Лемма о соотношении coNP и IP

Лемма о соотношении coNP и IP

Лемма о соотношении coNP и IP

Лемма о соотношении coNP и IP

Лемма о соотношении coNP и IP

Лемма о соотношении coNP и IP

Лемма о соотношении coNP и IP

PCP-система

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

Классы L, NL, coNL. NL-полнота задачи о достижимости

Классы L, NL, coNL. NL-полнота задачи о достижимости

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

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

Интерактивные протоколы. Класс IP. Класс AM

Лемма о соотношении coNP и IP

Лемма о соотношении coNP и IP

3 июня 2012

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

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

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

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

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

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

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

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

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

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

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

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

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

Лемма о соотношении coNP и IP

Теорема Махэни

Теорема Махэни

Лемма о соотношении coNP и IP

2 июня 2012

Арифметизация булевых формул с кванторами

Лемма о соотношении coNP и IP

Лемма о соотношении coNP и IP

Теорема о непринадлежности XOR классу AC⁰

Классы NC и AC

Навигация

Поиск