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

An Algorithm for the Lower Bounds of Semivectorial Bilevel Programming Problem

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

Functionally Constrained Algorithm Solves Convex Simple Bilevel Problems

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

Semismooth Newton-type method for bilevel optimization: Global convergence and extensive numerical experiments

A Value-Function-Based Exact Approach for the Bilevel Mixed-Integer Programming Problem

An Improved Lower Bound and Approximation Algorithm for Binary Constrained Quadratic Programming Problem

Solving bilevel problems with products of upper- and lower-level variables

A Near-Optimal Algorithm for Convex Simple Bilevel Optimization under Weak Assumptions

A Loopless Distributed Algorithm for Personalized Bilevel Optimization

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

A Perturbed Value-Function-Based Interior-Point Method for Perturbed Pessimistic Bilevel Problems

Penalty-based Methods for Simple Bilevel Optimization under Hölderian Error Bounds

An Exact Algorithm for Bilevel 0-1 Knapsack Problems

Solving integer indefinite quadratic bilevel programs with multiple objectives at the upper level

Near-Optimal Convex Simple Bilevel Optimization with a Bisection Method

A New Algorithm With Lower Complexity for Bilevel Optimization

A relaxed projection method for solving bilevel variational inequality problems

A New Algorithm for Finding Global Solution of Indefinite Quadratic Programming Problems

Projection-Free Methods for Stochastic Simple Bilevel Optimization with Convex Lower-level Problem

Bilevel optimization with a multi-objective lower-level problem: Risk-neutral and risk-averse formulations