Вклад участника
15 апреля 2010
Теорема Иммермана
Нет описания правки
+6
Теорема Иммермана
Доказательство
+86
Вероятностная машина Тьюринга
Вероятности событий, связанных с машиной Тьюринга
+18
Лемма Шварца-Зиппеля
Нет описания правки
+23
Вероятностная машина Тьюринга
Свойство
-4
Вероятностная машина Тьюринга
Определение
+478
Сложностный класс ZPP
Замечание
-1
Сложностный класс ZPP
Замечание
+2
Теорема о связи вопросов EXP=NEXP и P=NP
Доказательство
+37
Сложностный класс ZPP
Нет описания правки
+228
Теорема о связи вопросов EXP=NEXP и P=NP
Доказательство
+25
Вероятностная машина Тьюринга
Определение
+1
Теорема о связи вопросов EXP=NEXP и P=NP
Доказательство
+33
Вероятностная машина Тьюринга
Определение
-27
Вероятностная машина Тьюринга
Определение
Вероятностная машина Тьюринга
Определение
-6
Вероятностная машина Тьюринга
Свойство
-2
Вероятностная машина Тьюринга
Определение
+53
Теорема о связи вопросов EXP=NEXP и P=NP
Нет описания правки
+99
Сложностный класс PP
Определение класса PP
+4
Вероятностная машина Тьюринга
Определение
-175
Вероятностная машина Тьюринга
Определение
+45
BPP
Перенаправление на Сложностный класс BPP
Вероятностная машина Тьюринга
Определение
+238
PP
Перенаправление на Сложностный класс PP
Сложностный класс ZPP
Доказательство
+30
Сложностный класс PP
Новая страница: «==Определение класса PP== Классом <tex>\mbox{PP}</tex> (от англ. ''probabilistic, polynomial'') называется множество…»
NL-полнота задачи о достижимости в графе
Нет описания правки
+12
Сложностный класс BPP
Нет описания правки
-1018
Теория сложности (старая трешовая версия)
Практика 7
+42
Теорема Лаутемана
Доказательство
Теорема Лаутемана
Доказательство
+40
NL-полнота задачи о достижимости в графе
Доказательство NL-трудности задачи STCON
+591
NL-полнота задачи о достижимости в графе
Нет описания правки
-190
Теорема Карпа-Липтона
Доказательство
+2
Теорема Карпа-Липтона
Доказательство
+74
Теорема Карпа-Липтона
Доказательство
+70
Сложностный класс ZPP
Доказательство
-4
Сложностный класс ZPP
Доказательство
+7
Теорема Карпа-Липтона
Доказательство
-1
Теорема Карпа-Липтона
Доказательство
+71
Сложностный класс ZPP
Доказательство
+196
Сложностный класс BPP
Нет описания правки
+16
Сложностный класс ZPP
Доказательство
+303
Сложностный класс BPP
Нет описания правки
-19
Сложностный класс BPP
Нет описания правки
+1
Уменьшение ошибки в классе RP, сильное и слабое определение
Определение классов PR, RP_1, RP_2
Сложностный класс BPP
Нет описания правки
-9
Теорема Карпа-Липтона
Доказательство
+11
Теорема Карпа-Липтона
Доказательство
+10