There's No Free Lunch: On the Hardness of Choosing a Correct Big-M in Bilevel Optimization - Inria - Institut national de recherche en sciences et technologies du numérique
Preprints, Working Papers, ... Year : 2019

There's No Free Lunch: On the Hardness of Choosing a Correct Big-M in Bilevel Optimization

Abstract

One of the most frequently used approaches to solve linear bilevel optimization problems consists in replacing the lower-level problem with its Karush-Kuhn-Tucker (KKT) conditions and by reformulating the KKT complementarity conditions using techniques from mixed-integer linear optimization. The latter step requires to determine some big-M constant in order to bound the lower level's dual feasible set such that no bilevel optimal solution is cut off. In practice, heuristics are often used to find a big-M although it is known that these approaches may fail. In this paper, we consider the hardness of two proxies for the above mentioned concept of a bilevel-correct big-M. First, we prove that verifying that a given big-M does not cut off any feasible vertex of the lower level's dual polyhedron cannot be done in polynomial time unless P = NP. Second, we show that verifying that a given big-M does not cut off any optimal point of the lower level's dual problem is as hard as solving the original bilevel problem.
Fichier principal
Vignette du fichier
bilevel-lp-lp-bigm-hardness_preprint.pdf (458.91 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-02106642 , version 1 (23-04-2019)
hal-02106642 , version 2 (17-06-2019)

Identifiers

  • HAL Id : hal-02106642 , version 1

Cite

Thomas Kleinert, Martine Labbé, Fränk Plein, Martin Schmidt. There's No Free Lunch: On the Hardness of Choosing a Correct Big-M in Bilevel Optimization. 2019. ⟨hal-02106642v1⟩
280 View
470 Download

Share

More