Вклад участника
3 июня 2012
Схемная сложность и класс P/poly
Нет описания правки
+11
Теоремы о коллапсе полиномиальной иерархии
Нет описания правки
Классы PH, Σ и Π
Нет описания правки
+313
Классы L, NL, coNL. NL-полнота задачи о достижимости
Нет описания правки
-168
Обсуждение:Классы L, NL, coNL. NL-полнота задачи о достижимости
Нет описания правки
+1186
Обсуждение:Классы L, NL, coNL. NL-полнота задачи о достижимости
Нет описания правки
+87
Обсуждение:Классы L, NL, coNL. NL-полнота задачи о достижимости
Новая страница: «Определеньки надо бы вынести из теорем. Я, видимо, туплю, но я не понимаю, как <tex>\mathrm{\overline...»
Обсуждение:Сложностные классы. Вычисления с оракулом
Я не понял, ЭТО зачтено или нет?
+271
Обсуждение:PS-полнота языка верных булевых формул с кванторами (TQBF)
Нет описания правки
+304
Обсуждение:Теорема Сэвича. Совпадение классов NPS и PS
Нет описания правки
+380
Обсуждение:Теорема Сэвича. Совпадение классов NPS и PS
И вот ещё немного: Новая тема
+493
Теорема Сэвича. Совпадение классов NPS и PS
Нет описания правки
+43
Теорема Махэни
Да хватит уже удовлетворять формулы!
-2
Теорема Махэни
\bigm|
+6
Теорема Махэни
Нет описания правки
+54
Теорема Бермана — Форчуна
Нет описания правки
+101
Теорема Бермана — Форчуна
Нет описания правки
+79
Теорема Махэни
Нет описания правки
+198
Теорема Махэни
Нет описания правки
+11
Теорема Бермана — Форчуна
БЕСИТЕ вы меня
+171
Обсуждение:Теорема Бермана — Форчуна
Омг: Новая тема
+477
2 июня 2012
Обсуждение:Сложностные классы. Вычисления с оракулом
Я не понял, ЭТО зачтено или нет?
+190
Обсуждение:Сложностные классы. Вычисления с оракулом
Я не понял, ЭТО зачтено или нет?
+842
Обсуждение:Примеры NP-полных языков. Теорема Кука
Глобально: Новая тема
+179
Обсуждение:Теорема Ладнера
Сам исправил
-379
Теорема Ладнера
Нет описания правки
+1
Обсуждение:Теорема Ладнера
Нет описания правки
+336
Теорема Ладнера
Ой, зря я сломал программы. Починил.
+8
Обсуждение:Теорема Ладнера
Нет описания правки
+155
Теорема Ладнера
Нет описания правки
-133
Обсуждение:Теорема Ладнера
Подписи сломались о_0
+57
Обсуждение:Теорема Ладнера
Новая страница: «Есть мнение, что эту теорему надо оформить как теорему. В первой же строке явно просится ...»
1 июня 2012
31 мая 2012
Теорема Левина
Нет описания правки
+2
Теорема Левина
Нет описания правки
+2
Теорема Левина
Байдаров всё внимательно читает и следит за тобой!
+18
Класс P
Правки Kirelagin (обсуждение) откачены к версии 109.188.223.77
м+1
Класс P
Нет описания правки
м-1
Обсуждение:Сложностные классы. Вычисления с оракулом
Я не понял, ЭТО зачтено или нет?: Новая тема
+306
Теорема Левина
Нет описания правки
+22
Теорема Левина
Нет описания правки
+40
Теорема Левина
багфикс
+31
27 мая 2012
Теорема Карпа — Липтона
Теорема
+81
Теорема Карпа — Липтона
Лемма
+1
Классы NC и AC
Теоремы: Название тезиса
+108
Классы NC и AC
Теоремы
+53
Шаблон:Утверждение
Идите нафиг со своим курсивом
-80
Классы NC и AC
Теоремы: Третье
+33
Классы NC и AC
Теоремы: Вторая
Классы NC и AC
Теоремы: Первая теорема
+141