Finding Edge-disjoint Paths in Networks: An Ant Colony Optimization Algorithm

One of the basic operations in communication networks consists in establishing routes for connection requests between physically separated network nodes. In many situations, either due to technical constraints or to quality-of-service and survivability requirements, it is required that no two routes interfere with each other. These requirements apply in particular to routing and admission control in large-scale, high-speed and optical networks. The same requirements also arise in a multitude of other applications such as real-time communications, vlsi design, scheduling, bin packing, and load balancing. This problem can be modeled as a combinatorial optimization problem as follows. Given a graph G representing a network topology, and a collection T={(s1,t1)...(sk,tk)} of pairs of vertices in G representing connection request, the maximum edge-disjoint paths problem is an NP-hard problem that consists in determining the maximum number of pairs in T that can be routed in G by mutually edge-disjoint si−ti paths. We propose an ant colony optimization (aco) algorithm to solve this problem. aco algorithms are approximate algorithms that are inspired by the foraging behavior of real ants. The decentralized nature of these algorithms makes them suitable for the application to problems arising in large-scale environments. First, we propose a basic version of our algorithm in order to outline its main features. In a subsequent step we propose several extensions of the basic algorithm and we conduct an extensive parameter tuning in order to show the usefulness of those extensions. In comparison to a multi-start greedy approach, our algorithm generates in general solutions of higher quality in a shorter amount of time. In particular the run-time behaviour of our algorithm is one of its important advantages.

[1]  Marco Dorigo,et al.  AntNet: Distributed Stigmergetic Control for Communications Networks , 1998, J. Artif. Intell. Res..

[2]  Clifford Stein,et al.  Approximating disjoint-path problems using packing integer programs , 2004, Math. Program..

[3]  Franco P. Preparata Advances in computing research , 1988 .

[4]  Luca Maria Gambardella,et al.  AntHocNet: an adaptive nature-inspired algorithm for routing in mobile ad hoc networks , 2005, Eur. Trans. Telecommun..

[5]  Karsten Weihe,et al.  The vertex-disjoint menger problem in planar graphs , 1997, SODA '93.

[6]  Yuval Rabani,et al.  Improved bounds for all optical routing , 1995, SODA '95.

[7]  Christian Blum,et al.  Finding edge-disjoint paths with artificial ant colonies , 2005 .

[8]  Eli Upfal,et al.  Efficient routing in all-optical networks , 1994, STOC '94.

[9]  Thomas Erlebach,et al.  Approximation Algorithms and Complexity Results for Path Problems in Trees of Rings , 2001, MFCS.

[10]  Thomas Lengauer VLSI Theory , 1990, Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity.

[11]  Marco Dorigo,et al.  The hyper-cube framework for ant colony optimization , 2004, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[12]  Christian Blum,et al.  Metaheuristics in combinatorial optimization: Overview and conceptual comparison , 2003, CSUR.

[13]  BERNARD M. WAXMAN,et al.  Routing of multipoint connections , 1988, IEEE J. Sel. Areas Commun..

[14]  MATTHIAS MIDDENDORF,et al.  On the complexity of the disjoint paths problem , 1993, Comb..

[15]  Albert,et al.  Emergence of scaling in random networks , 1999, Science.

[16]  Michel Gendreau,et al.  Metaheuristics in Combinatorial Optimization , 2022 .

[17]  Ulrik Brandes,et al.  A Linear Time Algorithm for the Arc Disjoint Menger Problem in Planar Directed Graphs , 2000, Algorithmica.

[18]  Alok Aggarwal,et al.  Efficient routing and scheduling algorithms for optical networks , 1994, SODA '94.

[19]  Juraj Hromkovic,et al.  Gossiping in Vertex-Disjoint Paths Mode in d-Dimensional Grids and Planar Graphs , 1993, ESA.

[20]  Peter Vrancx,et al.  Multi-type Ant Colony: The Edge Disjoint Paths Problem , 2004, ANTS Workshop.

