Main menu
Исследование операций

Исследование операций (110)

Проблема P против NP: фундаментальный предел в дискретной оптимизации

Завершая погружение в архитектуру исследования операций, невозможно обойти стороной самый главный, неразрешенный вопрос современной математики и информатики, входящий в список семи Задач тысячелетия (Millennium Prize Problems). Поиск оптимальных маршрутов, расписаний станков, распределение частот и упаковка контейнеров — все эти практические инженерные задачи наталкиваются на невидимую, но несокрушимую стену комбинаторного взрыва. Суть этого глобального барьера кроется в проблеме «P против NP», которая задает глубокий философский вопрос: если мы можем быстро проверить правильность решения задачи, означает ли это, что мы можем так же быстро это решение найти?

Подробнее

Цена анархии (Price of Anarchy): количественная оценка эгоизма в транспортных сетях

Когда каждый водитель в мегаполисе выбирает свой маршрут на работу, он руководствуется исключительно эгоистичной целью — минимизировать собственное время в пути (состояние пользовательского равновесия Вардропа). Однако это индивидуальное поведение неизбежно приводит к перегрузке критических транспортных узлов, ухудшая общую ситуацию для всех. Если бы машинами управлял центральный суперкомпьютер (социальный оптимум), общее время всех людей в пробках было бы значительно меньше. В 1999 году математики Христос Пападимитриу и Элиас Куцупиас ввели в теорию игр и исследование операций концепцию «Цены анархии» (Price of Anarchy, PoA) — точную алгебраическую метрику, измеряющую финансовую и временную плату общества за отсутствие централизованного контроля.

Подробнее

Субмодульная оптимизация: закон убывающей отдачи в дискретной математике

В экономике хорошо известен закон убывающей предельной полезности: каждый следующий съеденный кусок торта приносит меньше удовольствия, чем предыдущий. В дискретной математике и исследовании операций аналогом этого закона является свойство субмодулярности. Оно описывает функции множеств, для которых добавление нового элемента к небольшому множеству дает больший прирост ценности, чем добавление того же элемента к более крупному множеству. Задачи субмодульной оптимизации возникают повсеместно: от оптимального размещения датчиков качества воды в городской водопроводе до выбора лидеров мнений для вирусного маркетинга в социальных сетях.

Подробнее

Формула Литтла: универсальный закон теории массового обслуживания и бережливого производства

Среди сотен сложных дифференциальных уравнений и марковских матриц, составляющих теорию массового обслуживания, существует один закон, поражающий своей математической простотой и абсолютной универсальностью. В 1961 году профессор MIT Джон Литтл строго доказал формулу, связывающую три главных параметра любой системы очередей: среднее количество заявок в системе (L), среднюю интенсивность входящего потока (лямбда) и среднее время нахождения заявки в системе (W). Уравнение L = лямбда * W стало фундаментом не только для телекоммуникационной инженерии, но и для философии бережливого производства (Lean Manufacturing) по всему миру.

Подробнее

Декомпозиция Бендерса: разделяй и властвуй в смешанно-целочисленном программировании

Задачи стратегического планирования, такие как проектирование цепей поставок, часто содержат два принципиально разных типа переменных. С одной стороны, это бинарные решения (строить ли завод в этом городе?), а с другой — непрерывные переменные (сколько тонн груза отправить с этого завода?). Попытка решить такую смешанно-целочисленную задачу (MILP) единым блоком приводит к катастрофическому замедлению расчетов из-за огромного дерева перебора. В 1962 году голландский математик Жак Бендерс предложил элегантный алгоритм разложения, который математически изолирует сложные целочисленные переменные от простых непрерывных, совершив революцию в промышленной оптимизации.

Подробнее

Динамическая маршрутизация транспортных средств (Dynamic VRP) и диспетчеризация в реальном времени

Классические задачи маршрутизации транспорта (VRP) относятся к классу статической оптимизации: логист получает полный список заказов вечером, всю ночь суперкомпьютер рассчитывает идеальные маршруты, и утром машины выезжают из депо по жесткому графику. Однако с появлением электронной коммерции (Uber, доставка еды, службы экстренного реагирования) информационная парадигма изменилась. Половина или даже все заказы возникают в режиме реального времени, когда курьеры уже находятся на линии. Для управления этим стохастическим хаосом была создана Динамическая задача маршрутизации (Dynamic VRP, DVRP), требующая передовых алгоритмов перераспределения ресурсов на лету.

Подробнее

Метод эллипсоидов Леонида Хачияна: доказательство полиномиальной сложности линейного программирования

Симплекс-метод, разработанный Джорджем Данцигом в 1947 году, превосходно и быстро решал 99 процентов промышленных задач линейного программирования (ЛП). Однако в 1972 году математики Виктор Кли и Джордж Минти сконструировали искусственный многогранник (Куб Кли-Минти), на котором симплекс-метод был вынужден обойти абсолютно все вершины, что требовало экспоненциального времени вычислений. Это породило главную интригу дискретной математики XX века: относится ли линейное программирование к классу задач $P$ (решаемых за полиномиальное время)? В 1979 году советский математик Леонид Хачиян потряс мировой научный мир, опубликовав Метод эллипсоидов, навсегда доказавший, что линейное программирование строго полиномиально.

Подробнее

Условная стоимость риска (CVaR): когерентные меры риска в финансовой оптимизации

На протяжении десятилетий мировые банки и хедж-фонды измеряли финансовые риски своих инвестиционных портфелей с помощью метрики Value at Risk (VaR). VaR отвечает на простой вопрос: «какую максимальную сумму мы можем потерять в 99 процентах случаев?». Однако кризис 2008 года показал фатальный математический недостаток VaR: эта метрика абсолютно слепа к тому, что происходит в оставшемся 1 проценте наихудших сценариев. Если убыток превышает VaR, он может привести к мгновенному банкротству. Для решения этой проблемы Р. Тиррелл Рокафеллар и Станислав Урясев в 2000 году внедрили в исследование операций концепцию Условной стоимости риска (Conditional Value at Risk, CVaR), ставшую новым золотым стандартом портфельного моделирования.

Подробнее

Маршрутизация по дугам: Задача китайского почтальона (CPP) и снегоуборочная логистика

Классическая задача коммивояжера (TSP) требует объехать заданный набор точек (вершин графа). Однако существует гигантский класс логистических проблем, где целью является обслуживание не узлов, а самих дорог (ребер графа). Сбор мусора, уборка снега, заливка битума, патрулирование улиц полицией и инспекция железнодорожных путей требуют, чтобы техника прошла по каждой улице города как минимум один раз. Этот класс задач в исследовании операций называется Маршрутизацией по дугам (Arc Routing Problem). Самой известной базовой моделью этого семейства является Задача китайского почтальона, впервые сформулированная математиком Мэй-Ко Кваном в 1962 году.

Подробнее

Алгоритм Лемке-Хаусона: комбинаторный поиск равновесия Нэша в биматричных играх

Концепция равновесия Нэша стала философским и математическим фундаментом современной теории игр, доказав, что в любой конечной игре всегда существует хотя бы одна стабильная точка в смешанных стратегиях. Однако теорема Джона Нэша (опирающаяся на теорему Какутани о неподвижной точке) носила исключительно экзистенциальный характер — она доказывала существование равновесия, но не давала алгоритма для его нахождения. Только в 1964 году математики Карлтон Лемке и Джозеф Хаусон разработали элегантный комбинаторный метод, который позволил компьютерам алгоритмически вычислять точные равновесия Нэша для игр двух лиц с ненулевой суммой (биматричных игр).

Подробнее
Subscribe to this RSS feed

Соц. сети