Математика и алгоритмы
Страница 21 из 24.

Эксцентриситет вершины графа: определение и расчёт
Что такое эксцентриситет вершины графа: определение через расстояние, формула, пошаговый расчёт по матрице кратчайших путей, свойства и связь с радиусом, диаметром, центром.

Процесс Орнштейна-Уленбека: средневозвратная диффузия
Процесс Орнштейна-Уленбека: средневозвратная диффузия, её стохастическое уравнение, среднее и дисперсия, стационарное распределение, автокорреляция и связь с уравнением Ланжевена.

Сходимость метода простой итерации: условие и оценка
Сходимость метода простой итерации для уравнения : принцип сжимающих отображений, условие , скорость и априорная оценка погрешности, примеры и типичные ошибки.

Квадратурная формула Гаусса: узлы и веса
Квадратурная формула Гаусса: узлы как корни полиномов Лежандра, веса квадратуры, алгебраическая точность 2n−1, формула Гаусса-Лежандра, пересчёт на отрезок [a,b] и оценка погрешности.

Условный экстремум: множители Лагранжа без зубрёжки
Условный экстремум функции нескольких переменных через множители Лагранжа: функция Лагранжа, система уравнений, проверка на минимум и максимум, окаймлённый гессиан и типичные ошибки.

Метод ветвей и границ: задача коммивояжёра по шагам
Метод ветвей и границ для задачи коммивояжёра: матрица расстояний, приведение строк и столбцов, нижняя граница, дерево ветвления и отсечение бесперспективных маршрутов.

Радиус и диаметр графа: как считать эксцентриситет
Что такое радиус и диаметр графа и как через эксцентриситет вершин найти центр и периферию графа. Формулы, пошаговый пример и связь с расстояниями между вершинами.

Алгоритм Метрополиса-Гастингса: как работает MCMC
Алгоритм Метрополиса-Гастингса позволяет сэмплировать из сложного распределения через цепь Маркова. Разбираем шаг принятия, detailed balance и сходимость на понятных примерах.

Формула Эйлера-Маклорена: разбор и применение
Формула Эйлера-Маклорена связывает сумму с интегралом через числа Бернулли и остаточный член. Разбор формулировки, доказательства и классических приложений.

Лемма Фату: формулировка, доказательство и применения
Лемма Фату: для неотрицательных измеримых выполнено . Доказательство через монотонную сходимость, связь с DCT.

Локализация кольца: конструкция и геометрия
Локализация кольца в коммутативной алгебре: конструкция через классы дробей, поле частных, локальное кольцо , плоскость, стебли пучка на Spec.

Алгоритм Грэхема: строим выпуклую оболочку точек
Алгоритм Грэхема строит выпуклую оболочку набора точек за O(n log n): опорная точка, сортировка по углу и обход стеком. Разбираем шаги и проверку поворота.

Теоремы Силова: существование, сопряжённость, число подгрупп
Теоремы Силова о -подгруппах конечной группы: существование силовской подгруппы порядка , сопряжённость всех таких подгрупп, арифметика числа и примеры классификации.

Нильпотентная группа: определение, класс, примеры
Нильпотентная группа: стабилизация нижнего и верхнего центральных рядов, класс нильпотентности, теорема о прямом произведении силовских p-подгрупп и примеры.

Теорема Гильберта о базисе: формулировка и доказательство
Теорема Гильберта о базисе 1890 года: если кольцо R нётерово, то R[x] тоже нётерово. Идея доказательства, следствия для алгебраической геометрии и типовые задачи.

Оператор Лапласа-Бельтрами: формула, спектр и тепловое ядро
Оператор Лапласа-Бельтрами: обобщение лапласиана на риманово многообразие. Разбираем формулу через метрический тензор, спектр, тепловое ядро и асимптотику Вейля с примерами.

Расслоение Хопфа: со слоем
Расслоение Хопфа: первый нетривиальный пример со слоем , кватернионная и октонионная Hopf-фибрации, число Хопфа, , сфера Блоха.

Сопряжённые функторы: биекция Hom, единица и примеры
Сопряжённые функторы: естественная биекция Hom-наборов, левый и правый сопряжённый, единица и коединица, классические примеры и сохранение пределов в теории категорий.

Теорема Лагранжа для групп: порядок, индекс, следствия
Теорема Лагранжа для конечных групп: порядок подгруппы делит порядок группы, индекс и классы смежности, доказательство, малая Ферма и Эйлер, контрпример .

Алгоритм Чана: как строить выпуклую оболочку за O(n log h)
Алгоритм Чана строит выпуклую оболочку n точек за O(n log h): разбор идеи с угадыванием числа вершин h, комбинацией Graham scan и Jarvis march по шагам.

Неравенство Гёльдера для интегралов: формулы и применение
Неравенство Гёльдера для интеграла: формулировка с сопряжёнными показателями p и q, доказательство через неравенство Юнга, частные случаи и применение в пространствах L^p.

B-дерево: вставка ключа и разделение узла
Разбираем вставку в B-дерево по шагам: минимальная степень t, инвариант t-1..2t-1 ключей и разделение переполненного узла с подъёмом среднего ключа к родителю.

Проективный модуль: определения, свойства, K-теория
Проективный модуль над кольцом : подъём гомоморфизма через сюръекцию, прямое слагаемое свободного, эквивалентность для PID и локальных колец, роль в K-теории.

Уравнение Бесселя: решение через и
Уравнение Бесселя: решение методом Фробениуса, функции Бесселя первого и второго рода, цилиндрическая симметрия и физические приложения от мембраны до волноводов.