Вклад участника
3 июня 2012
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
Лемма Огдена
Нет описания правки
+18
Лемма Огдена
Нет описания правки
Примеры неразрешимых задач: однозначность грамматики
Нет описания правки
-3
Примеры неразрешимых задач: однозначность грамматики
Нет описания правки
+137
Удаление бесполезных символов из грамматики
Достижимые и недостижимые нетерминалы
Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора
Нет описания правки
+5
Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора
Нет описания правки
-19
