Математическое программирование с ограничениями взаимодополняемости (MPEC)
При математическом моделировании инженерных конструкций (например, контактное взаимодействие деталей в механике), рыночных равновесий и процессов налогообложения исследователи операций регулярно сталкиваются с особым типом логических условий — условиями взаимодополняемости (Complementarity Conditions). Они требуют, чтобы из двух взаимосвязанных неотрицательных переменных хотя бы одна была строго равна нулю. Попытка внедрить такие ограничения в классические задачи оптимизации привела к появлению сложнейшего и неклассического раздела математики — Математического программирования с ограничениями взаимодополняемости (MPEC). Этот класс задач знаменит тем, что он грубо нарушает базовые теоремы оптимизации, делая невозможным прямое применение коммерческих солверов.