Вклад участника

Nikita.Ofitserov

24 января 2012

Интерпретация булевых формул с кванторами как игр для двух игроков
правописание
05:15
+2
Несовпадение класса языков, распознаваемых ДМП автоматами и произвольными МП автоматами
исправлена вёрстка
01:36
-1
Несовпадение класса языков, распознаваемых ДМП автоматами и произвольными МП автоматами
добавлено доказательство не-КС языка
01:35
+865

7 декабря 2011

28 ноября 2011

Алгоритм Кока-Янгера-Касами, модификация для произвольной грамматики
пофиксил баг
22:36
-59

9 ноября 2011

29 июня 2011

28 июня 2011

14 июня 2011

7 июня 2011

Алгоритмы и структуры данных
‎Матроиды
20:23
+82

8 мая 2011

25 января 2011

Обсуждение:Паросочетания: основные определения, теорема о максимальном паросочетании и дополняющих цепях
Новая страница: «== Вопрос == Почему отменили правку, убирающую 3 лишних определения перед доказательством? И…»
18:19

Вклад участника

Nikita.Ofitserov

24 января 2012

Интерпретация булевых формул с кванторами как игр для двух игроков

Несовпадение класса языков, распознаваемых ДМП автоматами и произвольными МП автоматами

Несовпадение класса языков, распознаваемых ДМП автоматами и произвольными МП автоматами

7 декабря 2011

Несовпадение класса языков, распознаваемых ДМП автоматами и произвольными МП автоматами

Несовпадение класса языков, распознаваемых ДМП автоматами и произвольными МП автоматами

Несовпадение класса языков, распознаваемых ДМП автоматами и произвольными МП автоматами

Файл:Pda 2.png

Файл:Pda 1.png

Алгоритм Кока-Янгера-Касами, модификация для произвольной грамматики

28 ноября 2011

Алгоритм Кока-Янгера-Касами, модификация для произвольной грамматики

9 ноября 2011

Алгоритм Кока-Янгера-Касами, модификация для произвольной грамматики

Алгоритм Кока-Янгера-Касами, модификация для произвольной грамматики

Алгоритм Кока-Янгера-Касами, модификация для произвольной грамматики

Алгоритм Кока-Янгера-Касами, модификация для произвольной грамматики

Алгоритм Кока-Янгера-Касами, модификация для произвольной грамматики

29 июня 2011

Алгоритм Касаи и др.

Жадный алгоритм поиска базы минимального веса

Теорема Радо-Эдмондса (жадный алгоритм)

Теорема Эдмондса-Лоулера

28 июня 2011

Алгоритм цифровой сортировки

Алгоритм цифровой сортировки

Построение суффиксного массива с помощью стандартных методов сортировки

Суффиксный массив

Сведение задачи RMQ к задаче LCA

Алгоритм Фарака-Колтона и Бендера

Решение RMQ с помощью разреженной таблицы

Сведение задачи LCA к задаче RMQ

Метод двоичного подъёма

Алгоритм Укконена

Сжатое суффиксное дерево

Сжатое суффиксное дерево

14 июня 2011

Теорема Эдмондса-Лоулера

Файл:El graph2.png

Файл:El graph.png

Теорема Эдмондса-Лоулера

Доказательство теоремы Эдмондса-Лоулера

Доказательство теоремы Эдмондса-Лоулера

Файл:El lemma2.png

7 июня 2011

Алгоритмы и структуры данных

8 мая 2011

Решение RMQ с помощью разреженной таблицы

Файл:SparseTableRMQ.png

Решение RMQ с помощью разреженной таблицы

25 января 2011

Обсуждение:Паросочетания: основные определения, теорема о максимальном паросочетании и дополняющих цепях

8 декабря 2010

Алгоритм Прима

Алгоритм Прима

Алгоритм Прима

Алгоритм Прима

27 октября 2010

Формула Зыкова

26 октября 2010

Формула Зыкова

Формула Зыкова

Навигация

Поиск