Abstract:Bilevel optimization is a field of mathematical programming in which some variables are constrained to be the solution of another optimization problem. As a consequence, bilevel optimization is able to model hierarchical decision processes. This is appealing for modeling real-world problems, but it also makes the resulting optimization models hard to solve in theory and practice. The scientific interest in computational bilevel optimization increased a lot over the last decade and is still growing. Independent of whether the bilevel problem itself contains integer variables or not, many state-of-the-art solution approaches for bilevel optimization make use of techniques that originate from mixed-integer programming. These techniques include branch-and-bound methods, cutting planes and, thus, branch-and-cut approaches, or problem-specific decomposition methods. In this survey article, we review bilevel-tailored approaches that exploit these mixed-integer programming techniques to solve bilevel optimization problems. To this end, we first consider bilevel problems with convex or, in particular, linear lower-level problems. The discussed solution methods in this field stem from original works from the 1980’s but, on the other hand, are still actively researched today. Second, we review modern algorithmic approaches to solve mixed-integer bilevel problems that contain integrality constraints in the lower level. Moreover, we also briefly discuss the area of mixed-integer nonlinear bilevel problems. Third, we devote some attention to more specific fields such as pricing or interdiction models that genuinely contain bilinear and thus nonconvex aspects. Finally, we sketch a list of open questions from the areas of algorithmic and computational bilevel optimization, which may lead to interesting future research that will further propel this fascinating and active field of research.

On the Complexity of Nonlinear Mixed-Integer Optimization

Non-convex mixed-integer nonlinear programming: A survey

Applications and algorithms for mixed integer nonlinear programming

Undecidability and hardness in mixed-integer nonlinear programming

On Nonlinear Simultaneous Approximation Problems

Mixed integer nonlinear programming tools: an updated practical overview

Information Complexity of Mixed-integer Convex Optimization

A Survey on Mixed-Integer Programming Techniques in Bilevel Optimization

Convex Optimization: Algorithms and Complexity

On generalized surrogate duality in mixed-integer nonlinear programming

On Nonlinear Coapproximation in Banach Spaces

Multiobjective Optimization of Non-Smooth PDE-Constrained Problems

Global optimization of mixed-integer nonlinear programs: A theoretical and computational study

Uniform-Circuit and Logarithmic-Space Approximations of Refined Combinatorial Optimization Problems

Intrinsic complexity estimates in polynomial optimization 1

Multitype Integer Monoid Optimization and Applications

Mixed-integer nonlinear programming 2018

Convex Discrete Optimization

Computing Optimality Certificates for Convex Mixed-Integer Nonlinear Problems

On the Oracle Complexity of Higher-Order Smooth Non-Convex Finite-Sum Optimization