Вклад участника
17 июня 2010
Классы EXP, NEXP. Полнота языков EXP и NEXP
Нет описания правки
+93
Классы EXP, NEXP. Полнота языков EXP и NEXP
Нет описания правки
+216
Классы EXP, NEXP. Полнота языков EXP и NEXP
Нет описания правки
-216
Классы EXP, NEXP. Полнота языков EXP и NEXP
Нет описания правки
+254
Классы EXP, NEXP. Полнота языков EXP и NEXP
Нет описания правки
+118
Классы EXP, NEXP. Полнота языков EXP и NEXP
Нет описания правки
-1067
Классы EXP, NEXP. Полнота языков EXP и NEXP
Нет описания правки
-14
Классы EXP, NEXP. Полнота языков EXP и NEXP
Нет описания правки
-1
Классы EXP, NEXP. Полнота языков EXP и NEXP
Доказательство
+2
Классы EXP, NEXP. Полнота языков EXP и NEXP
Доказательство
-28
Классы EXP, NEXP. Полнота языков EXP и NEXP
Доказательство
+6
9 июня 2010
Теорема Голдвассера, Сипсера
Нет описания правки
+400
Теорема Голдвассера, Сипсера
Нет описания правки
-2391
Протокол Гольдвассера-Сипсера для оценки размера множества
Новая страница: «Пусть зафиксировано множество <tex>S</tex>. Построим протокол на открытых монетах, обладающий…»
Теория сложности (старая трешовая версия)
Нет описания правки
+116
Теорема Голдвассера, Сипсера
Нет описания правки
-3395
1 апреля 2010
19 марта 2010
Теорема Кука
Нет описания правки
+57
Теорема Кука
Нет описания правки
-43
Сведение по Куку задачи факторизации к языку из NP
Нет описания правки
-19
Сведение по Куку задачи факторизации к языку из NP
Нет описания правки
+126
NP-полнота задачи о выполнимости булевой формулы в форме КНФ
Нет описания правки
NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ
Нет описания правки
+28
NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ
Нет описания правки
+15
NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ
Нет описания правки
-45
Теорема Кука
Нет описания правки
-19
Теорема Кука
Нет описания правки
-124
NP-полнота задачи о сумме подмножества
Нет описания правки
-114
Сведение по Куку
Нет описания правки
+33
Сведение по Куку
Нет описания правки
+9
NP-полнота задачи о раскраске графа
Нет описания правки
-2
NP-полнота задачи о раскраске графа
Нет описания правки
+14
Теорема Ладнера
Нет описания правки
-1
18 марта 2010
Класс NP
Нет описания правки
м+58
Класс NP
Нет описания правки
+184
Класс P
Нет описания правки
-11
Класс P
Нет описания правки
-264
Теорема о временной иерархии
Нет описания правки
-2
Теорема о временной иерархии
Нет описания правки
+2
Теорема о временной иерархии
Нет описания правки
+8
Теорема о временной иерархии
Нет описания правки
+187
Теорема о временной иерархии
Нет описания правки
-89
NP-полнота задачи BH1N
Нет описания правки
+120
NP-полнота задачи BH1N
Нет описания правки
+11
Теорема о ёмкостной иерархии
Нет описания правки
+11
Теорема о ёмкостной иерархии
Нет описания правки
+13
Класс DSPACE
Нет описания правки
-6
Класс co-NP
Нет описания правки
+2
Класс P
Нет описания правки
+11