Вклад участника
2 июня 2010
1 июня 2010
Сложностный класс BPP
Нет описания правки
+4
Сложностный класс BPP
Нет описания правки
+4
Теорема Карпа-Липтона
Нет описания правки
+2
Теорема Карпа-Липтона
Нет описания правки
+1
Теорема Карпа-Липтона
Нет описания правки
+4
29 апреля 2010
28 апреля 2010
27 апреля 2010
25 апреля 2010
22 апреля 2010
Sharp SAT
Нет описания правки
+1
Sharp SAT
Нет описания правки
+519
Sharp SAT
Нет описания правки
+891
Sharp SAT
Нет описания правки
+43
Sharp SAT
Нет описания правки
+4216
17 апреля 2010
Sharp SAT
Нет описания правки
+2580
Теория сложности (старая трешовая версия)
Нет описания правки
Теория сложности (старая трешовая версия)
Нет описания правки
-64
Интерактивное доказательство для языка
переименовал «Интерактивное доказательство для языка» в «Sharp SAT»
Sharp SAT
переименовал «Интерактивное доказательство для языка» в «Sharp SAT»
м\u0023SAT
«\u0023SAT» переименована в «Интерактивное доказательство для языка» поверх перенаправления: откат
Sharp SAT
«\u0023SAT» переименована в «Интерактивное доказательство для языка» поверх перенаправления: откат
мSharp SAT
переименовал «Интерактивное доказательство для языка» в «\u0023SAT»
м
15 апреля 2010
Sharp SAT
Новая страница: «== Определение == <tex>\#SAT = \{ <\varphi, k> | \varphi</tex> имеет <tex>k</tex> удовлетворяющих наборов <tex>\}</tex> == У…»
Теория сложности (старая трешовая версия)
Нет описания правки
+106
15 марта 2010
14 марта 2010
Теорема Левина
Нет описания правки
+172
Теорема Левина
Нет описания правки
+2
Теорема Левина
Нет описания правки
Теорема Левина
Нет описания правки
-4
Теорема Левина
Нет описания правки
+15
Теорема Левина
Нет описания правки
+4
Теорема Левина
Нет описания правки
-47
Теорема Левина
Нет описания правки
+452