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

Duality theory for optimistic bilevel optimization

Duality-based single-level reformulations of bilevel optimization problems

Stable and Total Fenchel Duality for Convex Optimization Problems in Locally Convex Spaces

Stable Formulations in Optimistic Bilevel Optimization

Duality theory in linear optimization and its extensions -- formally verified

Optimality conditions and duality for a class of continuous-time linear optimization problems

Stable and Total Fenchel Duality for DC Optimization Problems in Locally Convex Spaces.

A Duality Theory for Non-convex Problems in the Calculus of Variations

Optimality and duality in nonsmooth multiobjective fractional programming problem with constraints

Optimality and duality analysis for multiobjective interval-valued semi-infinite optimization problem having vanishing constraints

An approach to duality via image space analysis and applications to linear vector optimization problems

Robust Bilevel Optimization for Near-Optimal Lower-Level Solutions

New Necessary Optimality Conditions for Bilevel Programs by Combining the MPEC and Value Function Approaches

Scholtes relaxation method for pessimistic bilevel optimization

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

Lagrangian dual theory and stability analysis for fuzzy optimization problems

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

A Primal-Dual-Assisted Penalty Approach to Bilevel Optimization with Coupled Constraints

Duality in the problems of optimal control described by Darboux-type differential inclusions

Towards Strong Duality in Integer Programming

Optimality Conditions and Duality for a Class of Nonlinear Fractional Programming Problems