A Survey on Mixed-Integer Programming Techniques in Bilevel Optimization

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 problemspecific 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.

[1]  Ailsa H. Land,et al.  An Automatic Method of Solving Discrete Programming Problems , 1960 .

[2]  Alain Zemkoho,et al.  Gauss–Newton-type methods for bilevel optimization , 2020 .

[3]  J. Bard Optimality conditions for the bilevel programming problem , 1984 .

[4]  Hamamache Kheddouci,et al.  The Critical Node Detection Problem in networks: A survey , 2018, Comput. Sci. Rev..

[5]  Patrice Marcotte,et al.  An overview of bilevel optimization , 2007, Ann. Oper. Res..

[6]  Jonathan Cole Smith,et al.  Polynomial‐time algorithms for solving a class of critical node problems on trees and series‐parallel graphs , 2012, Networks.

[7]  Martine Labbé,et al.  New formulations and valid inequalities for a bilevel pricing problem , 2008, Oper. Res. Lett..

[8]  Gerhard J. Woeginger,et al.  Bilevel programming and the separation problem , 2013, Mathematical Programming.

[9]  Jonathan F. BARD,et al.  Convex two-level optimization , 1988, Math. Program..

[10]  R. Kevin Wood,et al.  The multi-terminal maximum-flow network-interdiction problem , 2011, Eur. J. Oper. Res..

[11]  Sarit Kraus,et al.  Playing games for security: an efficient exact algorithm for solving Bayesian Stackelberg games , 2008, AAMAS.

[12]  Paolo Frasconi,et al.  Bilevel Programming for Hyperparameter Optimization and Meta-Learning , 2018, ICML.

[13]  Alexander Mitsos,et al.  Global solution of nonlinear mixed-integer bilevel programs , 2010, J. Glob. Optim..

[14]  Arthur W. Westerberg,et al.  Optimization for design problems having more than one objective , 1983 .

[15]  Jonathan Cole Smith,et al.  A Value-Function-Based Exact Approach for the Bilevel Mixed-Integer Programming Problem , 2017, Oper. Res..

[16]  Ted K. Ralphs,et al.  A Branch-and-cut Algorithm for Integer Bilevel Linear Programs , 2009 .

[17]  G. Nemhauser,et al.  Integer Programming , 2020 .

[18]  Pan Xu,et al.  An exact algorithm for the bilevel mixed integer linear programming problem under three simplifying assumptions , 2014, Comput. Oper. Res..

[19]  Berç Rustem,et al.  Parametric global optimisation for bilevel programming , 2007, J. Glob. Optim..

[20]  Dominique de Werra,et al.  Minimum d-blockers and d-transversals in graphs , 2011, J. Comb. Optim..

[21]  Gregory Dobson,et al.  Positioning and Pricing a Product Line , 1988 .

[22]  R. Kevin Wood,et al.  Shortest‐path network interdiction , 2002, Networks.

[23]  David E. Boyce,et al.  Construction of a real-world bilevel linear programming model of the highway network design problem , 1992, Ann. Oper. Res..

[24]  Stephan Dempe,et al.  Foundations of Bilevel Programming , 2002 .

[25]  A. Conejo,et al.  Pool Strategy of a Producer With Endogenous Formation of Locational Marginal Prices , 2009, IEEE Transactions on Power Systems.

[26]  Marina Leal,et al.  Global optimization for bilevel portfolio design: Economic insights from the Dow Jones index , 2020, Omega.

[27]  David P. Morton,et al.  Stochastic Network Interdiction , 1998, Oper. Res..

[28]  David E. Boyce,et al.  A bilevel programming algorithm for exact solution of the network design problem with user-optimal flows , 1986 .

[29]  Patrice Marcotte,et al.  An approximation algorithm for Stackelberg network pricing , 2004, Networks.

[30]  Milind Tambe,et al.  TRUSTS: Scheduling Randomized Patrols for Fare Inspection in Transit Systems , 2012, IAAI.

[31]  Xiangpei Hu,et al.  An enhanced branch-and-bound algorithm for bilevel integer linear programming , 2020, Eur. J. Oper. Res..

[32]  Bo Zeng Solving Bilevel Mixed Integer Program by Reformulations and Decomposition June , 2014 , 2014 .

[33]  Claire S. Adjiman,et al.  BASBL: Branch-And-Sandwich BiLevel solver. Implementation and computational study with the BASBLib test set , 2020, Comput. Chem. Eng..

[34]  Marcia Helena Costa Fampa,et al.  Bilevel optimization applied to strategic pricing in competitive electricity markets , 2008, Comput. Optim. Appl..

[35]  Martine Labbé,et al.  A study of general and security Stackelberg game formulations , 2019, Eur. J. Oper. Res..

