Вклад участника
27 мая 2012
11 мая 2012
Участник:Kirelagin/Оформление
Сделал заголовки помельче
+10
Участник:Kirelagin/Оформление
Теоремы: «Очевидно»
+491
Заглавная страница
Всеобщие обсуждения + обсуждение курсива в шаблоне «Определение»
+244
Обсуждение шаблона:Определение
Курсив: Новая тема
+516
Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи
Свойства сведения
+158
Теоремы о коллапсе полиномиальной иерархии
mathrm
+18
Теоремы о коллапсе полиномиальной иерархии
Теорема о коллапсе полиномиальной иерархии при совпадении \Sigma_i и \Pi_i: i=0
-182
9 мая 2012
Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи
Банальный пример сведения по Карпу
-30
Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи
Определения
-34
8 мая 2012
Теорема Левина
Нет описания правки
м-3
Теорема Левина
Теорема
-3891
Теоремы о коллапсе полиномиальной иерархии
Теорема о коллапсе полиномиальной иерархии при совпадении \Sigma_i и \Pi_i
-102
Теоремы о коллапсе полиномиальной иерархии
Теорема о коллапсе полиномиальной иерархии при совпадении \Sigma_i и \Sigma_{i+1}
-231
Теоремы о коллапсе полиномиальной иерархии
Лемма
-396
Теорема Карпа — Липтона
Лемма
+6
Теорема Бейкера — Гилла — Соловэя
Теорема: немного подправил, но всё плохо
+207
7 мая 2012
30 апреля 2012
Обсуждение:Теорема Карпа — Липтона
Нет описания правки
+210
Обсуждение:Недетерминированные вычисления. Классы NP и Σ₁
Нет описания правки
+231
Обсуждение:Классы NC и AC
Теорема
29 апреля 2012
Обсуждение:Теорема Карпа — Липтона
Доказательство
Теорема Карпа — Липтона
Оформление и мелочи
-6
Обсуждение:Недетерминированные вычисления. Классы NP и Σ₁
Нет описания правки
+548
Обсуждение:Теорема Бейкера — Гилла — Соловэя
Последствия: Новая тема
+208
Обсуждение:Теорема Бейкера — Гилла — Соловэя
Нет описания правки
+636
Обсуждение:Теорема Бейкера — Гилла — Соловэя
Вторая часть доказательства: Новая тема
+640
Теорема Бейкера — Гилла — Соловэя
Вторая часть доказательства
-209
Обсуждение:Теорема Бейкера — Гилла — Соловэя
Первая часть доказательства: Новая тема
+231
Теорема Бейкера — Гилла — Соловэя
Первая часть доказательства
-66
Теорема Бейкера — Гилла — Соловэя
Тире в техе
мОбсуждение:Теорема Бермана — Форчуна
Нет описания правки
+398
24 апреля 2012
Обсуждение:Сложностные классы. Вычисления с оракулом
Новая страница: «ЭТО КАПЕЦ ~~~~»
Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи
Банальный пример сведения по Карпу
-16
Обсуждение:Теорема Бейкера — Гилла — Соловэя
Нет описания правки
+1312
23 апреля 2012
Обсуждение:Теорема Бейкера — Гилла — Соловэя
Новая страница: «Во-первых, тебе не повезло: я думал, какой бы конспект почитать, ткнул наугад и попал в тво...»
Обсуждение:Недетерминированные вычисления. Классы NP и Σ₁
Нет описания правки
+482
Обсуждение:Недетерминированные вычисления. Классы NP и Σ₁
Нет описания правки
+152
Обсуждение:Недетерминированные вычисления. Классы NP и Σ₁
Нет описания правки
+472
16 апреля 2012
9 апреля 2012
Класс P
Правки Ulyantsev (обсуждение) откачены к версии 192.168.0.2
м-87
Шаблон:Утверждение
Нет описания правки
Заглавная страница
Нет описания правки
-181
Теория сложности
Нет описания правки
+210
31 марта 2012
Заглавная страница
Защищена страница «Заглавная страница»: Nyan! Nyan nyan nyan! ([edit=sysop] (истекает 20:36, 1 апреля 2012 (UTC)) [move=sysop] (истекает 20:36, 1 апреля 2012 (UTC)))
мЗаглавная страница
Nyan, nyan!
-1777
Файл:NyanCat.png
Nyan cat!
24 января 2012
Иммунные и простые множества
Нет описания правки
+24
Автоматы с магазинной памятью
Нет описания правки
-54
