Страницы, ссылающиеся на «Шаблон:Лемма»
Следующие страницы ссылаются на «Шаблон:Лемма»:
Просмотреть (предыдущие 100 | следующие 100) (20 | 50 | 100 | 250 | 500)- Теоремы о коллапсе полиномиальной иерархии (включение) (← ссылки)
- Теорема Иммермана (включение) (← ссылки)
- Теорема Лаутемана (включение) (← ссылки)
- Семейство универсальных попарно независимых хеш-функций (включение) (← ссылки)
- Теорема Махэни (включение) (← ссылки)
- Функциональный анализ (включение) (← ссылки)
- Цепные дроби как приближение к числу (включение) (← ссылки)
- Теорема о цикличности мультипликативной группы поля Z/pZ (включение) (← ссылки)
- Уравнение Пелля (включение) (← ссылки)
- Вычисление порядка перестановки в группе перестановок (включение) (← ссылки)
- Натуральные числа (включение) (← ссылки)
- Наибольший общий делитель (включение) (← ссылки)
- Основная теорема арифметики (включение) (← ссылки)
- Представление простых в виде суммы двух квадратов (включение) (← ссылки)
- Свойства цепных дробей (включение) (← ссылки)
- Контексты и синтаксические моноиды (включение) (← ссылки)
- Детерминированные конечные автоматы (включение) (← ссылки)
- Эквивалентность состояний ДКА (включение) (← ссылки)
- Лемма о рукопожатиях (включение) (← ссылки)
- Теорема о существовании простого цикла в случае существования цикла (включение) (← ссылки)
- Точка сочленения, эквивалентные определения (включение) (← ссылки)
- Граф блоков-точек сочленения (включение) (← ссылки)
- Коды Прюфера (включение) (← ссылки)
- Доказательство нерегулярности языков: лемма о разрастании (включение) (← ссылки)
- Граф компонент рёберной двусвязности (включение) (← ссылки)
- Связь матрицы Кирхгофа и матрицы инцидентности (включение) (← ссылки)
- Циклическое пространство графа (включение) (← ссылки)
- Теорема Менгера (включение) (← ссылки)
- Подсчёт числа остовных деревьев с помощью матрицы Кирхгофа (включение) (← ссылки)
- Алгоритм построения Эйлерова цикла (включение) (← ссылки)
- Неукорачивающие и контекстно-зависимые грамматики, эквивалентность (включение) (← ссылки)
- Лемма Гаусса для вычисления квадратичного характера числа по простому модулю (включение) (← ссылки)
- Теорема Хватала (включение) (← ссылки)
- Удаление бесполезных символов из грамматики (включение) (← ссылки)
- Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора (включение) (← ссылки)
- Алгоритм Хаффмана (включение) (← ссылки)
- Теорема Понтрягина-Куратовского (включение) (← ссылки)
- Укладка графа с планарными компонентами рёберной двусвязности (включение) (← ссылки)
- Укладка графа с планарными компонентами вершинной двусвязности (включение) (← ссылки)
- Алгоритм Джонсона (включение) (← ссылки)
- Приближение непрерывной функции полиномами на отрезке (включение) (← ссылки)
- Лемма о белых путях (включение) (← ссылки)
- Алгоритм Форда-Беллмана (включение) (← ссылки)
- Неотделимые множества (включение) (← ссылки)
- Коды Грея для перестановок (включение) (← ссылки)
- Теорема о рекурсии (включение) (← ссылки)
- Использование обхода в глубину для поиска мостов (включение) (← ссылки)
- Иммунные и простые множества (включение) (← ссылки)
- Разрез, лемма о потоке через разрез (включение) (← ссылки)
- Задача об оптимальном префиксном коде с сохранением порядка. Монотонность точки разреза (включение) (← ссылки)
- Умножение перестановок, обратная перестановка, группа перестановок (включение) (← ссылки)
- Сложение и разность потоков (включение) (← ссылки)
- Алгоритм Эдмондса-Карпа (включение) (← ссылки)
- Энтропия случайного источника (включение) (← ссылки)
- Примеры неразрешимых задач: проблема соответствий Поста (включение) (← ссылки)
- Теоремы Карзанова о числе итераций алгоритма Диница в сети с целочисленными пропускными способностями (включение) (← ссылки)
- Марковская цепь (включение) (← ссылки)
- Алгоритм масштабирования потока (включение) (← ссылки)
- Регулярная марковская цепь (включение) (← ссылки)
- Алгоритм двух китайцев (включение) (← ссылки)
- Теорема Форда-Фалкерсона о потоке минимальной стоимости (включение) (← ссылки)
- Поиск потока минимальной стоимости методом дополнения вдоль путей минимальной стоимости (включение) (← ссылки)
- Лемма об эквивалентности свойства-потока быть минимальной стоимости и отсутствии отрицательных циклов в остаточной сети (включение) (← ссылки)
- Лемма об эквивалентности свойства потока быть минимальной стоимости и отсутствии отрицательных циклов в остаточной сети (включение) (← ссылки)
- Венгерский алгоритм решения задачи о назначениях (включение) (← ссылки)
- Использование обхода в глубину для топологической сортировки (включение) (← ссылки)
- Двоичная куча (включение) (← ссылки)
- Алгоритм Укконена (включение) (← ссылки)
- АВЛ-дерево (включение) (← ссылки)
- Сжатое суффиксное дерево (включение) (← ссылки)
- Декартово дерево (включение) (← ссылки)
- Splay-дерево (включение) (← ссылки)
- Степенные ряды (включение) (← ссылки)
- Линейные операторы в нормированных пространствах (включение) (← ссылки)
- Дерево Фенвика (включение) (← ссылки)
- Алгоритм Касаи и др. (включение) (← ссылки)
- Оператор замыкания для матроидов (включение) (← ссылки)
- Фибоначчиева куча (включение) (← ссылки)
- Лемма о единственном паросочетании в подграфе замен, индуцированном кратчайшим путем (включение) (← ссылки)
- Ранговая функция, полумодулярность (включение) (← ссылки)
- Красно-черное дерево (включение) (← ссылки)
- Объединение матроидов, проверка множества на независимость (включение) (← ссылки)
- 0-1 принцип (включение) (← ссылки)
- Распространение интеграла на произвольные ограниченные фигуры (включение) (← ссылки)
- Объединение матроидов, доказательство того, что объединение является матроидом (включение) (← ссылки)
- Быстрая сортировка (включение) (← ссылки)
- Доказательство теоремы Эдмондса-Лоулера (включение) (← ссылки)
- Лемма о единственном паросочетании в графе замен (включение) (← ссылки)
- Сеть Бетчера (включение) (← ссылки)
- Теоретический минимум по математическому анализу за 2 семестр (включение) (← ссылки)
- Алгоритм построения базы в пересечении матроидов (включение) (← ссылки)
- Граф замен (включение) (← ссылки)
- Мера на полукольце множеств (включение) (← ссылки)
- Теорема Менгера, альтернативное доказательство (включение) (← ссылки)
- Минимизация ДКА, алгоритм Хопкрофта (сложность O(n log n)) (включение) (← ссылки)
- Adaptive precision arithmetic (включение) (← ссылки)
- Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики (включение) (← ссылки)
- Лемма о разрастании для КС-грамматик (включение) (← ссылки)
- Лемма Огдена (включение) (← ссылки)
- Классические теоремы теории измеримых функций (включение) (← ссылки)