[36]  Vladislav Rutenburg,et al.  Propositional truth maintenance systems: Classification and complexity analysis , 1994, Annals of Mathematics and Artificial Intelligence.

[37]  Vincent Conitzer,et al.  Stackelberg vs. Nash in Security Games: An Extended Investigation of Interchangeability, Equivalence, and Uniqueness , 2011, J. Artif. Intell. Res..

[38]  Efstratios N. Pistikopoulos,et al.  A multi-parametric optimization approach for bilevel mixed-integer linear and quadratic programming problems , 2019, Comput. Chem. Eng..

[39]  Christian Kirches,et al.  Mixed-integer nonlinear optimization*† , 2013, Acta Numerica.

[40]  F.D. Galiana,et al.  A mixed-integer LP procedure for the analysis of electric grid security under disruptive threat , 2005, IEEE Transactions on Power Systems.

[41]  Marianthi G. Ierapetritou,et al.  Resolution method for mixed integer bi-level linear problems based on decomposition technique , 2009, J. Glob. Optim..

[42]  Patrice Marcotte,et al.  Bilevel programming: A survey , 2005, 4OR.

[43]  Pierre Hansen,et al.  New Branch-and-Bound Rules for Linear Bilevel Programming , 1989, SIAM J. Sci. Comput..

[44]  J. Salmeron,et al.  Worst-Case Interdiction Analysis of Large-Scale Electric Power Grids , 2009, IEEE Transactions on Power Systems.

[45]  Berç Rustem,et al.  Pessimistic Bilevel Optimization , 2013, SIAM J. Optim..

[46]  Egon Balas,et al.  Intersection Cuts - A New Type of Cutting Planes for Integer Programming , 1971, Oper. Res..

[47]  Fabio Furini,et al.  On integer and bilevel formulations for the k-vertex cut problem , 2019, Mathematical Programming Computation.

[48]  Jacques F. Benders,et al.  Partitioning procedures for solving mixed-variables programming problems , 2005, Comput. Manag. Sci..

[49]  S. Goldberg There's no free lunch? , 2005, The Journal of invasive cardiology.

[50]  Zhen Wang,et al.  Computing Optimal Monitoring Strategy for Detecting Terrorist Plots , 2016, AAAI.

[51]  J. E. Kelley,et al.  The Cutting-Plane Method for Solving Convex Programs , 1960 .

[52]  Martine Labbé Bilevel Programming and Price Setting Problems , 2006, OR.

[53]  Richard L. Church,et al.  A bilevel mixed-integer program for critical infrastructure protection planning , 2008, Comput. Oper. Res..

[54]  Athanasios Migdalas,et al.  Bilevel programming in traffic planning: Models, methods and challenge , 1995, J. Glob. Optim..

[55]  Sarit Kraus,et al.  Robust Solutions in Stackelberg Games : Addressing Boundedly Rational Human Preference Models , 2008 .

[56]  Martin Schmidt,et al.  Why there is no need to use a big-M in linear bilevel optimization: a computational study of two ready-to-use approaches , 2023, Computational Management Science.

[57]  J. Cole Smith,et al.  A Backward Sampling Framework for Interdiction Problems with Fortification , 2017, INFORMS J. Comput..

[58]  Delbert Ray Fulkerson,et al.  Maximizing the minimum source-sink path subject to a budget constraint , 1977, Math. Program..

[59]  Alain B. Zemkoho,et al.  Two-level value function approach to non-smooth optimistic and pessimistic bilevel programs , 2017, Optimization.

[60]  G. Dobson,et al.  Heuristics for pricing and positioning a product-line using conjoint and cost data , 1993 .

[61]  Rico Zenklusen,et al.  Matching interdiction , 2008, Discret. Appl. Math..

[62]  Remigijus Paulavičius,et al.  BASBLib - a library of bilevel test problems , 2019 .

[63]  R. Selten,et al.  A Generalized Nash Solution for Two-Person Bargaining Games with Incomplete Information , 1972 .

[64]  S. Dempe,et al.  Risk-Averse Models in Bilevel Stochastic Linear Programming , 2019, SIAM J. Optim..

[65]  Vincent Conitzer,et al.  Complexity of Computing Optimal Stackelberg Strategies in Security Resource Allocation Games , 2010, AAAI.

[66]  Martine Labbé,et al.  Network pricing problem with unit toll , 2017, Networks.

[67]  Bo An,et al.  Stackelberg Security Games: Looking Beyond a Decade of Success , 2018, IJCAI.

[68]  Ignacio E. Grossmann,et al.  An outer-approximation algorithm for a class of mixed-integer nonlinear programs , 1987, Math. Program..

[69]  Tiesong Hu,et al.  A penalty function method based on Kuhn-Tucker condition for solving linear bilevel programming , 2007, Appl. Math. Comput..

