Вклад участника
2 июня 2012
Теорема Карпа — Липтона
Нет описания правки
м-58
Схемная сложность и класс P/poly
Теоремы
м+13
Схемная сложность и класс P/poly
Определения
м-14
Классы PH, Σ и Π
Класс PH
мТеорема Ладнера
Время работы алгоритма
м-67
Классы L, NL, coNL. NL-полнота задачи о достижимости
NL-полнота
м-25
Классы L, NL, coNL. NL-полнота задачи о достижимости
Нет описания правки
м+8
PS-полнота языка верных булевых формул с кванторами (TQBF)
Нет описания правки
м+11
Сложностные классы. Вычисления с оракулом
Нет описания правки
м-400
Сложностные классы. Вычисления с оракулом
Нет описания правки
м-369
Сложностные классы. Вычисления с оракулом
Нет описания правки
м-941
Класс P
Отмена правки 23216 участника Байдаров Андрей (обсуждение)
+124
Класс P
Соотношение классов Reg и P
м-124
Сложностные классы. Вычисления с оракулом
Вычисление с оракулом
м-183
Обсуждение:PS-полнота языка верных булевых формул с кванторами (TQBF)
Нет описания правки
+496
PS-полнота языка верных булевых формул с кванторами (TQBF)
Нет описания правки
м+4
Теорема Ладнера
Время работы алгоритма
м+67
1 июня 2012
Теорема Ладнера
Построение g
мЛемма о соотношении coNP и IP
Нет описания правки
м+104
Лемма о соотношении coNP и IP
Нет описания правки
м+1220
Лемма о соотношении coNP и IP
Нет описания правки
м+1780
Лемма о соотношении coNP и IP
Нет описания правки
м+468
Лемма о соотношении coNP и IP
Нет описания правки
м-545
Арифметизация булевых формул с кванторами
Новая страница: «Введём понятие арифметизации булевых формул. Пусть нам дана формула <tex>\phi(x_1 \ldots x_m)</tex>. С...»
Теория сложности
Нет описания правки
м+84
Лемма о соотношении coNP и IP
Нет описания правки
м+727
Лемма о соотношении coNP и IP
Нет описания правки
+1062
Теорема Махэни
Нет описания правки
м+54
Лемма о соотношении coNP и IP
Нет описания правки
м+2051
Лемма о соотношении coNP и IP
Нет описания правки
м+531
Лемма о соотношении coNP и IP
Нет описания правки
м+772
Лемма о соотношении coNP и IP
Новая страница: «{{Определение |definition= <tex>\#SAT=\{\langle \varphi, k \rangle | \varphi</tex> имеет ровно <tex>k</tex> удовлетворяющих н...»
11 мая 2012
Теорема Махэни
Нет описания правки
м+36
Теорема Махэни
Нет описания правки
м+269
Теорема Махэни
\mathrm
м+171
Теорема Махэни
Нет описания правки
+530
16 апреля 2012
Теорема Махэни
Нет описания правки
м+12
Теорема Махэни
Нет описания правки
м+29
Теорема Махэни
Нет описания правки
м+13
Теорема Махэни
Нет описания правки
м+1
Теорема Махэни
Нет описания правки
м-15
Теорема Махэни
Нет описания правки
м+1
Теорема Махэни
Нет описания правки
м+1
Теорема Махэни
Нет описания правки
м+1
Теорема Махэни
Нет описания правки
м+6
11 апреля 2012
Теорема Махэни
Нет описания правки
м+6
Теорема Махэни
Нет описания правки
м-1
Теорема Махэни
Нет описания правки
+2970
Теорема Махэни
Нет описания правки
м+595
Теорема Махэни
Нет описания правки
+865