Страницы, ссылающиеся на «Шаблон:Определение»
Следующие страницы ссылаются на «Шаблон:Определение»:
Просмотреть (предыдущие 500 | следующие 500) (20 | 50 | 100 | 250 | 500)- СНМ (реализация с помощью леса корневых деревьев) (включение) (← ссылки)
- Сжатое суффиксное дерево (включение) (← ссылки)
- Сведение задачи LCA к задаче RMQ (включение) (← ссылки)
- Степенные ряды (включение) (← ссылки)
- Нормированные пространства (включение) (← ссылки)
- Разложение функций в степенные ряды (включение) (← ссылки)
- Линейные операторы в нормированных пространствах (включение) (← ссылки)
- Суффиксный массив (включение) (← ссылки)
- Встречное дерево Фенвика (включение) (← ссылки)
- Z-функция (включение) (← ссылки)
- Префикс-функция (включение) (← ссылки)
- Теорема о базах (включение) (← ссылки)
- Оператор замыкания для матроидов (включение) (← ссылки)
- Многомерное дерево Фенвика (включение) (← ссылки)
- Двойственный матроид (включение) (← ссылки)
- Прямая сумма матроидов (включение) (← ссылки)
- Поиск k-ой порядковой статистики (включение) (← ссылки)
- Фибоначчиева куча (включение) (← ссылки)
- Обсуждение:Полные системы функций. Теорема Поста о полной системе функций (← ссылки)
- Теорема о циклах (включение) (← ссылки)
- Ранговая функция, полумодулярность (включение) (← ссылки)
- Идеальное хеширование (включение) (← ссылки)
- Красно-черное дерево (включение) (← ссылки)
- Объединение матроидов, проверка множества на независимость (включение) (← ссылки)
- 0-1 принцип (включение) (← ссылки)
- Справка по шаблонам (включение) (← ссылки)
- Дифференцируемые отображения в нормированных пространствах (включение) (← ссылки)
- Безусловный экстремум функции многих переменных (включение) (← ссылки)
- Локальная теорема о неявном отображении (включение) (← ссылки)
- Интеграл Римана по прямоугольнику (включение) (← ссылки)
- Распространение интеграла на произвольные ограниченные фигуры (включение) (← ссылки)
- О многократных интегралах (включение) (← ссылки)
- Пересечение матроидов, определение, примеры (включение) (← ссылки)
- Сортирующие сети (включение) (← ссылки)
- Примеры матроидов (включение) (← ссылки)
- Сеть Бетчера (включение) (← ссылки)
- Формулировки теорем 2 семестр (включение) (← ссылки)
- Теоретический минимум по математическому анализу за 2 семестр (включение) (← ссылки)
- Определение матроида (включение) (← ссылки)
- Фильтр Блума (включение) (← ссылки)
- Универсальное семейство хеш-функций (включение) (← ссылки)
- Граф замен (включение) (← ссылки)
- Алгоритм построения базы в объединении матроидов (включение) (← ссылки)
- Полукольца и алгебры (включение) (← ссылки)
- Мера на полукольце множеств (включение) (← ссылки)
- Обсуждение:Кодирование информации (← ссылки)
- Внешняя мера (включение) (← ссылки)
- Предикат "левый поворот" (включение) (← ссылки)
- Суперпозиции (включение) (← ссылки)
- Мера, порождённая внешней мерой (включение) (← ссылки)
- Анализ свойств регулярных языков (пустота, совпадение, включение, конечность, подсчёт числа слов) (включение) (← ссылки)
- Обсуждение:Дискретная математика и алгоритмы (включение) (← ссылки)
- Минимизация ДКА, алгоритм Хопкрофта (сложность O(n log n)) (включение) (← ссылки)
- Представление чисел с плавающей точкой (включение) (← ссылки)
- Adaptive precision arithmetic (включение) (← ссылки)
- Алгоритм A* (включение) (← ссылки)
- Обсуждение:Неравенство Крафта (← ссылки)
- Конфигурация (включение) (← ссылки)
- Отношение порядка (включение) (← ссылки)
- Отношение эквивалентности (включение) (← ссылки)
- Задача о расстоянии Дамерау-Левенштейна (включение) (← ссылки)
- Процесс Каратеодори (включение) (← ссылки)
- Объём n-мерного прямоугольника (включение) (← ссылки)
- Мера Лебега в R^n (включение) (← ссылки)
- Определение измеримой функции (включение) (← ссылки)
- Предельный переход в классе измеримых функций (включение) (← ссылки)
- Сходимость по мере (включение) (← ссылки)
- Вычислимые функции (включение) (← ссылки)
- Производящая функция (включение) (← ссылки)
- Диагональный метод (включение) (← ссылки)
- Разрешимые (рекурсивные) языки (включение) (← ссылки)
- Циркуляция потока (включение) (← ссылки)
- Определение интеграла Лебега (включение) (← ссылки)
- M-сводимость (включение) (← ссылки)
- Неотрицательные суммируемые функции (включение) (← ссылки)
- Обсуждение:Процесс Каратеодори (включение) (← ссылки)
- Суммируемые функции произвольного знака (включение) (← ссылки)
- Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ (включение) (← ссылки)
- Мера подграфика (включение) (← ссылки)
- Обсуждение:Объём n-мерного прямоугольника (включение) (← ссылки)
- Правильные скобочные последовательности (включение) (← ссылки)
- Теоретический минимум по математическому анализу за 3 семестр (включение) (← ссылки)
- Теорема Райса-Шапиро (включение) (← ссылки)
- Обсуждение:Теоретический минимум по математическому анализу за 3 семестр (включение) (← ссылки)
- Исчисление высказываний, общие определения. Таблицы истинности. Общезначимость (включение) (← ссылки)
- Исчисление высказываний (включение) (← ссылки)
- Лемма о дедукции, полнота исчисления высказываний (включение) (← ссылки)
- Исчисление предикатов (включение) (← ссылки)
- Теории первого порядка (включение) (← ссылки)
- Задача о редакционном расстоянии, алгоритм Вагнера-Фишера (включение) (← ссылки)
- Математическое ожидание случайной величины (включение) (← ссылки)
- Секвенциальное и интуиционистское исчисление (включение) (← ссылки)
- Примитивно рекурсивные функции (включение) (← ссылки)
- Геделева нумерация. Арифметизация доказательств (включение) (← ссылки)
- 1я и 2я теоремы Геделя о неполноте арифметики (включение) (← ссылки)
- Теория множеств (включение) (← ссылки)
- Теоретический минимум по математической логике за 3 семестр (включение) (← ссылки)
- Прямое произведение ДКА (включение) (← ссылки)
- Линейный клеточный автомат, эквивалентность МТ (включение) (← ссылки)
- Определения, 1 семестр, Кохась К.П. (включение) (← ссылки)
- Участница:Katyatitkova/Матан (включение) (← ссылки)
- Обсуждение:Биномиальная куча (← ссылки)
- Определение ряда Фурье (включение) (← ссылки)
- Интеграл Дирихле (включение) (← ссылки)
- Алгоритм Карккайнена-Сандерса (включение) (← ссылки)
- Участник:Rybak/Черновик (включение) (← ссылки)
- Интеграл Фейера (включение) (← ссылки)
- Наилучшее приближение в линейных нормированных пространствах (включение) (← ссылки)
- Слово Фибоначчи (включение) (← ссылки)
- Основные определения, связанные со строками (включение) (← ссылки)
- Слово Туэ-Морса (включение) (← ссылки)
- Транзитивный остов (включение) (← ссылки)
- Участник:Yulya3102/Матан (включение) (← ссылки)
- Определения, 2 семестр, Кохась К.П. (включение) (← ссылки)
- Теорема Бермана — Форчуна (включение) (← ссылки)
- Сложностные классы. Вычисления с оракулом (включение) (← ссылки)
- Классы PH, Σ и Π (включение) (← ссылки)
- Схемная сложность и класс P/poly (включение) (← ссылки)
- Классы NC и AC (включение) (← ссылки)
- Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи (включение) (← ссылки)
- PS-полнота языка верных булевых формул с кванторами (TQBF) (включение) (← ссылки)
- Рандомизированное бинарное дерево поиска (включение) (← ссылки)
- Классификация задач (включение) (← ссылки)
- Теорема Фейера (включение) (← ссылки)
- Участник:Muravyov (включение) (← ссылки)
- Участник:Nechaev/Черновик (включение) (← ссылки)
- Классы L, NL, coNL. NL-полнота задачи о достижимости (включение) (← ссылки)
- Алгоритмы построения выпуклых оболочек множества точек на плоскости (включение) (← ссылки)
- Триангуляция полигонов (ушная + монотонная) (включение) (← ссылки)
- Теорема о непринадлежности XOR классу AC⁰ (включение) (← ссылки)
- Классы RP и coRP (включение) (← ссылки)
- Целочисленный двоичный поиск (включение) (← ссылки)
- Интерактивные протоколы. Класс IP. Класс AM (включение) (← ссылки)
- Вероятностные вычисления. Вероятностная машина Тьюринга (включение) (← ссылки)
- Классы BPP (включение) (← ссылки)
- Лемма о соотношении coNP и IP (включение) (← ссылки)
- Арифметизация булевых формул с кванторами (включение) (← ссылки)
- PCP-теорема, альтернативное доказательство (включение) (← ссылки)
- PCP-система (включение) (← ссылки)
- PCP-теорема (включение) (← ссылки)
- Связь классов IP и AM друг с другом и с другими классами языков (включение) (← ссылки)
- Теоретический минимум по математическому анализу за 4 семестр (включение) (← ссылки)
- Недетерминированные вычисления (включение) (← ссылки)
- Классы NP, coNP, Σ₁, Π₁ (включение) (← ссылки)
- Класс PS. Связь класса PS с другими классами теории сложности (включение) (← ссылки)
- Классы L, NL, coNL (включение) (← ссылки)
- NL-полнота задачи о достижимости (включение) (← ссылки)
- Класс ZPP (включение) (← ссылки)
- Теорема о соотношении coNP и IP (включение) (← ссылки)
- Сложностные классы (включение) (← ссылки)
- Вычисления с оракулом (включение) (← ссылки)
- Эквивалентность PCP-теоремы и теоремы о трудности аппроксимации (включение) (← ссылки)
- Сортировка Хана (включение) (← ссылки)
- Хеш-таблица (включение) (← ссылки)
- Opi1sumu (включение) (← ссылки)
- Эволюционные алгоритмы поиска эйлерова цикла в графе (включение) (← ссылки)
- Black-box Complexity. Примеры нереалистичных оценок Black-box Complexity (включение) (← ссылки)
- Алгоритмы точного вычисления гиперобъема (включение) (← ссылки)
- Эволюционные алгоритмы многокритериальной оптимизации, основанные на индикаторах. Гиперобъем (включение) (← ссылки)
- Cравнение RMHC и генетического алгоритма на Royal Road Function (включение) (← ссылки)
- Задача многокритериальной оптимизации. Multiobjectivization (включение) (← ссылки)
- Оценка сложности вычисления гиперобъема (включение) (← ссылки)
- Сложность задачи вычисления Least Hypervolume Contributor и задачи его аппроксимации (включение) (← ссылки)
- NP-полнота BH1N (включение) (← ссылки)
- Связь между максимизацией гиперобъема и аппроксимацией Парето-фронта (включение) (← ссылки)
- Функции ограниченной вариации (включение) (← ссылки)
- Интеграл Римана-Стилтьеса (включение) (← ссылки)
- Теорема Жордана (включение) (← ссылки)
- L 2-теория рядов Фурье (включение) (← ссылки)
- Об интеграле Фурье (включение) (← ссылки)
- Явление Гиббса (включение) (← ссылки)
- Теорема Джексона (включение) (← ссылки)
- Участник:Yulya3102/Матан/Определения (включение) (← ссылки)
- Машина Тьюринга (включение) (← ссылки)
- Лямбда-исчисление (включение) (← ссылки)
- Метод проталкивания предпотока (включение) (← ссылки)
- Дополнительный, самодополнительный граф (включение) (← ссылки)
- Задача о наибольшей подпоследовательности-палиндроме (включение) (← ссылки)
- Meet-in-the-middle (включение) (← ссылки)
- Корреляция случайных величин (включение) (← ссылки)
- Замкнутость КС-языков относительно различных операций (включение) (← ссылки)
- Алгоритм Ху-Таккера (включение) (← ссылки)
- Коды антигрея (включение) (← ссылки)
- Схема Бернулли (включение) (← ссылки)
- Динамическое программирование по профилю (включение) (← ссылки)
- Обсуждение:Теорема Райса-Шапиро (включение) (← ссылки)
- Теорема Холла (включение) (← ссылки)
- Алгоритм "поднять-в-начало" (включение) (← ссылки)
- Метрические пространства (включение) (← ссылки)
- Нормированные пространства (3 курс) (включение) (← ссылки)
- Гильбертовы пространства (включение) (← ссылки)
- Счетно-нормированные пространства (включение) (← ссылки)
- Busy beaver (включение) (← ссылки)
- Топологические векторные пространства (включение) (← ссылки)
- Линейные функционалы (включение) (← ссылки)
- Теорема Хана-Банаха (включение) (← ссылки)
- Линейные ограниченные операторы (включение) (← ссылки)
- Неравенство Маркова (включение) (← ссылки)
- Теорема Банаха-Штейнгауза (включение) (← ссылки)
- Теорема Банаха об обратном операторе (включение) (← ссылки)
- Спектр линейного оператора (включение) (← ссылки)
- Теоретический минимум по функциональному анализу за 5 семестр (включение) (← ссылки)
- Вычислимые числа (включение) (← ссылки)
- Алгоритм Витерби (включение) (← ссылки)
- Верхние и нижние оценки хроматического числа (включение) (← ссылки)
- Лемма Бёрнсайда и Теорема Пойа (включение) (← ссылки)
- Скрытые Марковские модели (включение) (← ссылки)
- Участник:Yulya3102/Матан3сем/Определения (включение) (← ссылки)
- Алгоритм Каргера для нахождения минимального разреза (включение) (← ссылки)
- Частично рекурсивные функции (включение) (← ссылки)
- Сопряжённый оператор (включение) (← ссылки)
- Полнота относительно L-сведения. NL-полнота. P-полнота (включение) (← ссылки)
- Определения и формулировки, 3 семестр, Кохась К.П. (включение) (← ссылки)
- Компактный оператор (включение) (← ссылки)
- Тонкая куча (включение) (← ссылки)
- Толстая куча на избыточном счётчике (включение) (← ссылки)
- Левосторонняя куча (включение) (← ссылки)
- Теория Гильберта-Шмидта (включение) (← ссылки)
- Участник:SkudarnovYaroslav/Теормин к зачёту по теории сложности (включение) (← ссылки)
- Базис Шаудера (включение) (← ссылки)
- О нелинейных операторных уравнениях (включение) (← ссылки)
- Обсуждение:Timsort (← ссылки)
- Куча Бродала-Окасаки (включение) (← ссылки)
- Счётчик Кнута (включение) (← ссылки)
- Теоретический минимум по функциональному анализу за 6 семестр (включение) (← ссылки)
- Сортировочные сети с особыми свойствами (включение) (← ссылки)
- Линейный оператор (включение) (← ссылки)
- Собственные векторы и собственные значения (включение) (← ссылки)
- Квадратичные формы (включение) (← ссылки)
- Обратная матрица (включение) (← ссылки)
- Метрические, нормированные и евклидовы пространства (включение) (← ссылки)
- Вещественное евклидово и псевдоевклидово пространство (включение) (← ссылки)
- Алгебра скалярных полиномов (включение) (← ссылки)
- Ортогональность (включение) (← ссылки)
- Комплексное евклидово пространство (включение) (← ссылки)
- Инвариантные подпространства (включение) (← ссылки)
- Обратный оператор (включение) (← ссылки)
- Ядро и образ линейного оператора (включение) (← ссылки)
- Замена базиса (включение) (← ссылки)
- Ортогональные системы векторов (включение) (← ссылки)
- Пространство линейных операторов (включение) (← ссылки)
- Задача о перпендикуляре (включение) (← ссылки)
- Ортогональная сумма подпространств. Ортогональный проектор. (включение) (← ссылки)
- Ортогональная сумма подпространств. Ортогональный проектор. Задача о перпендикуляре (включение) (← ссылки)
- Метрический тензор (включение) (← ссылки)
- Алгебра операторных полиномов (включение) (← ссылки)
- Ультраинвариантные подпространства (включение) (← ссылки)
- Определитель линейного оператора. Внешняя степень оператора. (включение) (← ссылки)
- Кратности собственных чисел (включение) (← ссылки)
- Алгебра (включение) (← ссылки)
- Унитарный и ортогональный операторы (включение) (← ссылки)
- Ковариантность и контравариантность (включение) (← ссылки)
- Тензор (включение) (← ссылки)
- Cпектральный анализ линейного оператора с простым спектром (включение) (← ссылки)
- Программирование по контракту (включение) (← ссылки)
- Алгоритм Балабана (включение) (← ссылки)
- Метод Лупанова синтеза схем (включение) (← ссылки)
- Контактная схема (включение) (← ссылки)
- Простейшие методы синтеза схем из функциональных элементов (включение) (← ссылки)
- Теорема Фари (включение) (← ссылки)
- Алгоритм D* (включение) (← ссылки)
- Задача о наибольшей общей возрастающей последовательности (включение) (← ссылки)
- Алгоритм Штор-Вагнера нахождения минимального разреза (включение) (← ссылки)
- Алгоритмы на деревьях (включение) (← ссылки)
- Теорема Татта о существовании полного паросочетания (включение) (← ссылки)
- Декомпозиция Эдмондса-Галлаи (включение) (← ссылки)
- Многочлен Татта (включение) (← ссылки)
- Числа Эйлера I и II рода (включение) (← ссылки)
- Теорема Гринберга (включение) (← ссылки)
- Участник:Shersh/Теорема о рекурсии (включение) (← ссылки)
- Visibility graph и motion planning (включение) (← ссылки)
- Квадродеревья (включение) (← ссылки)
- Теория Рамсея (включение) (← ссылки)
- Статические выпуклые оболочки: Джарвис, Грэхем, Эндрю, Чен, QuickHull (включение) (← ссылки)
- Диаметр множества точек (вращающиеся калиперы) (включение) (← ссылки)
- Задача об устойчивом паросочетании (включение) (← ссылки)
- Универсальная функция (включение) (← ссылки)
- Диаграмма Вороного (включение) (← ссылки)
- Сумма Минковского (определение, вычисление) (включение) (← ссылки)
- Триангуляция Делоне (включение) (← ссылки)
- Регулярная аппроксимация КС-языков (включение) (← ссылки)
- СНМ с операцией удаления за О(1) (включение) (← ссылки)
- Декомпозиция Линдона (включение) (← ссылки)
- Участник:Siziyman/Анализ (включение) (← ссылки)
- Алгоритм Фараха (включение) (← ссылки)
- Алгоритм Колусси (включение) (← ссылки)
- Обсуждение участника:AKhimulya (включение) (← ссылки)
- Динамический массив (включение) (← ссылки)
- Алгоритм Крочемора (включение) (← ссылки)
- Tango-дерево (включение) (← ссылки)
- Алгоритм Shift-And (включение) (← ссылки)
- Участник:Shersh/temporary (включение) (← ссылки)
- Участник:Shovkoplyas Grigory (включение) (← ссылки)
- Покрытия, закрытые множества (включение) (← ссылки)
- Алгоритм Ландау-Шмидта (включение) (← ссылки)
- LL(k)-грамматики, множества FIRST и FOLLOW (включение) (← ссылки)
- Snap rounding (включение) (← ссылки)
- Троичная логика (включение) (← ссылки)
- Числа Каталана (включение) (← ссылки)
- Алгоритм Бржозовского (включение) (← ссылки)
- Гамма-, дельта- и омега-код Элиаса (включение) (← ссылки)
- Задача о наибольшей общей подпоследовательности-палиндроме (включение) (← ссылки)
- Задача о наибольшей общей палиндромной подпоследовательности (включение) (← ссылки)
- Квайны (включение) (← ссылки)
- Квантовые гейты (включение) (← ссылки)
- Оптимальный префиксный код с длиной кодового слова не более L бит (включение) (← ссылки)
- Участник:Savelin (включение) (← ссылки)
- Получение предыдущего объекта (включение) (← ссылки)
- Локальные автоматы (включение) (← ссылки)
- Линейно ограниченный автомат (включение) (← ссылки)
- Колмогоровская сложность (включение) (← ссылки)
- Нормальная форма Куроды (включение) (← ссылки)
- Двусторонний детерминированный конечный автомат (включение) (← ссылки)
- Сверхтьюринговые вычисления (гипервычисления) (включение) (← ссылки)
- Код Шеннона (включение) (← ссылки)
- Автоматы Мура и Мили (включение) (← ссылки)
- Рёберный граф (включение) (← ссылки)
- Квантовые конечные автоматы (включение) (← ссылки)
- Теоретико-множественные операции над графами (включение) (← ссылки)
- BSP-дерево (включение) (← ссылки)
- Smoothsort (включение) (← ссылки)
- Персистентные структуры данных (включение) (← ссылки)
- Сетевой уровень (включение) (← ссылки)
- Сортирующая сеть глубины O(log N) (включение) (← ссылки)
- Атрибутные транслирующие грамматики (включение) (← ссылки)
- Двусторонний алгоритм (включение) (← ссылки)
- LR(1)-разбор (включение) (← ссылки)
- Автомат Кнута-Морриса-Пратта (включение) (← ссылки)
- Участник:Iloskutov/Матан 4сем (включение) (← ссылки)
- LR(0)-разбор (включение) (← ссылки)
- LR(k)-грамматики (включение) (← ссылки)
- Введение в комплексный анализ (включение) (← ссылки)
- Гиперграфы (включение) (← ссылки)
- Типы дифференциальных уравнений (включение) (← ссылки)
- Основные понятия и теорема Пикара (включение) (← ссылки)
- Дифференциальные уравнения высших порядков (включение) (← ссылки)
- Рёберное ядро (включение) (← ссылки)
- Гамма-алгоритм (включение) (← ссылки)
- Линейные уравнения высших порядков (включение) (← ссылки)
- Линейные системы (включение) (← ссылки)
- Факторизация графов (включение) (← ссылки)
- Графы-экспандеры (включение) (← ссылки)
- Род, толщина, крупность, число скрещиваний (включение) (← ссылки)
- Теорема Гуйя-Ури (включение) (← ссылки)
- Нормальные формы: первая и вторая (включение) (← ссылки)
- Модель сущность-связь (включение) (← ссылки)
- Нормальные формы: третья и Бойса-Кодда (включение) (← ссылки)
- Участник:GeraltFromRivia/Теор.Физ.Сем 5.Задачи (включение) (← ссылки)
- Совершенное паросочетание в кубическом графе (включение) (← ссылки)
- Алгоритм Апостолико-Крочемора (включение) (← ссылки)
- Суффиксный автомат (включение) (← ссылки)
- Участник:Svetomsk (включение) (← ссылки)
- Участник:D1v1nation/TR (включение) (← ссылки)
- Участник:GeraltFromRivia/Diploma work 3 (включение) (← ссылки)
- Неразрешимость проблемы существования решения диофантова уравнения в целых числах (включение) (← ссылки)
- Арифметические функции и отношения. Их выразимость в формальной арифметике (включение) (← ссылки)
- Триангуляция Делоне на сфере (включение) (← ссылки)
- Теорема Вагнера (включение) (← ссылки)
- Группы графов (включение) (← ссылки)
- Двудольные графы (включение) (← ссылки)
- Быстрое преобразование Фурье (включение) (← ссылки)
- Data link layer - MAC - Aloha, CSMA (включение) (← ссылки)
- IP (включение) (← ссылки)
- IP-адреса (включение) (← ссылки)
- Дискретное преобразование Фурье (включение) (← ссылки)
- Монотонный код Грея (включение) (← ссылки)
- Аффинное пространство (включение) (← ссылки)
- Взвешенное дерево (включение) (← ссылки)
- Объём (включение) (← ссылки)
- Wireless networks - WAN (включение) (← ссылки)
- Ethernet (включение) (← ссылки)
- Сетевая безопасность (включение) (← ссылки)
- Двойственное пространство (включение) (← ссылки)
- Физический уровень - Модуляции (включение) (← ссылки)
- Теорема Парика (включение) (← ссылки)
- AA-дерево (включение) (← ссылки)
- Алгоритм отмены цикла минимального среднего веса (включение) (← ссылки)
- Изоморфизмы упорядоченных множеств (включение) (← ссылки)
- Нормальная форма ДМП-автомата (включение) (← ссылки)
- Минимально узкое остовное дерево (включение) (← ссылки)
- Тьюринг-полнота (включение) (← ссылки)
- Эквивалентность ДМП-автоматов (включение) (← ссылки)
- Неразрешимость задачи о замощении плоскости набором плиток Вана (включение) (← ссылки)
- Неразрешимость задачи вывода типов в языке с зависимыми типами (включение) (← ссылки)
- Классы Sharp P, Sharp P-Complete (включение) (← ссылки)
- Многогранник пересечения матроидов (включение) (← ссылки)
- Арифметические действия с формальными степенными рядами (включение) (← ссылки)
- Техника частичного каскадирования (включение) (← ссылки)
- Производящие функции нескольких переменных (включение) (← ссылки)
- Разложение рациональной функции в ряд (включение) (← ссылки)
- Интегрирование/дифференцирование производящих функций (включение) (← ссылки)
- Произведение Адамара рациональных производящих функций (включение) (← ссылки)
- Centroid decomposition (включение) (← ссылки)
- Производящая функция Дирихле (включение) (← ссылки)
- Персистентный массив (включение) (← ссылки)
- Числа Белла (включение) (← ссылки)
- Символ Похгаммера (включение) (← ссылки)
- Теорема Татта о существовании регулярного графа заданного размера с заданным обхватом (включение) (← ссылки)
- Рёберная раскраска двудольного графа (включение) (← ссылки)
- Панциклический граф (включение) (← ссылки)
- Графы де Брюина (включение) (← ссылки)
- Левосторонние красно-чёрные деревья (включение) (← ссылки)
- Лапы и минимальные по включению барьеры в графе (включение) (← ссылки)
- Барицентр дерева (включение) (← ссылки)
- Алгебра графов (включение) (← ссылки)
- Пересечение всех максимальных по включению барьеров (включение) (← ссылки)
- Задача о наименьшей суперпоследовательности (включение) (← ссылки)
- Конструирование комбинаторных объектов и их подсчёт (включение) (← ссылки)
- Теорема Турана об экстремальном графе (включение) (← ссылки)
- Теорема о связи между рациональностью производящей функции и линейной рекуррентностью задаваемой ей последовательности (включение) (← ссылки)
- Булевые формулы с кванторами как игры для двух игроков (включение) (← ссылки)
- Решение рекуррентных соотношений (включение) (← ссылки)
- Слабый конъюнктивный предикат (WCP) (включение) (← ссылки)
- Представление производящей функций в виде непрерывных дробей (включение) (← ссылки)
- RSA (включение) (← ссылки)
- Асимптотика гипергеометрических последовательностей (включение) (← ссылки)
- Регулярные выражения с обратными ссылками (включение) (← ссылки)
- Язык Дика (включение) (← ссылки)
- Уравнение Лагранжа и теорема Лагранжа (включение) (← ссылки)
- Использование производящих функций для доказательства тождеств (включение) (← ссылки)
- Алгоритмы взаимного исключения (включение) (← ссылки)
- Базовые определения и формализм (включение) (← ссылки)
- Стек Трайбера (включение) (← ссылки)
- Квантовые алгоритмы (включение) (← ссылки)
- Мультиплексор и демультиплексор (включение) (← ссылки)
- Шифратор и дешифратор (включение) (← ссылки)
- Методы получения случайных комбинаторных объектов (включение) (← ссылки)
- Практики реализации нейронных сетей (включение) (← ссылки)
- Кластеризация (включение) (← ссылки)
- Группы. Действие группы на множестве (включение) (← ссылки)
- Иерархическая кластеризация (включение) (← ссылки)
- Контекстное моделирование (включение) (← ссылки)
- Байесовские сети (включение) (← ссылки)
- Обучение с подкреплением (включение) (← ссылки)
- Бустинг, AdaBoost (включение) (← ссылки)
- Дерево решений и случайный лес (включение) (← ссылки)
- Обработка естественного языка (включение) (← ссылки)
- Общие понятия (включение) (← ссылки)
- Вариации регрессии (включение) (← ссылки)
- Обучение с частичным привлечением учителя (включение) (← ссылки)
- Метод опорных векторов (SVM) (включение) (← ссылки)
- Байесовская классификация (включение) (← ссылки)
- Ядра (включение) (← ссылки)
- Граница Чернова (включение) (← ссылки)
- Формализм распределённых систем (включение) (← ссылки)
- Диффундирующие вычисления (включение) (← ссылки)
- Иерархия порядков сообщений (включение) (← ссылки)
- Теорема Фишера-Линча-Патерсона (FLP) (включение) (← ссылки)
- Консенсус в распределённой системе (включение) (← ссылки)
- Транзакции в распределённых системах (включение) (← ссылки)
- Самостабилизирующиеся алгоритмы (включение) (← ссылки)
- Случайные графы (включение) (← ссылки)
- Гипотеза Хивуда (включение) (← ссылки)
- Участник:Mikhirurg/Арифметическое кодирование - дополнение (включение) (← ссылки)
- Обсуждение:Лемма Бёрнсайда и Теорема Пойа (включение) (← ссылки)
- Обсуждение:Факторизация графов (включение) (← ссылки)
- Регуляризация (включение) (← ссылки)
- Графовые нейронные сети (включение) (← ссылки)
- Ядро (включение) (← ссылки)
- Рекомендательные системы (включение) (← ссылки)
- Дополнение к ранжированию (включение) (← ссылки)
- Поиск архитектуры нейронной сети (включение) (← ссылки)
- Распознавание текста на изображении (включение) (← ссылки)
- Оценка положения (включение) (← ссылки)
- Участник:Mk17.ru (включение) (← ссылки)
- Теорема о гигантской компоненте. Поиск в ширину в случайном графе (включение) (← ссылки)
- Теорема о существовании порога для монотонных свойств (включение) (← ссылки)
- Обсуждение участника:Sancho20021 (включение) (← ссылки)
- Представление булевых функций линейными программами (включение) (← ссылки)
- Подсчет деревьев (включение) (← ссылки)
- Расширенные биномиальные коэффициенты (включение) (← ссылки)
- Нижняя оценка размера схем из функциональных элементов (включение) (← ссылки)
- Обсуждение участника:178.70.143.94 (включение) (← ссылки)
- Автокорреляционный многочлен (включение) (← ссылки)
- Обсуждение:Метод производящих функций (включение) (← ссылки)
- Модели клеточных автоматов (включение) (← ссылки)
- Метод производящих функций (включение) (← ссылки)
- Физическая модель базы данных (включение) (← ссылки)
- Private-key encryption (включение) (← ссылки)
- Теорема Самнера — Лас Вергнаса (WIP) (включение) (← ссылки)
- Реляционная модель данных. Ключи (включение) (← ссылки)
- Цели и средства нормализации (включение) (← ссылки)
- Функциональные зависимости: замыкание, эквивалентность и правила вывода (включение) (← ссылки)
- Обсуждение:Функция Эйлера (включение) (← ссылки)
- Обсуждение участника:MetaMockery (включение) (← ссылки)
- Реляционная алгебра: операции над данными, свойства и связь с SQL (включение) (← ссылки)
- Участник:Masha (включение) (← ссылки)
- Функциональные зависимости: замыкание атрибутов, неприводимые множества функциональных зависимостей, их построение (включение) (← ссылки)
- Блендинг изображений (включение) (← ссылки)
- Представление знаний (включение) (← ссылки)
- Синтетические наборы данных (включение) (← ссылки)
- Участник:InFameBoy (включение) (← ссылки)
- Задача трансляции изображений (включение) (← ссылки)
- Теорема Самнера — Лас Вергнаса (включение) (← ссылки)
- Участник:AntonM3135 (включение) (← ссылки)
- Анализ временных рядов (включение) (← ссылки)
- Диалоговые системы (включение) (← ссылки)
- Задача планирования движения (включение) (← ссылки)
- Участник:Terraqottik (включение) (← ссылки)
- Участник:Unreal.eugene (включение) (← ссылки)