[70]  Patrice Marcotte,et al.  Network design problem with congestion effects: A case of bilevel programming , 1983, Math. Program..

[71]  N. Assimakopoulos,et al.  A network interdiction model for hospital infection control. , 1987, Computers in biology and medicine.

[72]  David E. Boyce,et al.  A general bilevel linear programming formulation of the network design problem , 1988 .

[73]  I. Kuzle,et al.  Yearly Maintenance Scheduling of Transmission Lines Within a Market Environment , 2012, IEEE Transactions on Power Systems.

[74]  Martin Schmidt,et al.  Technical Note - There's No Free Lunch: On the Hardness of Choosing a Correct Big-M in Bilevel Optimization , 2019, Oper. Res..

[75]  Jonathan F. Bard,et al.  Algorithms for nonlinear bilevel mathematical programs , 1991, IEEE Trans. Syst. Man Cybern..

[76]  Gwenaël Joret Stackelberg network pricing is hard to approximate , 2011, Networks.

[77]  Zsolt Tuza,et al.  The most vital nodes with respect to independent set and vertex cover , 2011, Discret. Appl. Math..

[78]  Paul H. Calamai,et al.  Bilevel and multilevel programming: A bibliography review , 1994, J. Glob. Optim..

[79]  Jonathan Cole Smith,et al.  Exact interdiction models and algorithms for disconnecting networks via node deletions , 2012, Discret. Optim..

[80]  Pierre Hansen,et al.  Links Between Linear Bilevel and Mixed 0–1 Programming Problems , 1995 .

[81]  Remark on the Constraint Sets in Linear Programming , 1961 .

[82]  S. Dempe,et al.  Reduction of the bilevel stochastic optimization problem with quantile objective function to a mixed-integer problem , 2017 .

[83]  Steven A. Gabriel,et al.  Supply chain competition on shelf space and pricing for soft drinks: A bilevel optimization approach , 2019, International Journal of Production Economics.

[84]  Georg Still Linear bilevel problems: Genericity results and an efficient method for computing local minima , 2002, Math. Methods Oper. Res..

[85]  Gérard Cornuéjols,et al.  An algorithmic framework for convex mixed integer nonlinear programs , 2008, Discret. Optim..

[86]  Claire S. Adjiman,et al.  Branch-and-Sandwich: a deterministic global optimization algorithm for optimistic bilevel programming problems. Part I: Theoretical development , 2014, Journal of Global Optimization.

[87]  Claire S. Adjiman,et al.  A generalization of the Branch-and-Sandwich algorithm: From continuous to mixed-integer nonlinear bilevel problems , 2015, Comput. Chem. Eng..

[88]  Bo An,et al.  PROTECT: a deployed game theoretic system to protect the ports of the United States , 2012, AAMAS.

[89]  Martine Labbé,et al.  A parallel between two classes of pricing problems in transportation and marketing , 2010 .

[90]  Herminia I. Calvete,et al.  The bilevel linear/linear fractional programming problem , 1999, Eur. J. Oper. Res..

[91]  Lei Zhang,et al.  Mixed-integer bilevel optimization for capacity planning with rational markets , 2016, Comput. Chem. Eng..

[92]  P. Pinson,et al.  A Transmission-Cost-Based Model to Estimate the Amount of Market-Integrable Wind Resources , 2012, IEEE Transactions on Power Systems.

[93]  Zhong Chen,et al.  Pessimistic Bilevel Optimization: A Survey , 2018, Int. J. Comput. Intell. Syst..

[94]  J. Bard,et al.  An algorithm for the discrete bilevel programming problem , 1992 .

[95]  S. Dempe,et al.  Solution of bilevel optimization problems using the KKT approach , 2019, Optimization.

[96]  Jane J. Ye,et al.  Optimality conditions for bilevel programming problems , 1995 .

[97]  Bethany L. Nicholson,et al.  Mathematical Programs with Equilibrium Constraints , 2021, Pyomo — Optimization Modeling in Python.

[98]  Martine Labbé,et al.  Joint Design and Pricing on a Network , 2008, Oper. Res..

[99]  Eitan Israeli,et al.  System Interdiction and Defense. , 1999 .

[100]  Christodoulos A. Floudas,et al.  Mixed Integer Nonlinear Programming , 2009, Encyclopedia of Optimization.

[101]  Natalia Alguacil,et al.  A trilevel programming approach for electric grid defense planning , 2014, Comput. Oper. Res..

[102]  Lars Schewe,et al.  A multilevel model of the European entry-exit gas market , 2018, Math. Methods Oper. Res..

[103]  Leo Liberti,et al.  Flying Safely by Bilevel Programming , 2019 .

[104]  Martin Schmidt,et al.  Closing the Gap in Linear Bilevel Optimization: A New Valid Primal-Dual Inequality , 2020 .

