Вклад участника
24 марта 2012
АВЛ-дерево
Нет описания правки
-121
Красно-черное дерево
Нет описания правки
-502
Красно-черное дерево
Высота красно-черного дерева
-19
22 марта 2012
Красно-черное дерево
Объединение красно-чёрных деревьев
+105
СНМ(списки с весовой эвристикой)
Перенаправление на СНМ (списки с весовой эвристикой)
-7783
20 марта 2012
19 марта 2012
СНМ (списки с весовой эвристикой)
Доказательство оценки времени выполнения
+3
СНМ (списки с весовой эвристикой)
Реализация с весовой эвристикой
+1
СНМ (списки с весовой эвристикой)
Нет описания правки
-1
СНМ (списки с весовой эвристикой)
Проблема наивной реализации
+5
СНМ (списки с весовой эвристикой)
Определение
+1
Теорема Понтрягина-Куратовского
Нет описания правки
-4
Теорема Понтрягина-Куратовского
Нет описания правки
-869
18 марта 2012
Предикат "левый поворот"
Нет описания правки
+250
СНМ (списки с весовой эвристикой)
Нет описания правки
+15
СНМ (списки с весовой эвристикой)
Новая страница: «== Определение == {{Определение| definition = '''Весовая эвристика'''(weighted-union heuristic) {{ --- }} улучшени...»
Дискретная математика, алгоритмы и структуры данных
Система непересекающихся множеств
+1
СНМ(списки с весовой эвристикой)
Нет описания правки
+150
СНМ(списки с весовой эвристикой)
Определение
+8
СНМ(списки с весовой эвристикой)
Проблема наивной реализации
+2
СНМ(списки с весовой эвристикой)
Доказательство оценки времени выполнения
-66
СНМ(списки с весовой эвристикой)
Источники
+143
СНМ(списки с весовой эвристикой)
Нет описания правки
+2
17 марта 2012
СНМ(списки с весовой эвристикой)
Нет описания правки
+74
СНМ(списки с весовой эвристикой)
Нет описания правки
+181
14 марта 2012
10 марта 2012
Связь вершинного покрытия и независимого множества
Нет описания правки
+95
Связь максимального паросочетания и минимального вершинного покрытия в двудольных графах
Нет описания правки
+313
6 марта 2012
2 марта 2012
Теорема о существовании простого цикла в случае существования цикла
Нет описания правки
+93
Теорема о существовании простого пути в случае существования пути
Теорема о существовании простого пути в случае существования пути
-45
Теорема о существовании простого пути в случае существования пути
Теорема о существовании простого пути в случае существования пути
-52
Теорема о существовании простого пути в случае существования пути
Теорема о существовании простого пути в случае существования пути
-142
Теорема о существовании простого пути в случае существования пути
Определения
-144
Существенно неоднозначные языки
Нет описания правки
+157
Лемма Огдена
Нет описания правки
+157
Несовпадение класса языков, распознаваемых ДМП автоматами и произвольными МП автоматами
Нет описания правки
+157
Детерминированные автоматы с магазинной памятью, допуск по пустому стеку
Нет описания правки
+157
Детерминированные автоматы с магазинной памятью
Нет описания правки
+157
Совпадение множества языков МП-автоматов и контекстно-свободных языков
Нет описания правки
+157
МП-автоматы, допуск по пустому стеку и по допускающему состоянию, эквивалентность
Нет описания правки
+157
Автоматы с магазинной памятью
Нет описания правки
+157
Лемма о разрастании для КС-грамматик
Нет описания правки
+157
Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики
Нет описания правки
+157
Алгоритм Эрли
Нет описания правки
+157
Алгоритм Кока-Янгера-Касами, модификация для произвольной грамматики
Нет описания правки
+157
Алгоритм Кока-Янгера-Касами разбора грамматики в НФХ
Нет описания правки
+156
Приведение грамматики к ослабленной нормальной форме Грейбах
Нет описания правки
+157
Устранение левой рекурсии
Нет описания правки
+157
Нормальная форма Хомского
Нет описания правки
+157
