Skip to Main content Skip to Navigation
Journal articles

Benders Decomposition for the Hop-Constrained Survivable Network Design Problem

Abstract : Given a graph with nonnegative edge weights and node pairs Q, we study the problem of constructing a minimum weight set of edges so that the induced subgraph contains at least K edge-disjoint paths containing at most L edges between each pair in Q. Using the layered representation introduced by Gouveia [Gouveia, L. 1998. Using variable redefinition for computing lower bounds for minimum spanning and Steiner trees with hop constraints. INFORMS J. Comput. 10(2) 180–188], we present a formulation for the problem valid for any K, L ≥ 1. We use a Benders decomposition method to efficiently handle the large number of variables and constraints. We show that our Benders cuts contain constraints used in previous studies to formulate the problem for L = 2, 3, 4, as well as new inequalities when L ≥ 5. Whereas some recent works on Benders decomposition study the impact of the normalization constraint in the dual subproblem, we focus here on when to generate the Benders cuts. We present a thorough computational study of various branch-and-cut algorithms on a large set of instances including the real-based instances from SNDlib. Our best branch-and-cut algorithm combined with an efficient heuristic is able to solve the instances significantly faster than CPLEX 12 on the extended formulation.
Document type :
Journal articles
Complete list of metadata
Contributor : Bernard Fortz Connect in order to contact the contributor
Submitted on : Tuesday, March 30, 2021 - 2:09:34 PM
Last modification on : Tuesday, November 16, 2021 - 4:29:40 AM


Files produced by the author(s)


  • HAL Id : hal-01255255, version 1



Quentin Botton, Bernard Fortz, Luís Gouveia, Michael Poss. Benders Decomposition for the Hop-Constrained Survivable Network Design Problem. INFORMS Journal on Computing, Institute for Operations Research and the Management Sciences (INFORMS), 2013, 25 (1), pp.13-26. ⟨hal-01255255⟩



Les métriques sont temporairement indisponibles