[105]  L. N. Vicente,et al.  Discrete linear bilevel programming problem , 1996 .

[106]  Milind Tambe,et al.  A unified method for handling discrete and continuous uncertainty in Bayesian Stackelberg games , 2012, AAMAS.

[107]  Claire S. Adjiman,et al.  Branch-and-Sandwich: a deterministic global optimization algorithm for optimistic bilevel programming problems. Part II: Convergence analysis and numerical results , 2014, Journal of Global Optimization.

[108]  Leo Liberti,et al.  Detecting and solving aircraft conflicts using bilevel programming , 2020 .

[109]  Stephan Dempe,et al.  Is bilevel programming a special case of a mathematical program with complementarity constraints? , 2012, Math. Program..

[110]  J. C. Smith,et al.  Algorithms for discrete and continuous multicommodity flow network interdiction problems , 2007 .

[111]  Andrea Lodi,et al.  Multilevel Approaches for the Critical Node Problem , 2021, Oper. Res..

[112]  Global optimization for the multilevel European gas market system with nonlinear flow models on trees , 2022, J. Glob. Optim..

[113]  Marco Di Summa,et al.  Branch and cut algorithms for detecting critical nodes in undirected graphs , 2012, Computational Optimization and Applications.

[114]  Sarit Kraus,et al.  Robust solutions to Stackelberg games: Addressing bounded rationality and limited observations in human cognition , 2010, Artif. Intell..

[115]  Herminia I. Calvete,et al.  Solving linear fractional bilevel programs , 2004, Oper. Res. Lett..

[116]  Zhiqing Meng,et al.  A penalty function method based on smoothing lower order penalty function , 2011, J. Comput. Appl. Math..

[117]  Maria Margarida da Silva Carvalho,et al.  Computation of equilibria on integer programming games , 2016 .

[118]  P. Smaglik Closing the gap , 2005, Nature.

[119]  José Fortuny-Amat,et al.  A Representation and Economic Interpretation of a Two-Level Programming Problem , 1981 .

[120]  Ue-Pyng Wen,et al.  Linear Bi-level Programming Problems — A Review , 1991 .

[121]  Pablo San Segundo,et al.  The maximum clique interdiction problem , 2019, Eur. J. Oper. Res..

[122]  Heinrich von Stackelberg,et al.  Stackelberg (Heinrich von) - The Theory of the Market Economy, translated from the German and with an introduction by Alan T. PEACOCK. , 1953 .

[123]  Zeynep H. Gümüş,et al.  Reactive distillation column design with vapor/liquid/liquid equilibria , 1997 .

[124]  Stan P. M. van Hoesel,et al.  An overview of Stackelberg pricing in networks , 2008, Eur. J. Oper. Res..

[125]  Stephan Dempe,et al.  Bilevel Optimization: Theory, Algorithms, Applications and a Bibliography , 2020, Bilevel Optimization.

[126]  Massimiliano Caramia,et al.  Enhanced exact algorithms for discrete bilevel linear problems , 2015, Optim. Lett..

[127]  Martine Labbé,et al.  Valid inequalities and branch-and-cut for the clique pricing problem , 2011, Discret. Optim..

[128]  Javier Salmeron,et al.  The Value of Recovery Transformers in Protecting an Electric Transmission Grid Against Attack , 2015, IEEE Transactions on Power Systems.

[129]  Wu Shiquan A CUTTING PLANE METHOD FOR LINEAR BILEVEL PROGRAMS , 1998 .

[130]  Luce Brotcorne,et al.  Near-optimal Robust Bilevel Optimization , 2019, ArXiv.

[131]  A. Williams,et al.  Boundedness relations for linear constraint sets , 1970 .

[132]  Sven Leyffer,et al.  Solving mixed integer nonlinear programs by outer approximation , 1994, Math. Program..

[133]  Federico Della Croce,et al.  A new exact approach for the Bilevel Knapsack with Interdiction Constraints , 2019, IPCO.

[134]  Martine Labbé,et al.  A polyhedral study of the network pricing problem with connected toll arcs , 2010, Networks.

[135]  Berç Rustem,et al.  Bilevel Programming Framework for Enterprise-Wide Process Networks Under Uncertainty , 2009, Encyclopedia of Optimization.

[136]  Arthur W. Westerberg,et al.  Bilevel programming for steady-state chemical process design , 1990 .

[137]  Martine Labbé,et al.  A Bilevel Model for Toll Optimization on a Multicommodity Transportation Network , 2000, Transp. Sci..

[138]  S. Gabriel,et al.  An SOS1-Based Approach for Solving MPECs with a Natural Gas Market Application , 2013 .

[139]  Carlos Eduardo Ferreira,et al.  The envy-free pricing problem, unit-demand markets and connections with the network pricing problem , 2016, Discret. Optim..

