Алгоритм ветвей и границ (Branch and Bound) — это универсальная алгоритмическая парадигма, лежащая в основе решения подавляющего большинства NP-трудных задач комбинаторной оптимизации и целочисленного программирования. В отличие от слепого полного перебора, этот метод использует интеллектуальное отсечение бесперспективных вариантов, позволяя находить точные глобальные оптимумы для сложнейших логистических, производственных и сетевых моделей, размерность которых исключает возможность прямого решения.

Интеграция теории массового обслуживания (ТМО) и математического программирования открывает широкие возможности для решения сложных задач оптимизации сервисных систем, IT-инфраструктур и телекоммуникационных сетей. В то время как ТМО предоставляет строгие аналитические формулы для расчета характеристик вероятностных очередей, математическое программирование используется для поиска оптимального баланса между капитальными затратами на пропускную способность и финансовыми потерями бизнеса от длительного ожидания клиентов.

Марковские процессы принятия решений (Markov Decision Processes, MDP) предоставляют строгую математическую основу для стохастического динамического программирования. Они используются для оптимизации последовательности решений в среде, где результаты действий частично случайны, а частично зависят от выбора принимающего решение агента. Сегодня MDP образуют фундаментальную парадигму для современного машинного обучения с подкреплением (Reinforcement Learning), автономной робототехники и управления сложными производственными процессами.

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