Вклад участника
14 апреля 2010
Вероятностная машина Тьюринга
Новая страница: «==Определение== Вероятностной лентой называется односторонне-бесконечная лента, в каждой …»
Теория сложности (старая трешовая версия)
Практика 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
Полиномиальная иерархия
Нет описания правки
+1120
Класс PH
Новая страница: «Классом сложности <math>PH</math> (англ. polynomial hierarchy) называется объединение классов сложности из…»
Теория сложности (старая трешовая версия)
Практика 6
+20
1 апреля 2010
PS-полнота задачи Generalized geography
Нет описания правки
+156
PS-полнота задачи Generalized geography
small fix
+180
PS-полнота задачи Generalized geography
Доказательство принадлежности задачи классу PSH
+13
30 марта 2010
PS-полнота задачи Generalized geography
рис1, 2, 3.
+65
Теоремы о коллапсе полиномиальной иерархии
Нет описания правки
+1762
Теоремы о коллапсе полиномиальной иерархии
Нет описания правки
+6
Теоремы о коллапсе полиномиальной иерархии
Доказательство
+126
Теоремы о коллапсе полиномиальной иерархии
Новая страница: «== Утверждение теоремы == Если <math>\Sigma_i = \Sigma_{i+1}</math>, то <math>\Sigma_i = PH</math>. == Доказательство == Из …»
Теория сложности (старая трешовая версия)
Практика 6
+86
Полиномиальная иерархия
Нет описания правки
-37
Полиномиальная иерархия
Новая страница: «Полиномиальной иерархией называется класс <math>PH = \cup_{n=0}^{\infty} \Sigma_n</math>. ---- См. Классы Sigma_i»
Теория сложности (старая трешовая версия)
Практика 6
-28
Теория сложности (старая трешовая версия)
Практика 6
+77
Теория сложности (старая трешовая версия)
Нет описания правки
+51
Теория сложности (старая трешовая версия)
Практика 6
+26