[140]  Eduardo L. Pasiliao,et al.  Minimum edge blocker dominating set problem , 2015, Eur. J. Oper. Res..

[141]  Oleg A. Prokopyev,et al.  A note on linearized reformulations for a class of bilevel linear integer problems , 2019, Ann. Oper. Res..

[142]  Jing Hu,et al.  Bilevel Optimization and Machine Learning , 2008, WCCI.

[143]  Robert G. Jeroslow,et al.  The polynomial hierarchy and a simple model for competitive analysis , 1985, Math. Program..

[144]  Robert McNaughton,et al.  Scheduling with Deadlines and Loss Functions , 1959 .

[145]  Didier Aussel,et al.  A trilevel model for best response in energy demand-side management , 2020, Eur. J. Oper. Res..

[146]  J. Cole Smith,et al.  A survey of network interdiction models and algorithms , 2020, Eur. J. Oper. Res..

[147]  B. Golden A problem in network interdiction , 1978 .

[148]  Alan Washburn,et al.  Two-Person Zero-Sum Games for Network Interdiction , 1995, Oper. Res..

[149]  Patrice Marcotte,et al.  Path-based formulations of a bilevel toll setting problem , 2006 .

[150]  Jonathan F. Bard,et al.  Coordination of a multidivisional organization through two levels of management , 1983 .

[151]  Jonathan Cole Smith,et al.  A class of algorithms for mixed-integer bilevel min–max optimization , 2015, Journal of Global Optimization.

[152]  Juan M. Morales,et al.  Efficiently solving linear bilevel programming problems using off-the-shelf optimization software , 2018 .

[153]  Sonja Wogrin,et al.  Applications of Bilevel Optimization in Energy and Electricity Markets , 2020 .

[154]  Y. Smeers,et al.  Bi-Level Game Approaches for Coordination of Generation and Transmission Expansion Planning Within a Market Environment , 2013, IEEE Transactions on Power Systems.

[155]  Bernard Fortz,et al.  A Branch-and-Cut Algorithm , 2000 .

[156]  A. Conejo,et al.  A Bilevel Approach to Transmission Expansion Planning Within a Market Environment , 2009, IEEE Transactions on Power Systems.

[157]  Justo Puerto,et al.  Computational comparisons of different formulations for the Stackelberg minimum spanning tree game , 2021, Int. Trans. Oper. Res..

[158]  Vincent Conitzer,et al.  Computing the optimal strategy to commit to , 2006, EC '06.

[159]  Fabio Furini,et al.  Casting Light on the Hidden Bilevel Combinatorial Structure of the Capacitated Vertex Separator Problem , 2021, Oper. Res..

[160]  Levent Tunçel,et al.  Maximum utility product pricing models and algorithms based on reservation price , 2011, Comput. Optim. Appl..

[161]  Manish Jain,et al.  Computing optimal randomized resource allocations for massive security games , 2009, AAMAS.

[162]  Fengqi You,et al.  Stackelberg-game-based modeling and optimization for supply chain design and operations: A mixed integer bilevel programming framework , 2017, Comput. Chem. Eng..

[163]  Miguel F. Anjos,et al.  Complexity of near-optimal robust versions of multilevel optimization problems , 2020, Optimization Letters.

[164]  Juan Miguel Morales,et al.  Solving Linear Bilevel Problems Using Big-Ms: Not All That Glitters Is Gold , 2018, IEEE Transactions on Power Systems.

[165]  Stan P. M. van Hoesel,et al.  Tariff Optimization in Networks , 2007, INFORMS J. Comput..

[166]  Dominique de Werra,et al.  Blockers and transversals , 2009, Discret. Math..

[167]  Giovanni Righini,et al.  Vehicle routing problems with different service constraints: A branch-and-cut-and-price algorithm , 2014, Networks.

[168]  Jeff T. Linderoth,et al.  Reformulation and sampling to solve a stochastic network interdiction problem , 2008, Networks.

[169]  Pierre-Louis Poirion,et al.  Algorithms and applications for a class of bilevel MILPs , 2020, Discret. Appl. Math..

[170]  Bo An,et al.  Security Games Applied to Real-World: Research Contributions and Challenges , 2013, Moving Target Defense.

[171]  Terry L. Friesz,et al.  Hierarchical optimization: An introduction , 1992, Ann. Oper. Res..

[172]  A. J. Conejo,et al.  Transmission and Wind Power Investment , 2012, IEEE Transactions on Power Systems.

[173]  Foad Mahdavi Pajouh,et al.  Minimum cost edge blocker clique problem , 2019, Annals of Operations Research.

[174]  A. J. Conejo,et al.  Equilibria in an Oligopolistic Electricity Pool With Stepwise Offer Curves , 2012, IEEE Transactions on Power Systems.

