Вклад участника
15 апреля 2010
Сложностный класс BPP
Нет описания правки
+692
Сложностный класс ZPP
Доказательство
+30
Теорема Карпа-Липтона
Нет описания правки
+1241
Сложностный класс BPP
Нет описания правки
+2066
Теорема Карпа-Липтона
Формулировка
+4
Теорема Карпа-Липтона
Новая страница: «== Формулировка == '''Теорема Карпа-Липтона''' <tex>NP \in P/poly</tex> то <tex>sigma2=pi2</tex> == Доказательство …»
Теория сложности (старая трешовая версия)
Добавлена лекция 7
+68
Сложностный класс BPP
Нет описания правки
+11
Сложностный класс BPP
Нет описания правки
+121
Сложностный класс BPP
Нет описания правки
+392
Сложностный класс BPP
Нет описания правки
+325
Сложностный класс BPP
Определение класса PP
-2
Сложностный класс BPP
Определение класса PP
-1
Сложностный класс BPP
Новая страница: «==Определение класса PP== Классом <tex>\mbox{PP}</tex> называется множество языков, для которых сущес…»
Теория сложности (старая трешовая версия)
Практика 7
+43
14 апреля 2010
Сложностный класс ZPP
Альтернативное определения
Сложностный класс ZPP
Доказательство
+4
Сложностный класс ZPP
Нет описания правки
+1652
Сложностный класс ZPP
Новая страница: «===Определения=== Классом <tex>ZPP</tex> называется множество языков, для которых существует [[Вер…»
Вероятностная машина Тьюринга
Новая страница: «==Определение== Вероятностной лентой называется односторонне-бесконечная лента, в каждой …»
Теория сложности (старая трешовая версия)
Практика 7
Вероятностная машины Тьюринга
Новая страница: «==Определение== Вероятностной лентой называется односторонне-бесконечная лента, в каждой …»
Теория сложности (старая трешовая версия)
Практика 7
Теория сложности (старая трешовая версия)
Практика 7
+20
Вероятностные машины Тьюринга
Определение
-44
Вероятностные машины Тьюринга
Нет описания правки
+559
Измеримое множество
Определение
+7
Измеримое множество
Новая страница: «==Определение== Множество называется измеримым, если представимо в виде отрезков.»
13 апреля 2010
Теория сложности (старая трешовая версия)
Нет описания правки
+52
Сложностные классы RP и coRP
Нет описания правки
+1110
10 апреля 2010
Вероятностные машины Тьюринга
Определение
+129
Вероятностные машины Тьюринга
Определение
+439
Вероятностные машины Тьюринга
Определение
+56
Вероятностные машины Тьюринга
Определение
+6
Вероятностные машины Тьюринга
Новая страница: «==Определение== Вероятностной является машина Тьюринга с односторонне-бесконечной лентой,…»
Теория сложности (старая трешовая версия)
Практика 7
+62
9 апреля 2010
8 апреля 2010
7 апреля 2010
Класс L
Нет описания правки
-15
Класс L
Новая страница: «Класс языков '''L''' — множество языков, разрешимых на детерминированной машине Тьюринга с и…»
6 апреля 2010
NL-полнота задачи о достижимости в графе
Доказательство NL-трудности задачи STCON
+2701
Теорема о связи вопросов EXP=NEXP и P=NP
Новая страница: «=== Формулировка === :<tex>\text{P=NP} \Rightarrow \text{EXP=NEXP}</tex> === Доказательство === Рассмотрим <tex>\text{NEXP---}</…»
Теория сложности (старая трешовая версия)
Нет описания правки
+39
4 апреля 2010
Классы Sigma i и Pi i
Новая страница: «Пусть имеется предикат <tex>R(x, y_1 \ldots y_i)</tex> от <tex>i+1</tex> переменной. Классом сложности <tex>\Sigma_i…»
Полиномиальная иерархия
Классы из полиномиальной иерархии
-26
Полиномиальная иерархия
Классы из полиномиальной иерархии
+8
Класс PH
Нет описания правки
-4
Полиномиальная иерархия
Нет описания правки
+1001
Класс PH
Нет описания правки
+72