A Review of Bilevel Optimization: Methods, Emerging Applications, and Recent Advancements
Dhaval Pujara, Ankur Sinha
TL;DR
This survey consolidates the theoretical foundations and algorithmic strategies for bilevel optimization, detailing optimistic and pessimistic formulations, and surveying classical (KKT, duality, value function, penalty, trust-region) and evolutionary methods. It also covers mixed-integer and multiobjective extensions, and situates these methods in real-world contexts such as tolling, interdiction, and NAS. Key contributions include the Bilevel Optimization based Decomposition (BOBD) framework and the formalization of NAS within a bilevel paradigm, illustrating practical automation of optimization and architecture search. The paper highlights ongoing challenges—particularly discrete and multiobjective bilevel problems—and argues for scalable, hybrid, and application-driven approaches moving forward.
Abstract
This paper presents a comprehensive review of techniques proposed in the literature for solving bilevel optimization problems encountered in various real-life applications. Bilevel optimization is an appropriate choice for hierarchical decision-making situations, where a decision-maker needs to consider a possible response from stakeholder(s) for each of its actions to achieve his own goals. Mathematically, it leads to a nested optimization structure, in which a primary (leader's) optimization problem contains a secondary (follower's) optimization problem as a constraint. Various forms of bilevel problems, including linear, mixed-integer, single-objective, and multi-objective, are covered. For bilevel problem solving methods, various classical and evolutionary approaches are explained. Along with an overview of various areas of applications, two recent considerations of bilevel approach are introduced. The first application involves a bilevel decomposition approach for solving general optimization problems, and the second application involves Neural Architecture Search (NAS), which is a prime example of a bilevel optimization problem in the area of machine learning.
