Классические методы локального поиска (Local Search) — это жадные алгоритмы, которые пытаются улучшить текущее решение, переходя к наилучшему варианту в его ближайшей окрестности. Их фатальный недостаток заключается в том, что как только они достигают дна любой локальной впадины целевой функции, из которой нет путей вниз, они останавливаются, принимая этот локальный оптимум за глобальный. Чтобы научить компьютер выбираться из таких математических ловушек, в конце 1980-х годов Фред Гловер разработал алгоритм Поиска с запретами (Tabu Search). Внедрение механизма искусственной памяти позволило алгоритмам целенаправленно преодолевать барьеры ухудшения целевой функции без риска зацикливания.

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

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