Страницы, ссылающиеся на «Шаблон:Лемма»
Следующие страницы ссылаются на «Шаблон:Лемма»:
Просмотреть (предыдущие 250 | следующие 250) (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-полных языков (включение) (← ссылки)
- 1outtreesumwc (включение) (← ссылки)
- Участник:Yulya3102/Матан/Определения (включение) (← ссылки)
- Участник:Yulya3102/Матан3сем (включение) (← ссылки)
- Метод проталкивания предпотока (включение) (← ссылки)
- Алгоритм Ху-Таккера (включение) (← ссылки)
- Схема Бернулли (включение) (← ссылки)
- Алгоритм "поднять-в-начало" (включение) (← ссылки)
- Теорема Брукса (включение) (← ссылки)
- Верхняя оценка хроматического числа длиной нечётного цикла (включение) (← ссылки)
- Гильбертовы пространства (включение) (← ссылки)
- Теоретический минимум по функциональному анализу за 5 семестр (включение) (← ссылки)
- Верхние и нижние оценки хроматического числа (включение) (← ссылки)
- Лемма Бёрнсайда и Теорема Пойа (включение) (← ссылки)
- Алгоритм Каргера для нахождения минимального разреза (включение) (← ссылки)
- Сортировка Шелла (включение) (← ссылки)
- Левосторонняя куча (включение) (← ссылки)
- F2Cmax (включение) (← ссылки)
- Участник:Kabanov (включение) (← ссылки)
- Собственные векторы и собственные значения (включение) (← ссылки)
- Обратная матрица (включение) (← ссылки)
- Метрические, нормированные и евклидовы пространства (включение) (← ссылки)
- Алгебра скалярных полиномов (включение) (← ссылки)
- Ортогональность (включение) (← ссылки)
- Инвариантные подпространства (включение) (← ссылки)
- Ядро и образ линейного оператора (включение) (← ссылки)
- Ортогональные системы векторов (включение) (← ссылки)
- Пространство линейных операторов (включение) (← ссылки)
- Ортогональная сумма подпространств. Ортогональный проектор. (включение) (← ссылки)
- Ортогональная сумма подпространств. Ортогональный проектор. Задача о перпендикуляре (включение) (← ссылки)
- Метрический тензор (включение) (← ссылки)
- Алгебра операторных полиномов (включение) (← ссылки)
- Ультраинвариантные подпространства (включение) (← ссылки)
- Определитель линейного оператора. Внешняя степень оператора. (включение) (← ссылки)
- Алгебра (включение) (← ссылки)
- Унитарный и ортогональный операторы (включение) (← ссылки)
- Минимальный полином и инвариантные подпространства (включение) (← ссылки)
- Ковариантность и контравариантность (включение) (← ссылки)
- Тензор (включение) (← ссылки)
- Независимость определителя оператора от базиса. Теорема умножения определителей. (включение) (← ссылки)
- Cпектральный анализ линейного оператора с простым спектром (включение) (← ссылки)
- Независимость определителя оператора от базиса. Теорема умножения определителей (включение) (← ссылки)
- J2ni2Cmax (включение) (← ссылки)
- Алгоритм Балабана (включение) (← ссылки)
- Алгоритм нахождения Гамильтонова цикла в условиях теорем Дирака и Оре (включение) (← ссылки)
- Алгоритм Левита (включение) (← ссылки)
- Простейшие методы синтеза схем из функциональных элементов (включение) (← ссылки)
- Эвристики для поиска кратчайших путей (включение) (← ссылки)
- Хроматическое число планарного графа (включение) (← ссылки)
- Теорема Татта о существовании полного паросочетания (включение) (← ссылки)
- Декомпозиция Эдмондса-Галлаи (включение) (← ссылки)
- Многочлен Татта (включение) (← ссылки)
- Числа Эйлера I и II рода (включение) (← ссылки)
- Теорема Гринберга (включение) (← ссылки)
- Неразрешимость задачи об эквивалентности КС-грамматик (включение) (← ссылки)
- Пересечение полуплоскостей, связь с выпуклыми оболочками (включение) (← ссылки)
- Visibility graph и motion planning (включение) (← ссылки)
- Квадродеревья (включение) (← ссылки)
- Теория Рамсея (включение) (← ссылки)
- Пересечение многоугольников (PSLG overlaying) (включение) (← ссылки)
- Пересечение множества отрезков (включение) (← ссылки)
- Skip quadtree: определение, время работы (включение) (← ссылки)
- Задача об устойчивом паросочетании (включение) (← ссылки)
- Минимальная охватывающая окружность множества точек (включение) (← ссылки)
- Диаграмма Вороного (включение) (← ссылки)
- Триангуляция Делоне (включение) (← ссылки)
- Пересечение отрезков и поворот: определение, свойства, вычисление (включение) (← ссылки)
- Выпуклая оболочка в n-мерном пространстве (включение) (← ссылки)
- Пересечение прямоугольника с множеством непересекающихся отрезков (segment tree) (включение) (← ссылки)
- Straight skeleton (включение) (← ссылки)
- Регулярная аппроксимация КС-языков (включение) (← ссылки)
- К-d деревья и перечисление точек в произвольном прямоугольнике (статика) (включение) (← ссылки)
- Пересечение отрезков на сфере (включение) (← ссылки)
- СНМ с операцией удаления за О(1) (включение) (← ссылки)
- Декомпозиция Линдона (включение) (← ссылки)
- Алгоритм МакКрейта (включение) (← ссылки)
- Алгоритм Крочемора (включение) (← ссылки)
- Link-Cut Tree (включение) (← ссылки)
- Алгоритм Ландау-Шмидта (включение) (← ссылки)
- Построение FIRST и FOLLOW (включение) (← ссылки)
- Числа Каталана (включение) (← ссылки)
- Участник:ZeRoGerc (включение) (← ссылки)
- Нормальная форма Куроды (включение) (← ссылки)
- Теоретико-множественные операции над графами (включение) (← ссылки)
- BSP-дерево (включение) (← ссылки)
- Участник:Dominica (включение) (← ссылки)
- Аксиоматизация матроида рангами (включение) (← ссылки)
- Heavy-light декомпозиция (включение) (← ссылки)
- LR(1)-разбор (включение) (← ссылки)
- 1ripipsumwu (включение) (← ссылки)
- Участник:Iloskutov/Матан 4сем (включение) (← ссылки)
- Гамма-алгоритм (включение) (← ссылки)
- Дек (включение) (← ссылки)
- Теорема Гуйя-Ури (включение) (← ссылки)
- Участник:Qtr (включение) (← ссылки)
- Совершенное паросочетание в кубическом графе (включение) (← ссылки)
- Rake-Compress деревья (включение) (← ссылки)
- Участник:Svetomsk (включение) (← ссылки)
- Opij1di (включение) (← ссылки)
- Pintreepi1Lmax (включение) (← ссылки)
- 1ripi1sumf (включение) (← ссылки)
- QpmtnSumCi (включение) (← ссылки)
- 1ripippmtnsumwu (включение) (← ссылки)
- 1sumwu (включение) (← ссылки)
- PSumCi (включение) (← ссылки)
- Opij1SumTi (включение) (← ссылки)
- 1sumwT (включение) (← ссылки)
- Арифметические функции и отношения. Их выразимость в формальной арифметике (включение) (← ссылки)
- Триангуляция Делоне на сфере (включение) (← ссылки)
- Триангуляция Делоне на Сфере (включение) (← ссылки)
- Аффинное пространство (включение) (← ссылки)
- Теорема Парика (включение) (← ссылки)
- Алгоритм отмены цикла минимального среднего веса (включение) (← ссылки)
- Разрез в планарных графах (включение) (← ссылки)
- Эквивалентность ДМП-автоматов (включение) (← ссылки)
- Участник:Zerogerc (включение) (← ссылки)
- Арифметические действия с формальными степенными рядами (включение) (← ссылки)
- Произведение Адамара рациональных производящих функций (включение) (← ссылки)
- Centroid decomposition (включение) (← ссылки)
- Теорема Татта о существовании регулярного графа заданного размера с заданным обхватом (включение) (← ссылки)
- Рёберная раскраска двудольного графа (включение) (← ссылки)
- Панциклический граф (включение) (← ссылки)
- Графы де Брюина (включение) (← ссылки)
- Барицентр дерева (включение) (← ссылки)
- Конструирование комбинаторных объектов и их подсчёт (включение) (← ссылки)
- Теорема Турана об экстремальном графе (включение) (← ссылки)
- Асимптотика гипергеометрических последовательностей (включение) (← ссылки)
- Использование производящих функций для доказательства тождеств (включение) (← ссылки)
- Выражение функции XOR через медианы (включение) (← ссылки)
- Методы получения случайных комбинаторных объектов (включение) (← ссылки)
- Граница Чернова (включение) (← ссылки)
- Случайные графы (включение) (← ссылки)
- Обсуждение:Лемма Бёрнсайда и Теорема Пойа (включение) (← ссылки)
- Дополнение к ранжированию (включение) (← ссылки)
- Теорема о гигантской компоненте. Поиск в ширину в случайном графе (включение) (← ссылки)
- Теорема о существовании порога для монотонных свойств (включение) (← ссылки)
- Обсуждение участника:Sancho20021 (включение) (← ссылки)
- Нижняя оценка размера схем из функциональных элементов (включение) (← ссылки)
- Обсуждение участника:178.70.143.94 (включение) (← ссылки)
- Теорема Самнера — Лас Вергнаса (WIP) (включение) (← ссылки)
- Участник:Masha (включение) (← ссылки)
- Теорема Самнера — Лас Вергнаса (включение) (← ссылки)
- Участник:AntonM3135 (включение) (← ссылки)
- Участник:Maxlih (включение) (← ссылки)
- Участник:Feorge (включение) (← ссылки)
- Обсуждение участника:Капелюшок Георгий Александрович (включение) (← ссылки)
- Обнаружение и исправление ошибок кодирования (включение) (← ссылки)