Страницы, ссылающиеся на «Шаблон:Лемма»
Следующие страницы ссылаются на «Шаблон:Лемма»:
Просмотреть (предыдущие 100 | следующие 100) (20 | 50 | 100 | 250 | 500)- Разрез, лемма о потоке через разрез (включение) (← ссылки)
- Задача об оптимальном префиксном коде с сохранением порядка. Монотонность точки разреза (включение) (← ссылки)
- Умножение перестановок, обратная перестановка, группа перестановок (включение) (← ссылки)
- Сложение и разность потоков (включение) (← ссылки)
- Алгоритм Эдмондса-Карпа (включение) (← ссылки)
- Энтропия случайного источника (включение) (← ссылки)
- Примеры неразрешимых задач: проблема соответствий Поста (включение) (← ссылки)
- Теоремы Карзанова о числе итераций алгоритма Диница в сети с целочисленными пропускными способностями (включение) (← ссылки)
- Марковская цепь (включение) (← ссылки)
- Алгоритм масштабирования потока (включение) (← ссылки)
- Регулярная марковская цепь (включение) (← ссылки)
- Алгоритм двух китайцев (включение) (← ссылки)
- Теорема Форда-Фалкерсона о потоке минимальной стоимости (включение) (← ссылки)
- Поиск потока минимальной стоимости методом дополнения вдоль путей минимальной стоимости (включение) (← ссылки)
- Лемма об эквивалентности свойства-потока быть минимальной стоимости и отсутствии отрицательных циклов в остаточной сети (включение) (← ссылки)
- Лемма об эквивалентности свойства потока быть минимальной стоимости и отсутствии отрицательных циклов в остаточной сети (включение) (← ссылки)
- Венгерский алгоритм решения задачи о назначениях (включение) (← ссылки)
- Использование обхода в глубину для топологической сортировки (включение) (← ссылки)
- Двоичная куча (включение) (← ссылки)
- Алгоритм Укконена (включение) (← ссылки)
- АВЛ-дерево (включение) (← ссылки)
- Сжатое суффиксное дерево (включение) (← ссылки)
- Декартово дерево (включение) (← ссылки)
- Splay-дерево (включение) (← ссылки)
- Степенные ряды (включение) (← ссылки)
- Линейные операторы в нормированных пространствах (включение) (← ссылки)
- Дерево Фенвика (включение) (← ссылки)
- Алгоритм Касаи и др. (включение) (← ссылки)
- Оператор замыкания для матроидов (включение) (← ссылки)
- Фибоначчиева куча (включение) (← ссылки)
- Лемма о единственном паросочетании в подграфе замен, индуцированном кратчайшим путем (включение) (← ссылки)
- Ранговая функция, полумодулярность (включение) (← ссылки)
- Красно-черное дерево (включение) (← ссылки)
- Объединение матроидов, проверка множества на независимость (включение) (← ссылки)
- 0-1 принцип (включение) (← ссылки)
- Распространение интеграла на произвольные ограниченные фигуры (включение) (← ссылки)
- Объединение матроидов, доказательство того, что объединение является матроидом (включение) (← ссылки)
- Быстрая сортировка (включение) (← ссылки)
- Доказательство теоремы Эдмондса-Лоулера (включение) (← ссылки)
- Лемма о единственном паросочетании в графе замен (включение) (← ссылки)
- Сеть Бетчера (включение) (← ссылки)
- Теоретический минимум по математическому анализу за 2 семестр (включение) (← ссылки)
- Алгоритм построения базы в пересечении матроидов (включение) (← ссылки)
- Граф замен (включение) (← ссылки)
- Мера на полукольце множеств (включение) (← ссылки)
- Теорема Менгера, альтернативное доказательство (включение) (← ссылки)
- Минимизация ДКА, алгоритм Хопкрофта (сложность O(n log n)) (включение) (← ссылки)
- Adaptive precision arithmetic (включение) (← ссылки)
- Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики (включение) (← ссылки)
- Лемма о разрастании для КС-грамматик (включение) (← ссылки)
- Лемма Огдена (включение) (← ссылки)
- Классические теоремы теории измеримых функций (включение) (← ссылки)
- Вычислимые функции (включение) (← ссылки)
- Несовпадение класса языков, распознаваемых ДМП автоматами и произвольными МП автоматами (включение) (← ссылки)
- Разрешимые (рекурсивные) языки (включение) (← ссылки)
- Определение интеграла Лебега (включение) (← ссылки)
- M-сводимость (включение) (← ссылки)
- Классические теоремы о предельном переходе под знаком интеграла Лебега (включение) (← ссылки)
- Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ (включение) (← ссылки)
- Теорема Фубини (включение) (← ссылки)
- Теоретический минимум по математическому анализу за 3 семестр (включение) (← ссылки)
- Теорема Райса-Шапиро (включение) (← ссылки)
- Лемма о дедукции, полнота исчисления высказываний (включение) (← ссылки)
- Теории первого порядка (включение) (← ссылки)
- 1я и 2я теоремы Геделя о неполноте арифметики (включение) (← ссылки)
- Теория множеств (включение) (← ссылки)
- Обсуждение:Теории первого порядка (включение) (← ссылки)
- Возможность порождения формальной грамматикой произвольного перечислимого языка (включение) (← ссылки)
- Линейный клеточный автомат, эквивалентность МТ (включение) (← ссылки)
- Участница:Katyatitkova/Матан (включение) (← ссылки)
- Трапецоидная карта (включение) (← ссылки)
- Слово Фибоначчи (включение) (← ссылки)
- Период и бордер, их связь (включение) (← ссылки)
- Участник:Yulya3102/Матан (включение) (← ссылки)
- Теорема Бермана — Форчуна (включение) (← ссылки)
- Схемная сложность и класс P/poly (включение) (← ссылки)
- Примеры NP-полных языков. Теорема Кука (включение) (← ссылки)
- Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи (включение) (← ссылки)
- Теорема Карпа — Липтона (включение) (← ссылки)
- PS-полнота языка верных булевых формул с кванторами (TQBF) (включение) (← ссылки)
- Рандомизированное бинарное дерево поиска (включение) (← ссылки)
- Участник:Muravyov (включение) (← ссылки)
- Классы L, NL, coNL. NL-полнота задачи о достижимости (включение) (← ссылки)
- Триангуляция полигонов (ушная + монотонная) (включение) (← ссылки)
- Лемма Римана-Лебега (включение) (← ссылки)
- Теорема о непринадлежности XOR классу AC⁰ (включение) (← ссылки)
- Лемма о соотношении coNP и IP (включение) (← ссылки)
- Арифметизация булевых формул с кванторами (включение) (← ссылки)
- 1precpmtnrifmax (включение) (← ссылки)
- PCP-теорема (включение) (← ссылки)
- Теоретический минимум по математическому анализу за 4 семестр (включение) (← ссылки)
- Теорема о соотношении coNP и IP (включение) (← ссылки)
- Эквивалентность PCP-теоремы и теоремы о трудности аппроксимации (включение) (← ссылки)
- J2pij1Lmax (включение) (← ссылки)
- Сортировка Хана (включение) (← ссылки)
- Хеш-таблица (включение) (← ссылки)
- Эволюционные алгоритмы поиска эйлерова цикла в графе (включение) (← ссылки)
- Black-box Complexity. Примеры нереалистичных оценок Black-box Complexity (включение) (← ссылки)
- Алгоритмы точного вычисления гиперобъема (включение) (← ссылки)
- Примеры NP-полных языков (включение) (← ссылки)