[21]  E. D. Taillard,et al.  Ant Systems , 1999 .

[22]  Deepinder P. Sidhu,et al.  Finding disjoint paths in networks , 1991, SIGCOMM '91.

[23]  Carsten Lund,et al.  Proof verification and hardness of approximation problems , 1992, Proceedings., 33rd Annual Symposium on Foundations of Computer Science.

[24]  Luca Maria Gambardella,et al.  Solving symmetric and asymmetric TSPs by ant colonies , 1996, Proceedings of IEEE International Conference on Evolutionary Computation.

[25]  Karsten Weihe,et al.  Edge-Disjoint (s, t)-Paths on Undirected Planar Graphs in Linear Time , 1994, ESA.

[26]  Yuval Rabani,et al.  On-line admission control and circuit routing for high performance computing and communication , 1994, Proceedings 35th Annual Symposium on Foundations of Computer Science.

[27]  Thomas Stützle,et al.  MAX-MIN Ant System , 2000, Future Gener. Comput. Syst..

[28]  Venkatesan Guruswami,et al.  Near-optimal hardness results and approximation algorithms for edge-disjoint paths and related problems , 1999, STOC '99.

[29]  Manuel López-Ibáñez,et al.  Ant colony optimization , 2010, GECCO '10.

[30]  Ganesh Venkataraman,et al.  Graph decomposition and a greedy algorithm for edge-disjoint paths , 2004, SODA '04.

[31]  Jon M. Kleinberg,et al.  Approximation algorithms for disjoint paths problems , 1996 .

[32]  Bin Ma,et al.  On the Inapproximability of Disjoint Paths and Minimum Steiner Forest with Bandwidth Constraints , 2000, J. Comput. Syst. Sci..

[33]  Sanjeev Khanna,et al.  Edge disjoint paths revisited , 2003, SODA '03.

[34]  Christian Blum,et al.  Ant Colony Optimization for the Maximum Edge-Disjoint Paths Problem , 2004, EvoWorkshops.

[35]  Aravind Srinivasan,et al.  Improved approximations for edge-disjoint paths, unsplittable flow, and related routing problems , 1997, Proceedings 38th Annual Symposium on Foundations of Computer Science.

[36]  Karsten Weihe,et al.  Edge-Disjoint (s, t)-Paths in Undirected Planar Graphs in Linear Time , 1997, J. Algorithms.

[37]  Frédéric Roupin,et al.  Minimal multicut and maximal integer multiflow: A survey , 2005, Eur. J. Oper. Res..

[38]  Christian Scheideler,et al.  Simple on-line algorithms for the maximum disjoint paths problem , 2001, SPAA '01.

[39]  Aravind Srinivasan,et al.  Approximation Algorithms for Disjoint Paths and Related Routing and Packing Problems , 2000, Math. Oper. Res..

[40]  Jens Vygen,et al.  The edge-disjoint paths problem is NP-complete for series-parallel graphs , 2001, Discret. Appl. Math..

[41]  Mihalis Yannakakis,et al.  Primal-dual approximation algorithms for integral flow and multicut in trees , 1997, Algorithmica.

[42]  Jens Vygen,et al.  NP-completeness of Some Edge-disjoint Paths Problems , 1995, Discret. Appl. Math..

[43]  Dániel Marx Eulerian disjoint paths problem in grid graphs is NP-complete , 2004, Discret. Appl. Math..

[44]  Luca Maria Gambardella,et al.  Ant colony system: a cooperative learning approach to the traveling salesman problem , 1997, IEEE Trans. Evol. Comput..

[45]  Christian Scheideler,et al.  Improved bounds for the unsplittable flow problem , 2002, SODA '02.

[46]  Marco Dorigo,et al.  Ant system: optimization by a colony of cooperating agents , 1996, IEEE Trans. Syst. Man Cybern. Part B.

[47]  Frédéric Roupin,et al.  Multicut and integral multiflow : a survey. , 2004 .