Математики решили 80-летнюю загадку оптимизации: почему симплекс-метод работает лучше теории

Математики нашли способ ускорить алгоритм оптимизации возрастом 80 лет

В 1939 году студент Джордж Данциг опоздал на лекцию и принял две задачи на доске за домашнее задание. Не зная, что это нерешенные проблемы статистики, он потратил несколько дней на их решение — и заложил основу для симплекс-метода. Спустя 80 лет этот алгоритм остается одним из самых используемых инструментов для оптимизации логистики и цепочек поставок.

Представьте мебельную компанию, которая делает 3 вида продукции: шкафы, кровати и стулья. Шкафы в 3 раза прибыльнее стульев, кровати — в 2 раза. Компания может производить максимум 50 предметов в месяц, не более 20 шкафов и не более 24 стульев из-за лимитов древесины. Симплекс-метод превращает такие задачи в геометрическую головоломку, где нужно найти кратчайший путь по вершинам многогранника.

Главная проблема метода заключалась в том, что в 1972 году математики доказали: в худшем случае время выполнения может расти экспоненциально с количеством ограничений. Это как блуждание по лабиринту, где на каждом углу вам указывают неправильное направление — теоретически можно идти самым долгим путем от точки А до точки Б.

В 2001 году Дэниел Спилман и Шанг-Хуа Тенг показали, что крошечная доля случайности может предотвратить катастрофический сценарий. Если в каждой точке есть 6 вариантов пути, и вместо следования худшему совету вы бросаете кости, то получите 5 из 6 шансов избежать неудачного выбора. Они доказали, что время выполнения никогда не превысит полиномиальное — например, n² вместо катастрофического 2ⁿ.

Теперь Софи Хьюибертс из Французского национального центра научных исследований и Элеон Бах из Технического университета Мюнхена представят в декабре 2025 года новую работу на конференции Foundations of Computer Science. Они не только ускорили алгоритм, но и объяснили теоретически, почему экспоненциальные времена выполнения не материализуются на практике. Всего-то потребовалось 80 лет, чтобы окончательно разобраться с методом, который уже давно работает быстро.

Источник новости и обложки: www.quantamagazine.org


Работаю главным редактором proglib.io — опубликовал более 800 статей и создал популярные рассылки о нейросетях и разработке. Помимо редактуры владею Python, с его помощью автоматизирую повседневные задачи.

Аватар пользователя Мирослав Кунгуров