A computational investigation of heuristic algorithms for 2-edge-connectivity augmentation

We consider the 2-edge-connectivity augmentation problem: given a graph S = (V, E) which is not 2-edge-connected and a set of new edges E′ ⊆ V ×V with non-negative weights, find a minimum cost subset X of E′ such that adding the edges of X to S results in a 2-edge-connected graph. A practical application is the extension of an existing telecommunication network to become robust against single link failures. We compare, experimentally, different algorithms for solving general and large-scale instances. This includes exact methods based on mathematical programming, simple construction heuristics and metaheuristics. As part of the design of heuristics, we consider different neighborhood structures for local search, among which a very large scale neighborhood. In all cases, we exploit approaches through the graph formulation as well as through an equivalent set covering formulation. The results indicate that exact solutions by means of a basic integer programming model can be obtained in reasonably short time even on networks with 800 vertices and around 287.000 edges. Alternatively, an advanced heuristic algorithm based on subgradient optimization and iterated greedy finds often the optimal solution and is very fast. All previous benchmark instances are easily solved to optimality and new, larger, instances are introduced and studied.

[1]  Günther R. Raidl,et al.  Evolutionary local search for the edge-biconnectivity augmentation problem , 2002, Inf. Process. Lett..

[2]  R. Ravi,et al.  On 2-Coverings and 2-Packings of Laminar Families , 1999, ESA.

[3]  Abraham P. Punnen,et al.  A survey of very large-scale neighborhood search techniques , 2002, Discret. Appl. Math..

[4]  Duncan J. Watts,et al.  Collective dynamics of ‘small-world’ networks , 1998, Nature.

[5]  Gregory Gutin,et al.  Digraphs - theory, algorithms and applications , 2002 .

[6]  Marshall L. Fisher,et al.  The Lagrangian Relaxation Method for Solving Integer Programming Problems , 2004, Manag. Sci..

[7]  András Frank Augmenting Graphs to Meet Edge-Connectivity Requirements , 1992, SIAM J. Discret. Math..

[8]  K. Al-Sultan,et al.  A Genetic Algorithm for the Set Covering Problem , 1996 .

[9]  Robert E. Tarjan,et al.  A Note on Finding the Bridges of a Graph , 1974, Inf. Process. Lett..

[10]  Robert E. Tarjan,et al.  Augmentation Problems , 1976, SIAM J. Comput..

[11]  Ali Ridha Mahjoub,et al.  Design of Survivable Networks: A survey , 2005, Networks.

[13]  Joseph JáJá,et al.  Approximation Algorithms for Several Graph Augmentation Problems , 1981, SIAM J. Comput..

[14]  Elena Marchiori,et al.  An Evolutionary Algorithm for Large Scale Set Covering Problems with Application to Airline Crew Scheduling , 2000, EvoWorkshops.

[15]  Matteo Fischetti,et al.  A Heuristic Method for the Set Covering Problem , 1999, Oper. Res..

[16]  Jon Feldman,et al.  A 3/2-Approximation Algorithm for Augmenting the Edge-Connectivity of a Graph from 1 to 2 Using a Subset of a Given Edge Set , 2001, RANDOM-APPROX.

[17]  Günther R. Raidl,et al.  An Evolutionary Algorithm with Stochastic Hill-Climbing for the Edge-Biconnectivity Augmentation Problem , 2001, EvoWorkshops.

[18]  John E. Beasley,et al.  OR-Library: Distributing Test Problems by Electronic Mail , 1990 .

[19]  A. A. Farley A Note on Bounding a Class of Linear Programming Problems, Including Cutting Stock Problems , 1990, Oper. Res..

[20]  Egon Balas,et al.  A Dynamic Subgradient-Based Branch-and-Bound Procedure for Set Covering , 1992, Oper. Res..

[21]  K. Hornik,et al.  Unbiased Recursive Partitioning: A Conditional Inference Framework , 2006 .

[22]  Guo-Ray Cai,et al.  The minimum augmentation of any graph to a K-edge-connected graph , 1989, Networks.

[23]  S. Raghavan,et al.  Strong formulations for network design problems with connectivity requirements , 2005, Networks.

[24]  Guido Proietti,et al.  Edge-Connectivity Augmentation and Network Matrices , 2004, WG.

[25]  Tobias Achterberg,et al.  Constraint integer programming , 2007 .

[26]  Guido Proietti,et al.  Polynomial Time Algorithms for 2-Edge-Connectivity Augmentation Problems , 2003, Algorithmica.

[27]  Toshihide Ibaraki,et al.  Computing Edge-Connectivity in Multigraphs and Capacitated Graphs , 1992, SIAM J. Discret. Math..

[28]  H. P. Williams THEORY OF LINEAR AND INTEGER PROGRAMMING (Wiley-Interscience Series in Discrete Mathematics and Optimization) , 1989 .

[29]  Wei-Yin Loh,et al.  Classification and regression trees , 2011, WIREs Data Mining Knowl. Discov..

[30]  Samir Khuller,et al.  A uniform framework for approximating weighted connectivity problems , 1999, SODA '99.

[31]  Vasek Chvátal,et al.  A Greedy Heuristic for the Set-Covering Problem , 1979, Math. Oper. Res..

[32]  Thomas Stützle,et al.  A Comparison Between ACO Algorithms for the Set Covering Problem , 2004, ANTS Workshop.

[33]  Jozef Kratica,et al.  A Hybrid GA for the Edge-Biconnectivity Augmentation Problem , 2000, PPSN.

[34]  Tibor Jordán,et al.  Edge-connectivity augmentation preserving simplicity , 1997, Proceedings 38th Annual Symposium on Foundations of Computer Science.

[35]  Thomas Bartz-Beielstein,et al.  Tuning search algorithms for real-world applications: a regression tree based approach , 2004, Proceedings of the 2004 Congress on Evolutionary Computation (IEEE Cat. No.04TH8753).

[36]  Jørgen Bang-Jensen,et al.  Mixed Models for the Analysis of Local Search Components , 2007, SLS.

[37]  G. Nemhauser,et al.  Integer Programming , 2020 .

[38]  Margaret J. Robertson,et al.  Design and Analysis of Experiments , 2006, Handbook of statistics.

[39]  Samir Khuller,et al.  Approximation Algorithms for Graph Augmentation , 1992, ICALP.

[40]  Toshihide Ibaraki,et al.  A 3-flip neighborhood local search for the set covering problem , 2006, Eur. J. Oper. Res..

[41]  Akira Nakamura,et al.  Edge-Connectivity Augmentation Problems , 1987, J. Comput. Syst. Sci..

[42]  Charles U. Martel,et al.  A Fast Algorithm for Optimally Increasing the Edge Connectivity , 1997, SIAM J. Comput..