2019
DOI: 10.1109/tpwrs.2019.2892607
|View full text |Cite
|
Sign up to set email alerts
|

Solving Linear Bilevel Problems Using Big-Ms: Not All That Glitters Is Gold

Abstract: The most common procedure to solve a linear bilevel problem in the PES community is, by far, to transform it into an equivalent single-level problem by replacing the lower level with its KKT optimality conditions. Then, the complementarity conditions are reformulated using additional binary variables and large enough constants (big-Ms) to cast the single-level problem as a mixed-integer linear program that can be solved using optimization software. In most cases, such large constants are tuned by trial and err… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
42
0

Year Published

2019
2019
2021
2021

Publication Types

Select...
5
4

Relationship

0
9

Authors

Journals

citations
Cited by 111 publications
(42 citation statements)
references
References 20 publications
0
42
0
Order By: Relevance
“…The need for such bounds is also a major drawback in the KKT-based reformulation (2). In [46], it is shown that wrong big-Ms can lead to suboptimal solutions or points that are actually bilevel infeasible. Unfortunately, even verifying that the bounds are correctly chosen is, in general, at least as hard as solving the original bilevel problem; see [37].…”
Section: Convexification Of the Strong-duality Constraintmentioning
confidence: 99%
“…The need for such bounds is also a major drawback in the KKT-based reformulation (2). In [46], it is shown that wrong big-Ms can lead to suboptimal solutions or points that are actually bilevel infeasible. Unfortunately, even verifying that the bounds are correctly chosen is, in general, at least as hard as solving the original bilevel problem; see [37].…”
Section: Convexification Of the Strong-duality Constraintmentioning
confidence: 99%
“…However, most of the papers that use it do not explicitly mention a method to determine the Big-M values. In fact, as mentioned in [102] if these values are small, suboptimal solutions can appear, and conversely, too large Big-Ms can lead to numerical issues (when different variable magnitudes are reflected in dual variables), such as unstable solutions or large execution times. In [99], a method is proposed to define Big M values by mixing the regularisation and KKT-MIP previously commented methods.…”
Section: 31mentioning
confidence: 99%
“…In the case of MPEC problems, there is still an active field of research for finding efficient methods to solve these optimisation problems. As mentioned before in [102], Big M is the most common technique to solve the one-level reformulation of bi-level programs. However, small values of Big Ms can lead to suboptimal solutions and large constants can lead to numerical issues (if different orders of magnitude are present in the dual variables of the lower level).…”
Section: Solution Technique Gapsmentioning
confidence: 99%
“…The problem can then be solved by standard mixed-integer solvers. However, big-Ms that are chosen too small can yield suboptimal or infeasible solutions [21] and verifying the correctness of a big-M constant is as hard as solving the original bilevel problem; see [16]. From today's point of view, this method should only be used if correct big-Ms can be obtained via problem-specific knowledge.…”
Section: Assumptionmentioning
confidence: 99%