Вклад участника
30 апреля 2012
Обсуждение:Теорема Карпа — Липтона
Нет описания правки
+210
Обсуждение:Недетерминированные вычисления. Классы NP и Σ₁
Нет описания правки
+231
Обсуждение:Классы NC и AC
Теорема
29 апреля 2012
Обсуждение:Теорема Карпа — Липтона
Доказательство
Теорема Карпа — Липтона
Оформление и мелочи
-6
Обсуждение:Недетерминированные вычисления. Классы NP и Σ₁
Нет описания правки
+548
Обсуждение:Теорема Бейкера — Гилла — Соловэя
Последствия: Новая тема
+208
Обсуждение:Теорема Бейкера — Гилла — Соловэя
Нет описания правки
+636
Обсуждение:Теорема Бейкера — Гилла — Соловэя
Вторая часть доказательства: Новая тема
+640
Теорема Бейкера — Гилла — Соловэя
Вторая часть доказательства
-209
Обсуждение:Теорема Бейкера — Гилла — Соловэя
Первая часть доказательства: Новая тема
+231
Теорема Бейкера — Гилла — Соловэя
Первая часть доказательства
-66
Теорема Бейкера — Гилла — Соловэя
Тире в техе
мОбсуждение:Теорема Бермана — Форчуна
Нет описания правки
+398
24 апреля 2012
Обсуждение:Сложностные классы. Вычисления с оракулом
Новая страница: «ЭТО КАПЕЦ ~~~~»
Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи
Банальный пример сведения по Карпу
-16
Обсуждение:Теорема Бейкера — Гилла — Соловэя
Нет описания правки
+1312
23 апреля 2012
Обсуждение:Теорема Бейкера — Гилла — Соловэя
Новая страница: «Во-первых, тебе не повезло: я думал, какой бы конспект почитать, ткнул наугад и попал в тво...»
Обсуждение:Недетерминированные вычисления. Классы NP и Σ₁
Нет описания правки
+482
Обсуждение:Недетерминированные вычисления. Классы NP и Σ₁
Нет описания правки
+152
Обсуждение:Недетерминированные вычисления. Классы NP и Σ₁
Нет описания правки
+472
16 апреля 2012
9 апреля 2012
Класс P
Правки Ulyantsev (обсуждение) откачены к версии 192.168.0.2
м-87
Шаблон:Утверждение
Нет описания правки
Заглавная страница
Нет описания правки
-181
Теория сложности
Нет описания правки
+210
31 марта 2012
Заглавная страница
Защищена страница «Заглавная страница»: Nyan! Nyan nyan nyan! ([edit=sysop] (истекает 20:36, 1 апреля 2012 (UTC)) [move=sysop] (истекает 20:36, 1 апреля 2012 (UTC)))
мЗаглавная страница
Nyan, nyan!
-1777
Файл:NyanCat.png
Nyan cat!
24 января 2012
Иммунные и простые множества
Нет описания правки
+24
Автоматы с магазинной памятью
Нет описания правки
-54
Алгоритм Эрли
упс
+60
Алгоритм Эрли
Алгоритм Эрли
м+2
Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики
(Отмена правки 17695) Ладно, хрен с тобой
+1094
Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики
Время работы для однозначной грамматики
-1094
Хеширование
Хеш - таблица
м-2
Алгоритм Эрли
Алгоритм Эрли
+625
Алгоритм Эрли
Алгоритм Эрли
-19
Алгоритм Эрли
Алгоритм Эрли
+487
Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики
Нет описания правки
21 января 2012
Теория формальных языков
Нет описания правки
+40
Основные определения: алфавит, слово, язык, конкатенация, свободный моноид слов
переименовал Основные определения: алфавит, слово, язык, конкатенация, свободный моноид слов в [[Основные определения: алфавит, слово, ...
Основные определения: алфавит, слово, язык, конкатенация, свободный моноид слов; операции над языками
переименовал Основные определения: алфавит, слово, язык, конкатенация, свободный моноид слов в [[Основные определения: алфавит, слово, ...
мТеория формальных языков
Влито в основные определения
-165
Конкурс для более удачного URL сайта вики-конспектов
Варианты
+110
Обсуждение:Конкурс для более удачного URL сайта вики-конспектов
Новая страница: «== Поддомен == А есть вариант заиметь поддомен и вообще избавиться от этой средней части? ~~~»
Основные определения: алфавит, слово, язык, конкатенация, свободный моноид слов; операции над языками
Конкатенация с обратными
+153
Замкнутость регулярных языков относительно различных операций
Нет описания правки
+2
Основные определения: алфавит, слово, язык, конкатенация, свободный моноид слов; операции над языками
Примеры
+1966
Детерминированные конечные автоматы
Автоматные языки: разбил определение на два
+42