[175]  D. White,et al.  A solution method for the linear static Stackelberg problem using penalty functions , 1990 .

[176]  Fengqi You,et al.  A projection-based reformulation and decomposition algorithm for global optimization of a class of mixed integer bilevel linear programs , 2019, J. Glob. Optim..

[177]  Daniel Kuhn,et al.  Decision Rule Bounds for Two-Stage Stochastic Bilevel Programs , 2018, SIAM J. Optim..

[178]  Eduardo L. Pasiliao,et al.  Minimum vertex blocker clique problem , 2014, Networks.

[179]  T. Ralphs,et al.  Mixed integer bilevel optimization with a k-optimal follower: a hierarchy of bounds , 2022, Mathematical Programming Computation.

[180]  Fernando Ordóñez,et al.  A branch and price algorithm for a Stackelberg Security Game , 2017, Comput. Ind. Eng..

[181]  S. Minner,et al.  Benders Decomposition for Discrete–Continuous Linear Bilevel Problems with application to traffic network design , 2014 .

[182]  Patrice Marcotte,et al.  An exact algorithm for the network pricing problem , 2011, Discret. Optim..

[183]  P. I. Barton,et al.  Issues in the Development of Global Optimization Algorithms for Bilevel Programs with a Nonconvex Inner Program , 2006 .

[184]  Remigijus Paulavičius,et al.  New bounding schemes and algorithmic options for the Branch-and-Sandwich algorithm , 2020, Journal of Global Optimization.

[185]  Ying Zhang,et al.  The competitive facility location problem under disruption risks , 2016 .

[186]  Vincent Conitzer,et al.  Solving Security Games on Graphs via Marginal Probabilities , 2013, AAAI.

[187]  Pan Xu,et al.  Three essays on bilevel optimization algorithms and applications , 2012 .

[188]  Pablo San Segundo,et al.  A branch-and-cut algorithm for the Edge Interdiction Clique Problem , 2021, Eur. J. Oper. Res..

[189]  Jerome Bracken,et al.  Mathematical Programs with Optimization Problems in the Constraints , 1973, Oper. Res..

[190]  Jose M. Arroyo,et al.  Bilevel programming applied to power system vulnerability analysis under multiple contingencies , 2010 .

[191]  Charles Audet,et al.  New Branch-and-Cut Algorithm for Bilevel Linear Programming , 2004 .

[192]  T. Ralphs,et al.  A framework for generalized Benders’ decomposition and its application to multilevel optimization , 2021, Mathematical Programming.

[193]  Patrice Marcotte,et al.  A note on the Pareto optimality of solutions to the linear bilevel programming problem , 1991, Comput. Oper. Res..

[194]  M. Jünger,et al.  50 Years of Integer Programming 1958-2008 - From the Early Years to the State-of-the-Art , 2010 .

[195]  Trine Krogh Boomsma,et al.  A Parametric Programming Approach to Bilevel Merchant Electricity Transmission Investment Problems , 2020 .

[196]  Willem-Jan van Hoeve Integration of Constraint Programming, Artificial Intelligence, and Operations Research , 2018, Lecture Notes in Computer Science.

[197]  Stefan Scholtes,et al.  Convergence Properties of a Regularization Scheme for Mathematical Programs with Complementarity Constraints , 2000, SIAM J. Optim..

[198]  T. Ralphs,et al.  A Unified Framework for Multistage Mixed Integer Linear Optimization , 2020 .

[199]  Alexandre Salles da Cunha,et al.  A Branch-and-cut-and-price algorithm for the Stackelberg Minimum Spanning Tree Game , 2016, Electron. Notes Discret. Math..

[200]  Kalyanmoy Deb,et al.  A Review on Bilevel Optimization: From Classical to Evolutionary Approaches and Applications , 2017, IEEE Transactions on Evolutionary Computation.

[201]  Michael Dinitz,et al.  Packing Interdiction and Partial Covering Problems , 2013, IPCO.

[202]  Panos M. Pardalos,et al.  Detecting critical nodes in sparse graphs , 2009, Comput. Oper. Res..

[203]  Efstratios N. Pistikopoulos,et al.  B-POP: Bi-level parametric optimization toolbox , 2019, Comput. Chem. Eng..

[204]  Wayne F. Bialas,et al.  Two-Level Linear Programming , 1984 .

[205]  Christodoulos A. Floudas Generalized Benders Decomposition , 2009, Encyclopedia of Optimization.

[206]  Ted K. Ralphs,et al.  A branch-and-cut algorithm for mixed integer bilevel linear optimization problems and its implementation , 2020, Mathematical Programming Computation.

[207]  Pascal Van Hentenryck,et al.  Privacy-Preserving Obfuscation of Critical Infrastructure Networks , 2019, IJCAI.

