arrow
Return

A tutorial on solving single-leader-multi-follower problems using SOS1 reformulations

delete2024-05-26
delete1
delete
OA
AI
D
Didier Aussel *
C
Cécile Egea
M
Martin Schmidt
DOI:10.1111/itor.13466delete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En 中文
In this tutorial, we consider single-leader-multi-follower games in which the models of the lower-level players have polyhedral feasible sets and convex objective functions. This situation allows for classic Karush-Kuhn-Tucker reformulations of the separate lower-level problems, which lead to challenging single-level reformulations of Mathematical Programing with Complementarity Constraints (MPCC) type. The main contribution of this tutorial is to present a ready-to-use reformulation of this MPCC using special-ordered-sets of type 1 (SOS1) conditions. These conditions are readily available in all modern mixed-integer linear optimization solvers that solve the single-leader-multi-follower problem to optimality. After formally stating the problem class under consideration as well as deriving its reformulations, we present explicit Python code that shows how these techniques can be realized using the solver Gurobi. Finally, we also show the effect of the SOS1-based reformulation using the real-world example of industrial eco-park modeling.
Keywords:
ECO-INDUSTRIAL PARKS
OPTIMIZATION

Journal

International Transactions in Operational Research cover
International Transactions in Operational Research
IF:
2.9
Papers:
1.8K
Citations:
3.7K

Organization

U
universite perpignan via domitia
Scholars:
1.2K
Papers: 953
Citations: 1
U
universitat trier
Scholars:
1.6K
Papers: 1.5K
Citations: 16