Страницы, ссылающиеся на «Шаблон:Теорема»
Следующие страницы ссылаются на «Шаблон:Теорема»:
Просмотреть (предыдущие 500 | следующие 500) (20 | 50 | 100 | 250 | 500)- Теорема Понтрягина-Куратовского (включение) (← ссылки)
- Формула Эйлера (включение) (← ссылки)
- Непланарность K5 и K3,3 (включение) (← ссылки)
- Укладка графа с планарными компонентами рёберной двусвязности (включение) (← ссылки)
- Укладка графа на плоскости (включение) (← ссылки)
- Укладка графа с планарными компонентами вершинной двусвязности (включение) (← ссылки)
- Хроматический многочлен (включение) (← ссылки)
- Формула Зыкова (включение) (← ссылки)
- Формула Уитни (включение) (← ссылки)
- МП-автоматы, допуск по пустому стеку и по допускающему состоянию, эквивалентность (включение) (← ссылки)
- Преобразование Барроуза-Уилера (включение) (← ссылки)
- Формула включения-исключения (включение) (← ссылки)
- Комбинаторные объекты (включение) (← ссылки)
- Коды Грея (включение) (← ссылки)
- Множества (включение) (← ссылки)
- Модуль непрерывности функции (включение) (← ссылки)
- Задачи интерполирования функции (включение) (← ссылки)
- Выпуклые функции (включение) (← ссылки)
- Неравенства Гёльдера, Минковского (включение) (← ссылки)
- Дифференциал и производная (включение) (← ссылки)
- Алгоритм Джонсона (включение) (← ссылки)
- Теорема Кэли (включение) (← ссылки)
- Приближение непрерывной функции полиномами на отрезке (включение) (← ссылки)
- Метрическое пространство (включение) (← ссылки)
- Грани числовых множеств (включение) (← ссылки)
- Задача о минимуме/максимуме скалярного произведения (включение) (← ссылки)
- Предел отображения в метрическом пространстве (включение) (← ссылки)
- Формула Тейлора для полиномов (включение) (← ссылки)
- Формула Тейлора для произвольной функции (включение) (← ссылки)
- Алгоритм Форда-Беллмана (включение) (← ссылки)
- Задача о наибольшей общей подпоследовательности (включение) (← ссылки)
- Перечислимые языки (включение) (← ссылки)
- Задача о монотонных подпоследовательностях, теорема о связи длины НВП и НУП (включение) (← ссылки)
- Неотделимые множества (включение) (← ссылки)
- Использование обхода в глубину для поиска точек сочленения (включение) (← ссылки)
- Критерий Тарьяна минимальности остовного дерева (включение) (← ссылки)
- Свойства перечислимых языков. Теорема Успенского-Райса (включение) (← ссылки)
- Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций (включение) (← ссылки)
- Критерий существования определённого интеграла (включение) (← ссылки)
- Участник:System29a (включение) (← ссылки)
- Алгоритм Дейкстры (включение) (← ссылки)
- Остовные деревья: определения, лемма о безопасном ребре (включение) (← ссылки)
- Теорема о рекурсии (включение) (← ссылки)
- Использование обхода в глубину для поиска мостов (включение) (← ссылки)
- Формула полной вероятности (включение) (← ссылки)
- Связь максимального паросочетания и минимального вершинного покрытия в двудольных графах (включение) (← ссылки)
- Три основных теоремы о пределах (включение) (← ссылки)
- Главные нумерации (включение) (← ссылки)
- Иммунные и простые множества (включение) (← ссылки)
- Формула Байеса (включение) (← ссылки)
- Паросочетания: основные определения, теорема о максимальном паросочетании и дополняющих цепях (включение) (← ссылки)
- Интеграл с переменным верхним пределом (включение) (← ссылки)
- Алгоритм Куна для поиска максимального паросочетания (включение) (← ссылки)
- Матрица Татта и связь с размером максимального паросочетания в двудольном графе (включение) (← ссылки)
- Задача об оптимальном префиксном коде с сохранением порядка. Монотонность точки разреза (включение) (← ссылки)
- Стековые машины, эквивалентность двухстековой машины МТ (включение) (← ссылки)
- Теорема Хаусдорфа об ε-сетях (включение) (← ссылки)
- Теорема о декомпозиционном барьере (включение) (← ссылки)
- Алгоритм Эдмондса-Карпа (включение) (← ссылки)
- Теорема о декомпозиции (включение) (← ссылки)
- Теорема Форда-Фалкерсона (включение) (← ссылки)
- Обход в ширину (включение) (← ссылки)
- Связь вершинного покрытия и независимого множества (включение) (← ссылки)
- Энтропия случайного источника (включение) (← ссылки)
- Примеры неразрешимых задач: проблема соответствий Поста (включение) (← ссылки)
- Примеры неразрешимых задач: однозначность грамматики (включение) (← ссылки)
- Теоремы Карзанова о числе итераций алгоритма Диница в сети с целочисленными пропускными способностями (включение) (← ссылки)
- Алгоритм вырезания соцветий (включение) (← ссылки)
- Дисперсия случайной величины (включение) (← ссылки)
- Положительные ряды (включение) (← ссылки)
- Предел монотонных функций (включение) (← ссылки)
- Незнакопостоянные ряды (включение) (← ссылки)
- Арифметические действия с числовыми рядами (включение) (← ссылки)
- Участник:Rybak/Матан (включение) (← ссылки)
- Представление функции класса DM с помощью медианы (включение) (← ссылки)
- Классические теоремы дифференциального исчисления (включение) (← ссылки)
- Нахождение количества разбиений числа на слагаемые (включение) (← ссылки)
- Эргодическая марковская цепь (включение) (← ссылки)
- Регулярная марковская цепь (включение) (← ссылки)
- Совпадение множества языков МП-автоматов и контекстно-свободных языков (включение) (← ссылки)
- Алгоритм Эрли (включение) (← ссылки)
- Теорема Форда-Фалкерсона о потоке минимальной стоимости (включение) (← ссылки)
- Теорема о поглощении (включение) (← ссылки)
- Расчёт вероятности поглощения в состоянии (включение) (← ссылки)
- Поиск потока минимальной стоимости методом дополнения вдоль путей минимальной стоимости (включение) (← ссылки)
- Использование обхода в глубину для поиска компонент сильной связности (включение) (← ссылки)
- Ковариация случайных величин (включение) (← ссылки)
- Схема алгоритма Диница (включение) (← ссылки)
- Фундаментальная матрица (включение) (← ссылки)
- Примеры неразрешимых задач: задача о выводе в полусистеме Туэ (включение) (← ссылки)
- Арифметическое кодирование (включение) (← ссылки)
- Суммирование расходящихся рядов (включение) (← ссылки)
- Теоретический минимум по математическому анализу за 1 семестр (включение) (← ссылки)
- Использование обхода в глубину для топологической сортировки (включение) (← ссылки)
- Детерминированные автоматы с магазинной памятью, допуск по пустому стеку (включение) (← ссылки)
- Примеры неразрешимых задач: задача о замощении (включение) (← ссылки)
- B-дерево (включение) (← ссылки)
- Анализ реализации с ранговой эвристикой (включение) (← ссылки)
- Равномерная сходимость функционального ряда (включение) (← ссылки)
- Амортизационный анализ (включение) (← ссылки)
- АВЛ-дерево (включение) (← ссылки)
- СНМ (реализация с помощью леса корневых деревьев) (включение) (← ссылки)
- Сведение задачи LCA к задаче RMQ (включение) (← ссылки)
- Декартово дерево (включение) (← ссылки)
- Splay-дерево (включение) (← ссылки)
- Степенные ряды (включение) (← ссылки)
- Операции анализа с функциональными рядами (включение) (← ссылки)
- Нормированные пространства (включение) (← ссылки)
- Линейные операторы в нормированных пространствах (включение) (← ссылки)
- Встречное дерево Фенвика (включение) (← ссылки)
- Алгоритм Касаи и др. (включение) (← ссылки)
- Сведение задачи RMQ к задаче LCA (включение) (← ссылки)
- Теорема о базах (включение) (← ссылки)
- Оператор замыкания для матроидов (включение) (← ссылки)
- Теорема Эдмондса - Лоулера, формулировка, док-во в простую сторону (включение) (← ссылки)
- Двойственный матроид (включение) (← ссылки)
- Теорема Радо-Эдмондса (жадный алгоритм) (включение) (← ссылки)
- Теорема о циклах (включение) (← ссылки)
- Ранговая функция, полумодулярность (включение) (← ссылки)
- Идеальное хеширование (включение) (← ссылки)
- Красно-черное дерево (включение) (← ссылки)
- Объединение матроидов, проверка множества на независимость (включение) (← ссылки)
- 0-1 принцип (включение) (← ссылки)
- Дифференцируемые отображения в нормированных пространствах (включение) (← ссылки)
- Формула Тейлора для функций многих переменных (включение) (← ссылки)
- Безусловный экстремум функции многих переменных (включение) (← ссылки)
- Локальная теорема о неявном отображении (включение) (← ссылки)
- Распространение интеграла на произвольные ограниченные фигуры (включение) (← ссылки)
- Равномерная сходимость несобственных интегралов, зависящих от параметра (включение) (← ссылки)
- О замене переменной в интеграле многих переменных (включение) (← ссылки)
- Аксиоматизация матроида базами (включение) (← ссылки)
- Объединение матроидов, доказательство того, что объединение является матроидом (включение) (← ссылки)
- Сортирующие сети (включение) (← ссылки)
- Доказательство теоремы Эдмондса-Лоулера (включение) (← ссылки)
- Теорема о нижней оценке для сортировки сравнениями (включение) (← ссылки)
- Формулировки теорем 2 семестр (включение) (← ссылки)
- Теоретический минимум по математическому анализу за 2 семестр (включение) (← ссылки)
- Универсальное семейство хеш-функций (включение) (← ссылки)
- Дерево Фенвика для некоммутативных операций (включение) (← ссылки)
- Алгоритм построения базы в пересечении матроидов (включение) (← ссылки)
- Аксиоматизация матроида циклами (включение) (← ссылки)
- Алгоритм построения базы в объединении матроидов (включение) (← ссылки)
- Внешняя мера (включение) (← ссылки)
- Теорема Менгера, альтернативное доказательство (включение) (← ссылки)
- Мера, порождённая внешней мерой (включение) (← ссылки)
- Анализ свойств регулярных языков (пустота, совпадение, включение, конечность, подсчёт числа слов) (включение) (← ссылки)
- Минимизация ДКА, алгоритм Хопкрофта (сложность O(n log n)) (включение) (← ссылки)
- Adaptive precision arithmetic (включение) (← ссылки)
- Алгоритм A* (включение) (← ссылки)
- Неравенство Крафта (включение) (← ссылки)
- Неравенство Макмиллана (включение) (← ссылки)
- Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики (включение) (← ссылки)
- Отношение эквивалентности (включение) (← ссылки)
- Процесс Каратеодори (включение) (← ссылки)
- Объём n-мерного прямоугольника (включение) (← ссылки)
- Мера Лебега в R^n (включение) (← ссылки)
- Определение измеримой функции (включение) (← ссылки)
- Сходимость по мере (включение) (← ссылки)
- Классические теоремы теории измеримых функций (включение) (← ссылки)
- Вычислимые функции (включение) (← ссылки)
- Несовпадение класса языков, распознаваемых ДМП автоматами и произвольными МП автоматами (включение) (← ссылки)
- Диагональный метод (включение) (← ссылки)
- Определение интеграла Лебега (включение) (← ссылки)
- Некоторые элементарные свойства интеграла Лебега (включение) (← ссылки)
- Предельный переход под знаком интеграла Лебега (включение) (← ссылки)
- Неотрицательные суммируемые функции (включение) (← ссылки)
- Суммируемые функции произвольного знака (включение) (← ссылки)
- Классические теоремы о предельном переходе под знаком интеграла Лебега (включение) (← ссылки)
- Пространство L p(E) (включение) (← ссылки)
- Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ (включение) (← ссылки)
- Мера подграфика (включение) (← ссылки)
- Теорема Фубини (включение) (← ссылки)
- Теоретический минимум по математическому анализу за 3 семестр (включение) (← ссылки)
- Теорема Райса-Шапиро (включение) (← ссылки)
- Исчисление высказываний (включение) (← ссылки)
- Лемма о дедукции, полнота исчисления высказываний (включение) (← ссылки)
- Исчисление предикатов (включение) (← ссылки)
- Теории первого порядка (включение) (← ссылки)
- Математическое ожидание случайной величины (включение) (← ссылки)
- Секвенциальное и интуиционистское исчисление (включение) (← ссылки)
- Примитивно рекурсивные функции (включение) (← ссылки)
- Геделева нумерация. Арифметизация доказательств (включение) (← ссылки)
- 1я и 2я теоремы Геделя о неполноте арифметики (включение) (← ссылки)
- Теория множеств (включение) (← ссылки)
- Теоретический минимум по математической логике за 3 семестр (включение) (← ссылки)
- Возможность порождения формальной грамматикой произвольного перечислимого языка (включение) (← ссылки)
- Линейный клеточный автомат, эквивалентность МТ (включение) (← ссылки)
- Определения, 1 семестр, Кохась К.П. (включение) (← ссылки)
- Участница:Katyatitkova/Матан (включение) (← ссылки)
- Трапецоидная карта (включение) (← ссылки)
- Определение ряда Фурье (включение) (← ссылки)
- Наилучшее приближение в линейных нормированных пространствах (включение) (← ссылки)
- Слово Фибоначчи (включение) (← ссылки)
- Слово Туэ-Морса (включение) (← ссылки)
- Период и бордер, их связь (включение) (← ссылки)
- Транзитивный остов (включение) (← ссылки)
- Участник:Yulya3102/Матан (включение) (← ссылки)
- Теорема Бермана — Форчуна (включение) (← ссылки)
- Теоремы о временной и ёмкостной иерархиях (включение) (← ссылки)
- Классы PH, Σ и Π (включение) (← ссылки)
- Схемная сложность и класс P/poly (включение) (← ссылки)
- Примеры NP-полных языков. Теорема Кука (включение) (← ссылки)
- Классы NC и AC (включение) (← ссылки)
- Теорема Бейкера — Гилла — Соловэя (включение) (← ссылки)
- Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи (включение) (← ссылки)
- Теорема Карпа — Липтона (включение) (← ссылки)
- PS-полнота языка верных булевых формул с кванторами (TQBF) (включение) (← ссылки)
- Теорема Сэвича. Совпадение классов NPS и PS (включение) (← ссылки)
- Рандомизированное бинарное дерево поиска (включение) (← ссылки)
- Теорема Фейера (включение) (← ссылки)
- Участник:Muravyov (включение) (← ссылки)
- Классы L, NL, coNL. NL-полнота задачи о достижимости (включение) (← ссылки)
- Триангуляция полигонов (ушная + монотонная) (включение) (← ссылки)
- Лемма Римана-Лебега (включение) (← ссылки)
- Теорема о непринадлежности XOR классу AC⁰ (включение) (← ссылки)
- Алгоритм Киркпатрика детализации триангуляции (включение) (← ссылки)
- QpmtnCmax (включение) (← ссылки)
- QpmtnriLmax (включение) (← ссылки)
- Классы RP и coRP (включение) (← ссылки)
- Интерактивные протоколы. Класс IP. Класс AM (включение) (← ссылки)
- Вероятностные вычисления. Вероятностная машина Тьюринга (включение) (← ссылки)
- Классы BPP (включение) (← ссылки)
- P2precpi1Lmax (включение) (← ссылки)
- PCP-теорема, альтернативное доказательство (включение) (← ссылки)
- 1precpmtnrifmax (включение) (← ссылки)
- PCP-система (включение) (← ссылки)
- PCP-теорема (включение) (← ссылки)
- Связь классов IP и AM друг с другом и с другими классами языков (включение) (← ссылки)
- Теоретический минимум по математическому анализу за 4 семестр (включение) (← ссылки)
- Классы NP, coNP, Σ₁, Π₁ (включение) (← ссылки)
- Класс PS. Связь класса PS с другими классами теории сложности (включение) (← ссылки)
- Классы L, NL, coNL (включение) (← ссылки)
- NL-полнота задачи о достижимости (включение) (← ссылки)
- Соотношение вероятностных классов (включение) (← ссылки)
- Теорема о соотношении coNP и IP (включение) (← ссылки)
- Эквивалентность PCP-теоремы и теоремы о трудности аппроксимации (включение) (← ссылки)
- J2pij1Lmax (включение) (← ссылки)
- R2Cmax (включение) (← ссылки)
- Блинная сортировка (включение) (← ссылки)
- O2Cmax (включение) (← ссылки)
- Теоретическая оценка времени работы алгоритмов RMHC и (1+1)-ES для задач OneMax и MST (включение) (← ссылки)
- Drift theory и Drift theorem (включение) (← ссылки)
- Opi1sumu (включение) (← ссылки)
- Эволюционные алгоритмы поиска эйлерова цикла в графе (включение) (← ссылки)
- Black-box Complexity. Примеры нереалистичных оценок Black-box Complexity (включение) (← ссылки)
- Алгоритмы точного вычисления гиперобъема (включение) (← ссылки)
- Эволюционные алгоритмы многокритериальной оптимизации, основанные на индикаторах. Гиперобъем (включение) (← ссылки)
- Flow shop (включение) (← ссылки)
- Оценка сложности вычисления гиперобъема (включение) (← ссылки)
- Сложность задачи вычисления Least Hypervolume Contributor и задачи его аппроксимации (включение) (← ссылки)
- NP-полнота BH1N (включение) (← ссылки)
- Примеры NP-полных языков (включение) (← ссылки)
- Связь между максимизацией гиперобъема и аппроксимацией Парето-фронта (включение) (← ссылки)
- Шаблон:Теорема (2) (включение) (← ссылки)
- Шаблон:Теорема (1) (включение) (← ссылки)
- Функции ограниченной вариации (включение) (← ссылки)
- Теорема о дрифте (включение) (← ссылки)
- Интеграл Римана-Стилтьеса (включение) (← ссылки)
- 1ripi1sumwc (включение) (← ссылки)
- Сходимость ряда Фурье в индивидуальной точке (включение) (← ссылки)
- Теорема Жордана (включение) (← ссылки)
- L 2-теория рядов Фурье (включение) (← ссылки)
- QSumCi (включение) (← ссылки)
- 1outtreesumwc (включение) (← ссылки)
- 1ridipi1 (включение) (← ссылки)
- 1sumu (включение) (← ссылки)
- Теорема Лузина-Данжуа (включение) (← ссылки)
- Неравенство Бернштейна (включение) (← ссылки)
- Об обратных теоремах теории приближения функций (включение) (← ссылки)
- Теорема Джексона (включение) (← ссылки)
- Обсуждение:Теорема Жордана (включение) (← ссылки)
- Участник:Yulya3102/Матан3сем (включение) (← ссылки)
- Машина Тьюринга (включение) (← ссылки)
- Метод проталкивания предпотока (включение) (← ссылки)
- Дополнительный, самодополнительный граф (включение) (← ссылки)
- Числа Стирлинга первого рода (включение) (← ссылки)
- Алгоритм Борувки (включение) (← ссылки)
- Схема Бернулли (включение) (← ссылки)
- Числа Стирлинга второго рода (включение) (← ссылки)
- Динамика по поддеревьям (включение) (← ссылки)
- Теорема Холла (включение) (← ссылки)
- Примеры использования Марковских цепей (включение) (← ссылки)
- Алгоритм "поднять-в-начало" (включение) (← ссылки)
- Теорема Брукса (включение) (← ссылки)
- Метрические пространства (включение) (← ссылки)
- Нормированные пространства (3 курс) (включение) (← ссылки)
- Гильбертовы пространства (включение) (← ссылки)
- Счетно-нормированные пространства (включение) (← ссылки)
- Топологические векторные пространства (включение) (← ссылки)
- Линейные функционалы (включение) (← ссылки)
- Теорема Хана-Банаха (включение) (← ссылки)
- Линейные ограниченные операторы (включение) (← ссылки)
- Неравенство Маркова (включение) (← ссылки)
- Теорема Банаха-Штейнгауза (включение) (← ссылки)
- Теорема Банаха об обратном операторе (включение) (← ссылки)
- Спектр линейного оператора (включение) (← ссылки)
- Теоретический минимум по функциональному анализу за 5 семестр (включение) (← ссылки)
- Вычислимые числа (включение) (← ссылки)
- Лемма Бёрнсайда и Теорема Пойа (включение) (← ссылки)
- Участник:Yulya3102/Матан3сем/Определения (включение) (← ссылки)
- Алгоритм Каргера для нахождения минимального разреза (включение) (← ссылки)
- Частично рекурсивные функции (включение) (← ссылки)
- Сопряжённый оператор (включение) (← ссылки)
- Полнота относительно L-сведения. NL-полнота. P-полнота (включение) (← ссылки)
- Тонкая куча (включение) (← ссылки)
- Сортировка Шелла (включение) (← ссылки)
- Альтернатива Фредгольма — Шаудера (включение) (← ссылки)
- Теория Гильберта-Шмидта (включение) (← ссылки)
- Участник:SkudarnovYaroslav/Теормин к зачёту по теории сложности (включение) (← ссылки)
- Базис Шаудера (включение) (← ссылки)
- О нелинейных операторных уравнениях (включение) (← ссылки)
- Теоретический минимум по функциональному анализу за 6 семестр (включение) (← ссылки)
- Сортировочные сети с особыми свойствами (включение) (← ссылки)
- F2Cmax (включение) (← ссылки)
- Линейный оператор (включение) (← ссылки)
- Собственные векторы и собственные значения (включение) (← ссылки)
- Квадратичные формы (включение) (← ссылки)
- Обратная матрица (включение) (← ссылки)
- Вещественное евклидово и псевдоевклидово пространство (включение) (← ссылки)
- Алгебра скалярных полиномов (включение) (← ссылки)
- Ортогональность (включение) (← ссылки)
- Комплексное евклидово пространство (включение) (← ссылки)
- Обратный оператор (включение) (← ссылки)
- Ядро и образ линейного оператора (включение) (← ссылки)
- Замена базиса (включение) (← ссылки)
- Ортогональные системы векторов (включение) (← ссылки)
- Пространство линейных операторов (включение) (← ссылки)
- Ортогональная сумма подпространств. Ортогональный проектор. (включение) (← ссылки)
- Ортогональная сумма подпространств. Ортогональный проектор. Задача о перпендикуляре (включение) (← ссылки)
- Метрический тензор (включение) (← ссылки)
- Алгебра операторных полиномов (включение) (← ссылки)
- Ультраинвариантные подпространства (включение) (← ссылки)
- Определитель линейного оператора. Внешняя степень оператора. (включение) (← ссылки)
- Кратности собственных чисел (включение) (← ссылки)
- Алгебра (включение) (← ссылки)
- Унитарный и ортогональный операторы (включение) (← ссылки)
- Минимальный полином и инвариантные подпространства (включение) (← ссылки)
- Ковариантность и контравариантность (включение) (← ссылки)
- Тензор (включение) (← ссылки)
- Независимость определителя оператора от базиса. Теорема умножения определителей. (включение) (← ссылки)
- Cпектральный анализ линейного оператора с простым спектром (включение) (← ссылки)
- Жорданова форма матрицы линейного оператора (включение) (← ссылки)
- Разложение линейного пространства в сумму подпространств. 2-я теорема о ядре и образе. Теорема о проекторах. (включение) (← ссылки)
- Независимость определителя оператора от базиса. Теорема умножения определителей (включение) (← ссылки)
- J2ni2Cmax (включение) (← ссылки)
- Алгоритм Балабана (включение) (← ссылки)
- Метод Лупанова синтеза схем (включение) (← ссылки)
- Контактная схема (включение) (← ссылки)
- Алгоритм нахождения Гамильтонова цикла в условиях теорем Дирака и Оре (включение) (← ссылки)
- Альтернативное доказательство теоремы Клини (через систему уравнений в регулярных выражениях) (включение) (← ссылки)
- Простейшие методы синтеза схем из функциональных элементов (включение) (← ссылки)
- Теорема Фари (включение) (← ссылки)
- Алгоритм D* (включение) (← ссылки)
- Алгоритм Штор-Вагнера нахождения минимального разреза (включение) (← ссылки)
- Хроматическое число планарного графа (включение) (← ссылки)
- Алгоритмы на деревьях (включение) (← ссылки)
- Теорема Татта о существовании полного паросочетания (включение) (← ссылки)
- Декомпозиция Эдмондса-Галлаи (включение) (← ссылки)
- Многочлен Татта (включение) (← ссылки)
- Числа Эйлера I и II рода (включение) (← ссылки)
- Неразрешимость исчисления предикатов первого порядка (включение) (← ссылки)
- Теорема Гринберга (включение) (← ссылки)
- Участник:Shersh/Теорема о рекурсии (включение) (← ссылки)
- Неразрешимость задачи об эквивалентности КС-грамматик (включение) (← ссылки)
- Квадродеревья (включение) (← ссылки)
- Теория Рамсея (включение) (← ссылки)
- Пересечение многоугольников (PSLG overlaying) (включение) (← ссылки)
- Пересечение множества отрезков (включение) (← ссылки)
- Skip quadtree: определение, время работы (включение) (← ссылки)
- Дерево интервалов (interval tree) и пересечение точки с множеством интервалов (включение) (← ссылки)
- Диаметр множества точек (вращающиеся калиперы) (включение) (← ссылки)
- Универсальная функция (включение) (← ссылки)
- Диаграмма Вороного (включение) (← ссылки)
- Сумма Минковского (определение, вычисление) (включение) (← ссылки)
- Триангуляция Делоне (включение) (← ссылки)
- Выпуклая оболочка в n-мерном пространстве (включение) (← ссылки)
- Пересечение прямоугольника с множеством прямоугольников (PST) (включение) (← ссылки)
- К-d деревья и перечисление точек в произвольном прямоугольнике (статика) (включение) (← ссылки)
- Обсуждение участника:NikitaMarkovnikov (включение) (← ссылки)
- Декомпозиция Линдона (включение) (← ссылки)
- Участник:Siziyman/Анализ (включение) (← ссылки)
- Обсуждение участника:AKhimulya (включение) (← ссылки)
- Tango-дерево (включение) (← ссылки)
- Матроид Вамоса (включение) (← ссылки)
- Покрытия, закрытые множества (включение) (← ссылки)
- Алгоритм Ландау-Шмидта (включение) (← ссылки)
- LL(k)-грамматики, множества FIRST и FOLLOW (включение) (← ссылки)
- Теорема Поша (включение) (← ссылки)
- Алгоритм Бржозовского (включение) (← ссылки)
- Задача о наибольшей общей палиндромной подпоследовательности (включение) (← ссылки)
- Квайны (включение) (← ссылки)
- Участник:Savelin (включение) (← ссылки)
- ДМП-автоматы и неоднознчность (включение) (← ссылки)
- Локальные автоматы (включение) (← ссылки)
- Линейно ограниченный автомат (включение) (← ссылки)
- Колмогоровская сложность (включение) (← ссылки)
- Нормальная форма Куроды (включение) (← ссылки)
- Двусторонний детерминированный конечный автомат (включение) (← ссылки)
- ДМП-автоматы и неоднозначность (включение) (← ссылки)
- Автоматы Мура и Мили (включение) (← ссылки)
- Рёберный граф (включение) (← ссылки)
- BSP-дерево (включение) (← ссылки)
- Обсуждение участницы:Анна (включение) (← ссылки)
- Мастер-теорема (включение) (← ссылки)
- Аксиоматизация матроида рангами (включение) (← ссылки)
- 1ripipsumwu (включение) (← ссылки)
- Участник:Iloskutov/Матан 4сем (включение) (← ссылки)
- Гиперграфы (включение) (← ссылки)
- Типы дифференциальных уравнений (включение) (← ссылки)
- Основные понятия и теорема Пикара (включение) (← ссылки)
- Дифференциальные уравнения высших порядков (включение) (← ссылки)
- Рёберное ядро (включение) (← ссылки)
- Гамма-алгоритм (включение) (← ссылки)
- Линейные уравнения высших порядков (включение) (← ссылки)
- 2SAT (включение) (← ссылки)
- Линейные системы (включение) (← ссылки)
- Факторизация графов (включение) (← ссылки)
- Графы-экспандеры (включение) (← ссылки)
- Теорема Гуйя-Ури (включение) (← ссылки)
- Игра «Жизнь» (включение) (← ссылки)
- Нормальные формы: третья и Бойса-Кодда (включение) (← ссылки)
- Неразрешимость игры Braid (включение) (← ссылки)
- Участник:Qtr (включение) (← ссылки)
- Совершенное паросочетание в кубическом графе (включение) (← ссылки)
- NP-полнота игры Тетрис (включение) (← ссылки)
- Rake-Compress деревья (включение) (← ссылки)
- Участник:Svetomsk (включение) (← ссылки)
- Ppi1sumwu (включение) (← ссылки)
- Opij1di (включение) (← ссылки)
- Pintreepi1Lmax (включение) (← ссылки)
- Участник:GeraltFromRivia/Теор.Чис.Сем 6.Список теорем (включение) (← ссылки)
- QpmtnSumCi (включение) (← ссылки)
- 1rjpjpsumwjcjиsumtj (включение) (← ссылки)
- Ppi1riintegerLmax (включение) (← ссылки)
- PSumCi (включение) (← ссылки)
- Opij1SumTi (включение) (← ссылки)
- 1sumwT (включение) (← ссылки)
- Участник:Qtr/2 (включение) (← ссылки)
- Участник:GeraltFromRivia/Теор.Чис.Сем 6.Список вопросов (включение) (← ссылки)
- Участник:D1v1nation/TR (включение) (← ссылки)
- Неразрешимость проблемы существования решения диофантова уравнения в целых числах (включение) (← ссылки)
- Арифметические функции и отношения. Их выразимость в формальной арифметике (включение) (← ссылки)
- Триангуляция Делоне на сфере (включение) (← ссылки)
- Теорема Вагнера (включение) (← ссылки)
- Триангуляция Делоне на Сфере (включение) (← ссылки)
- Группы графов (включение) (← ссылки)
- Раскраска двудольного графа в два цвета (включение) (← ссылки)
- Convex hull trick (включение) (← ссылки)
- Объём (включение) (← ссылки)
- Двойственное пространство (включение) (← ссылки)
- Теорема Парика (включение) (← ссылки)
- Примеры сведения к задачам поиска потока (включение) (← ссылки)
- Алгоритм отмены цикла минимального среднего веса (включение) (← ссылки)
- Изоморфизмы упорядоченных множеств (включение) (← ссылки)
- Неразрешимость задачи о проверке на пустоту пересечения двух КС-грамматик (включение) (← ссылки)
- Тьюринг-полнота (включение) (← ссылки)
- Эквивалентность ДМП-автоматов (включение) (← ссылки)
- Неразрешимость задачи вывода типов в языке с зависимыми типами (включение) (← ссылки)
- Классы Sharp P, Sharp P-Complete (включение) (← ссылки)
- Многогранник пересечения матроидов (включение) (← ссылки)
- Арифметические действия с формальными степенными рядами (включение) (← ссылки)
- Производящие функции нескольких переменных (включение) (← ссылки)
- Задача о счастливых билетах (включение) (← ссылки)
- Интегрирование/дифференцирование производящих функций (включение) (← ссылки)
- Произведение Адамара рациональных производящих функций (включение) (← ссылки)
- Производящая функция Дирихле (включение) (← ссылки)
- Теорема Татта о существовании регулярного графа заданного размера с заданным обхватом (включение) (← ссылки)
- Рёберная раскраска двудольного графа (включение) (← ссылки)
- Теорема о существовании совершенного паросочетания в графе, полученном из регулярного удалением ребёр (включение) (← ссылки)
- Панциклический граф (включение) (← ссылки)
- Лапы и минимальные по включению барьеры в графе (включение) (← ссылки)
- Барицентр дерева (включение) (← ссылки)
- Пересечение всех максимальных по включению барьеров (включение) (← ссылки)
- Задача о наименьшей суперпоследовательности (включение) (← ссылки)
- Теорема Турана об экстремальном графе (включение) (← ссылки)
- Теорема о связи между рациональностью производящей функции и линейной рекуррентностью задаваемой ей последовательности (включение) (← ссылки)
- Булевые формулы с кванторами как игры для двух игроков (включение) (← ссылки)
- B+-дерево (включение) (← ссылки)
- Представление производящей функций в виде непрерывных дробей (включение) (← ссылки)
- RSA (включение) (← ссылки)
- Регулярные выражения с обратными ссылками (включение) (← ссылки)
- Язык Дика (включение) (← ссылки)
- Уравнение Лагранжа и теорема Лагранжа (включение) (← ссылки)
- Асимптотика коэффициентов функций, связанных между собой уравнением Лагранжа (включение) (← ссылки)
- Выражение функции XOR через медианы (включение) (← ссылки)
- Проблема четырёх красок (включение) (← ссылки)
- Кластеризация (включение) (← ссылки)
- Иерархическая кластеризация (включение) (← ссылки)
- Байесовские сети (включение) (← ссылки)
- Логистическая регрессия (включение) (← ссылки)
- Виды ансамблей (включение) (← ссылки)
- Мета-обучение (включение) (← ссылки)
- Сингулярное разложение (включение) (← ссылки)
- Метод опорных векторов (SVM) (включение) (← ссылки)
- Байесовская классификация (включение) (← ссылки)
- Ядра (включение) (← ссылки)
- Граница Чернова (включение) (← ссылки)
- EM-алгоритм (включение) (← ссылки)
- Случайные графы (включение) (← ссылки)
- Гипотеза Хивуда (включение) (← ссылки)