Вклад участника
4 июня 2012
Теория сложности
Сложность по памяти, классы PS, L, NL, coNL
+43
Сложностные классы. Вычисления с оракулом
Нет описания правки
+47
Сложностные классы. Вычисления с оракулом
Нет описания правки
+1462
Классы L, NL, coNL. NL-полнота задачи о достижимости
Нет описания правки
+42
3 июня 2012
PS-полнота языка верных булевых формул с кванторами (TQBF)
Нет описания правки
Обсуждение:Сложностные классы. Вычисления с оракулом
Нет описания правки
+121
PS-полнота языка верных булевых формул с кванторами (TQBF)
Нет описания правки
+6
PS-полнота языка верных булевых формул с кванторами (TQBF)
Отмена правки 23524 участника Berezhkovskaya (обсуждение)
-6
PS-полнота языка верных булевых формул с кванторами (TQBF)
Отмена правки 23526 участника Berezhkovskaya (обсуждение)
+6
PS-полнота языка верных булевых формул с кванторами (TQBF)
Нет описания правки
-6
PS-полнота языка верных булевых формул с кванторами (TQBF)
Нет описания правки
+6
Классы L, NL, coNL. NL-полнота задачи о достижимости
Нет описания правки
-5
Классы L, NL, coNL. NL-полнота задачи о достижимости
NL-полнота
-6
PS-полнота языка верных булевых формул с кванторами (TQBF)
Нет описания правки
-11
Обсуждение:Классы L, NL, coNL. NL-полнота задачи о достижимости
Нет описания правки
+1
Обсуждение:Классы L, NL, coNL. NL-полнота задачи о достижимости
Нет описания правки
+74
Классы L, NL, coNL. NL-полнота задачи о достижимости
Теорема Иммермана
+129
Классы L, NL, coNL. NL-полнота задачи о достижимости
Теорема Иммермана
-1
Классы L, NL, coNL. NL-полнота задачи о достижимости
Теорема Иммермана
+7
Классы L, NL, coNL. NL-полнота задачи о достижимости
Теорема Иммермана
-11
Классы L, NL, coNL. NL-полнота задачи о достижимости
Теорема Иммермана
-16
Классы L, NL, coNL. NL-полнота задачи о достижимости
Теорема Иммермана
+1
Классы L, NL, coNL. NL-полнота задачи о достижимости
Теорема Иммермана
+1
Классы L, NL, coNL. NL-полнота задачи о достижимости
NL-полнота
+185
Классы L, NL, coNL. NL-полнота задачи о достижимости
Теорема Иммермана
+330
Классы L, NL, coNL. NL-полнота задачи о достижимости
Нет описания правки
+1
Классы L, NL, coNL. NL-полнота задачи о достижимости
Теорема Иммермана
+174
2 июня 2012
Обсуждение:PS-полнота языка верных булевых формул с кванторами (TQBF)
Нет описания правки
+288
Обсуждение:Классы RP и coRP
Новая страница: «Обозначение "программа m" меня убивает. Если программа, то все-таки р, m - это МТ. '''then''' на сл...»
1 июня 2012
Обсуждение:PS-полнота языка верных булевых формул с кванторами (TQBF)
Нет описания правки
+327
Обсуждение:Вероятностные вычисления. Вероятностная машина Тьюринга
Нет описания правки
+2
Обсуждение:Вероятностные вычисления. Вероятностная машина Тьюринга
Нет описания правки
+2
Обсуждение:Вероятностные вычисления. Вероятностная машина Тьюринга
Новая страница: «Претензии по сути: 1) вступление; я его не очень поняла; что значит, что "программы получаю...»
14 мая 2012
13 мая 2012
Классы L, NL, coNL. NL-полнота задачи о достижимости
Теорема Иммермана
-5
Классы L, NL, coNL. NL-полнота задачи о достижимости
Теорема Иммермана
+41
Классы L, NL, coNL. NL-полнота задачи о достижимости
Нет описания правки
+423
Классы L, NL, coNL. NL-полнота задачи о достижимости
Нет описания правки
+27
Классы L, NL, coNL. NL-полнота задачи о достижимости
Теорема Иммермана
-100
Классы L, NL, coNL. NL-полнота задачи о достижимости
Теорема Иммермана
+57
Классы L, NL, coNL. NL-полнота задачи о достижимости
Теорема Иммермана
+4464
30 апреля 2012
Обсуждение:Сложностные классы. Вычисления с оракулом
Нет описания правки
+895
Обсуждение:PS-полнота языка верных булевых формул с кванторами (TQBF)
Нет описания правки
+2
Обсуждение:PS-полнота языка верных булевых формул с кванторами (TQBF)
Новая страница: «Претензии по содержанию * Формулировка леммы 2 не совсем корректна. "Для любого L из PS след...»
Классы L, NL, coNL. NL-полнота задачи о достижимости
Теорема Иммермана
+2487
29 апреля 2012
Классы L, NL, coNL. NL-полнота задачи о достижимости
Теорема Иммермана
+592
Классы L, NL, coNL. NL-полнота задачи о достижимости
Новая страница: «{{Определение |definition='''Класс <tex>L</tex>''' — множество языков, разрешимых на детерминированно...»
23 января 2012
Детерминированные автоматы с магазинной памятью
Нет описания правки
-1464
МП-автоматы, допуск по пустому стеку и по допускающему состоянию, эквивалентность
Нет описания правки
+77
Автоматы с магазинной памятью
Недетерминированный автомат с магазинной памятью
+177