Abstract:This paper focuses on developing effective algorithms for solving a bilevel program. The most popular approach is to replace the lower-level problem with its Karush-Kuhn-Tucker conditions to generate a mathematical program with complementarity constraints (MPCC). However, MPCC does not satisfy the Mangasarian-Fromovitz constraint qualification (MFCQ) at any feasible point. In this paper, inspired by a recent work using the lower-level Wolfe duality (WDP), we apply the lower-level Mond-Weir duality to present a new reformulation, called MDP, for bilevel program. It is shown that, under mild assumptions, they are equivalent in globally or locally optimal sense. An example is given to show that, different from MPCC, MDP may satisfy the MFCQ at its feasible points. Relations among MDP, WDP, and MPCC are investigated. On this basis, we extend the MDP reformulation to present another new reformulation (called eMDP), which has similar properties to MDP. Furthermore, to compare two new reformulations with the MPCC and WDP approaches, we design a procedure to generate 150 tested problems randomly and comprehensive numerical experiments show that MDP has quite evident advantages over MPCC and WDP in terms of feasibility to the original bilevel programs, success efficiency, and average CPU time, whereas eMDP is far superior to all other three reformulations. History: Accepted by Pascal Van Hentenryck, Area Editor for Computational Modeling: Methods & Analysis. Funding: This work was supported by the National Natural Science Foundation of China [Grants 12071280 and 11901380]. Supplemental Material: The software that supports the findings of this study is available within the paper and its Supplemental Information ( https://pubsonline.informs.org/doi/suppl/10.1287/ijoc.2023.0108 ) as well as from the IJOC GitHub software repository ( https://github.com/INFORMSJoC/2023.0108 ). The complete IJOC Software and Data Repository is available at https://informsjoc.github.io/ .

Optimality conditions for bilevel programmes via Moreau envelope reformulation*

Solving Bilevel Programs Based on Lower-Level Mond-Weir Duality

Moreau Envelope Based Difference-of-weakly-Convex Reformulation and Algorithm for Bilevel Programs

PLMEs and Disjunctive Decompositions for Bilevel Optimization

Duality-based single-level reformulations of bilevel optimization problems

A new problem qualification based on approximate KKT conditions for Lipschitzian optimization with application to bilevel programming

On some optimality conditions for a class of problems in mathematical programming with equilibrium constraints

Barrier Function for Bilevel Optimization with Coupled Lower-Level Constraints: Formulation, Approximation and Algorithms

Constraint Qualifications for Optimality Conditions and Total Lagrange Dualities in Convex Infinite Programming

An Enhanced Branch-and-bound Algorithm for Bilevel Integer Linear Programming.

Duality theory for optimistic bilevel optimization

A New Computational Approach for Solving Linear Bilevel Programs Based on Parameter-Free Disjunctive Decomposition

Approximate Karush-Kuhn-Tucker conditions for nonsmooth bilevel optimization problems

Optimality conditions in terms of Bouligand generalized differentials for a nonsmooth semilinear elliptic optimal control problem with distributed and boundary control pointwise constraints

A sequential optimality condition for Mathematical Programs with Cardinality Constraints

Constraint Qualifications and Optimality Conditions for Nonsmooth Semidefinite Multiobjective Programming Problems with Mixed Constraints Using Convexificators

Optimality Conditions of Strict Minimality in Optimization Problems under Inclusion Constraints.

Equilibrium modeling and solution approaches inspired by nonconvex bilevel programming

Second-Order Necessary Conditions, Constraint Qualifications and Exact Penalty for Mathematical Programs with Switching Constraints

Robust Bilevel Optimization for Near-Optimal Lower-Level Solutions

Globally Solving a Class of Bilevel Programs with Spatial Price Equilibrium Constraints