[208]  Andrea Lodi,et al.  Joint location and pricing within a user-optimized environment , 2020, EURO J. Comput. Optim..

[209]  Maw-Sheng Chern,et al.  The Most Vital Edges in the Minimum Spanning Tree Problem , 1993, Inf. Process. Lett..

[210]  Gerhard J. Woeginger,et al.  Bilevel Knapsack with Interdiction Constraints , 2016, INFORMS J. Comput..

[211]  Stephan Dempe Computing Locally Optimal Solutions of the Bilevel Optimization Problem Using the KKT Approach , 2019, MOTOR.

[212]  J. Bard Some properties of the bilevel programming problem , 1991 .

[213]  Daniel Vanderpooten,et al.  Critical edges/nodes for the minimum spanning tree problem: complexity and approximation , 2012, Journal of Combinatorial Optimization.

[214]  Gerhard J. Woeginger,et al.  A Study on the Computational Complexity of the Bilevel Knapsack Problem , 2014, SIAM J. Optim..

[215]  Pan Xu,et al.  The Watermelon Algorithm for The Bilevel Integer Linear Programming Problem , 2017, SIAM J. Optim..

[216]  Justo Puerto,et al.  Portfolio problems with two levels decision-makers: Optimal portfolio selection with pricing decisions on transaction costs , 2018, Eur. J. Oper. Res..

[217]  Levent Tunçel,et al.  Efficient heuristic algorithms for maximum utility product pricing problems , 2016, Comput. Oper. Res..

[218]  Fernando Ordóñez,et al.  Coordinating resources in Stackelberg Security Games , 2019, Eur. J. Oper. Res..

[219]  Stephan Dempe,et al.  Linear bilevel programming with upper level constraints depending on the lower level solution , 2006, Appl. Math. Comput..

[220]  Venkatesan Guruswami,et al.  On profit-maximizing envy-free pricing , 2005, SODA '05.

[221]  Martin Schmidt,et al.  Optimal price zones of electricity markets: a mixed-integer multilevel model and global solution approaches , 2019, Optim. Methods Softw..

[222]  Louis Anthony Cox,et al.  Wiley encyclopedia of operations research and management science , 2011 .

[223]  Martin Schmidt,et al.  Endogenous Price Zones and Investment Incentives in Electricity Markets: An Application of Multilevel Optimization With Graph Partitioning , 2018, Energy Economics.

[224]  Martine Labbé,et al.  A Network Pricing Formulation for the Revenue Maximization of European Air Navigation Service Providers , 2013 .

[225]  Matteo Fischetti,et al.  On the use of intersection cuts for bilevel optimization , 2017, Mathematical Programming.

[226]  Jonathan F. Bard,et al.  A bilevel programming approach to determining tax credits for biofuel production , 2000, Eur. J. Oper. Res..

[227]  Jonathan F. Bard,et al.  The Mixed Integer Linear Bilevel Programming Problem , 1990, Oper. Res..

[228]  Matteo Fischetti,et al.  A dynamic reformulation heuristic for Generalized Interdiction Problems , 2017, Eur. J. Oper. Res..

[229]  S. Dempe,et al.  Bilevel programming with discrete lower level problems , 2009 .

[230]  R. Horst,et al.  Global Optimization: Deterministic Approaches , 1992 .

[231]  Matteo Fischetti,et al.  Interdiction Games and Monotonicity, with Application to Knapsack Problems , 2019, INFORMS J. Comput..

[232]  Henrik Madsen,et al.  A bilevel model for electricity retailers' participation in a demand response market environment , 2013 .

[233]  Jean Cardinal,et al.  The Stackelberg Minimum Spanning Tree Game , 2007, Algorithmica.

[234]  Jing Hu,et al.  Model Selection via Bilevel Optimization , 2006, The 2006 IEEE International Joint Conference on Neural Network Proceedings.

[235]  Paul I. Barton,et al.  Global solution of bilevel programs with a nonconvex inner program , 2008, J. Glob. Optim..

[236]  Zhong Chen,et al.  Methods for Pessimistic Bilevel Optimization , 2020 .

[237]  Jonathan F. Bard,et al.  A Branch and Bound Algorithm for the Bilevel Programming Problem , 1990, SIAM J. Sci. Comput..

[238]  Arthur W. Westerberg,et al.  Bilevel programming for steady-state chemical process design—I. Fundamentals and algorithms , 1990 .

[239]  Garth P. McCormick,et al.  Computability of global solutions to factorable nonconvex programs: Part I — Convex underestimating problems , 1976, Math. Program..

[240]  Milind Tambe,et al.  Security and Game Theory - Algorithms, Deployed Systems, Lessons Learned , 2011 .

[241]  B. McCarl,et al.  The Potential Role of Multilevel Programming in Agricultural Economics , 1981 .

