Optimization methods for the multi-commodity flow blocker problem
Isma Bentoumi  1@  , Ridha Mahjoub  2@  , Fabio Furini  3, 4@  , Sébastien Martin  5@  
1 : Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision
Université Paris Dauphine-PSL, Centre National de la Recherche Scientifique : UMR7024
2 : LAMSADE
Université Paris IX - Paris Dauphine
Université Paris-Dauphine LAMSADE, CNRS UMR 7243, Place du Maréchal de Lattre de Tassigny, 75116 Paris Cedex 16. -  France
3 : Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision  (LAMSADE)
CNRS : UMR7024, Université Paris IX - Paris Dauphine
Place de Lattre de Tassigny 75775 PARIS CEDEX 16 -  France
4 : Istituto di Analisi dei Sistemi ed Informatica “Antonio Ruberti”
5 : Huawei Technologies France [Boulogne-Billancour]
HUAWEI Technologies France

We are interested in evaluating the strength of a network by determining the maximum number of failures that it can face. This can be done by solving a multi-commodity flow blocker problem. Given a directed graph and a set of commodities (or demands), the multi-commodity flow problem (MCFP) consists in finding a set of arcs, called multicommodity flow, routing flow to satisfy all demands, with respect to flow conservation constraints and capacity constraints. The MCFP aims to minimize the total flow cost. We study the blocker problem applied to the multi-commodity flow problem, which is called the multi-commodity flow blocker problem (MCFBP). The MCFBP consists in finding a minimum set of arcs to remove from the graph in such a way that the minimum cost of the multi-commodity flow in the remaining graph is greater than or equal to a given threshold, called target cost value. We introduce a new IP model with an exponential number of constraints, called cover constraints, to solve the multi-commodity flow blocker problem. Our goal is to provide a thin and well-understood formulation. We examine the polyhedral structure of the model proposed and give new valid inequalities to strengthen the formulation. Using this we develop a Branch-and-cut algorithm to solve the model.


Personnes connectées : 5 Vie privée
Chargement...