Классическая задача коммивояжера (TSP) требует найти кратчайший замкнутый маршрут через заданное множество городов. Однако в современной логистике, обслуживании банкоматов и доставке грузов дронами простого учета расстояния недостаточно. Клиенты требуют прибытия курьера строго в оговоренные интервалы времени (например, с 14:00 до 16:00). Введение этих временных ограничений порождает Задачу коммивояжера с временными окнами (Traveling Salesman Problem with Time Windows, TSPTW). Это алгебраическое усложнение делает задачу асимметричной и превращает поиск допустимого решения (не говоря уже об оптимальном) в сложнейший вызов для алгоритмов исследования операций.

Среди бесчисленного множества методов нелинейной оптимизации геометрическое программирование (ГП) занимает совершенно особое место благодаря своей уникальной алгебраической структуре. Зародившись в 1960-х годах благодаря трудам Ричарда Даффина, Элмора Петерсона и Кларенса Зинера, этот метод был специально создан для решения сложных инженерных задач проектирования. В то время как большинство нелинейных моделей страдают от проблемы локальных минимумов, геометрическое программирование с помощью элегантных логарифмических преобразований переводит невыпуклые физические уравнения в класс строго выпуклых задач, гарантируя нахождение абсолютно идеального глобального оптимума при проектировании микросхем, авиационных двигателей и химических реакторов.

Базовое квадратичное программирование произвело революцию в портфельной теории, но его классическая формулировка допускает лишь линейные ограничения. В инженерном проектировании, обработке сигналов, задачах локации и оптимальном распределении потоков мощности в электросетях (Optimal Power Flow) сами физические законы (например, закон Ома или расчеты евклидовых расстояний) накладывают на переменные нелинейные, квадратичные ограничения. Задача квадратичного программирования с квадратичными ограничениями (QCQP) является одним из самых мощных, но одновременно и самых вычислительно сложных классов задач оптимизации. Ее решение требует применения виртуозных алгебраических релаксаций и передовых методов выпуклого анализа.