[242]  Charles Audet,et al.  A note on the definition of a linear bilevel programming solution , 2005, Appl. Math. Comput..

[243]  Oleg A. Prokopyev,et al.  Sequential Interdiction with Incomplete Information and Learning , 2019, Oper. Res..

[244]  S. Dempe A simple algorithm for the-linear bilevel programming problem , 1987 .

[245]  Martin Schmidt,et al.  The cost of decoupling trade and transport in the European entry-exit gas market with linear physics modeling , 2021, Eur. J. Oper. Res..

[246]  Vedat Verter,et al.  Toll Policies for Mitigating Hazardous Materials Transport Risk , 2009, Transp. Sci..

[247]  Alexander Martin,et al.  Transmission and generation investment in electricity markets: The effects of market splitting and network fee regimes , 2016, Eur. J. Oper. Res..

[248]  R. Kevin Wood,et al.  Deterministic network interdiction , 1993 .

[249]  Stephan Dempe,et al.  Solving discrete linear bilevel optimization problems using the optimal value reformulation , 2017, J. Glob. Optim..

[250]  T. Ralphs,et al.  Interdiction and discrete bilevel linear programming , 2011 .

[251]  K. Brown,et al.  Graduate Texts in Mathematics , 1982 .

[252]  S. Ivanov A Bilevel Stochastic Programming Problem with Random Parameters in the Follower’s Objective Function , 2018, Journal of Applied and Industrial Mathematics.

[253]  Martin Schmidt,et al.  Global optimization of multilevel electricity market models including network design and graph partitioning , 2019, Discret. Optim..

[254]  Sriram Sankaranarayanan,et al.  Mixed-integer bilevel representability , 2018, Math. Program..

[255]  Manish Jain,et al.  Security Games with Arbitrary Schedules: A Branch and Price Approach , 2010, AAAI.

[256]  L. N. Vicente,et al.  Descent approaches for quadratic bilevel programming , 1994 .

[257]  Kalyanmoy Deb,et al.  A bilevel optimization approach to automated parameter tuning , 2014, GECCO.

[258]  Rong Yang,et al.  Adaptive resource allocation for wildlife protection against illegal poachers , 2014, AAMAS.

[259]  Patrice Marcotte,et al.  Competitive Facility Location with Selfish Users and Queues , 2019, Oper. Res..

[260]  R. Vohra,et al.  Finding the most vital arcs in a network , 1989 .

[261]  Martin Schmidt,et al.  Outer approximation for global optimization of mixed-integer quadratic bilevel problems , 2021, Mathematical Programming.

[262]  M. Queyranne,et al.  Parametric Integer Programming Algorithm for Bilevel Mixed Integer Programs , 2009, 0907.1298.

[263]  Bo Zeng,et al.  Vulnerability Analysis of Power Grids With Line Switching , 2013, IEEE Transactions on Power Systems.

[264]  P. Marcotte,et al.  A bilevel model of taxation and its application to optimal highway pricing , 1996 .

[265]  Christian Kanzow,et al.  Theoretical and numerical comparison of relaxation methods for mathematical programs with complementarity constraints , 2011, Mathematical Programming.

[266]  Simone Dantas,et al.  A Note on a Penalty Function Approach for Solving Bilevel Linear Programs , 2000, J. Glob. Optim..

[267]  Omar Ben-Ayed,et al.  Bilevel linear programming , 1993, Comput. Oper. Res..

[268]  Charles Audet,et al.  Disjunctive cuts for continuous linear bilevel programming , 2006, Optim. Lett..

[269]  Matteo Fischetti,et al.  A New General-Purpose Algorithm for Mixed-Integer Bilevel Linear Programs , 2017, Oper. Res..

[270]  Shan Jin,et al.  Capacity Expansion in the Integrated Supply Network for an Electricity Market , 2011, IEEE Transactions on Power Systems.

[271]  Sarit Kraus,et al.  Deployed ARMOR protection: the application of a game theoretic model for security at the Los Angeles International Airport , 2008, AAMAS.

[272]  V. Grimm,et al.  Optimal design of retailer-prosumer electricity tariffs using bilevel optimization , 2020, Omega.

[273]  Gerald G. Brown,et al.  Defending Critical Infrastructure , 2006, Interfaces.

[274]  Nataliya I. Kalashnykova,et al.  Bilevel Programming Problems , 2015 .

[275]  Max Klimm,et al.  Complexity and Approximation of the Continuous Network Design Problem , 2013, SIAM J. Optim..

[276]  Panos M. Pardalos,et al.  Multilevel Optimization: Algorithms and Applications , 2012 .

[277]  Martine Labbé,et al.  A Bilevel Model and Solution Algorithm for a Freight Tariff-Setting Problem , 2000, Transp. Sci..