The Edge-Disjoint Path Problem on Random Graphs by Message-Passing

We present a message-passing algorithm to solve a series of edge-disjoint path problems on graphs based on the zero-temperature cavity equations. Edge-disjoint paths problems are important in the general context of routing, that can be defined by incorporating under a unique framework both traffic optimization and total path length minimization. The computation of the cavity equations can be performed efficiently by exploiting a mapping of a generalized edge-disjoint path problem on a star graph onto a weighted maximum matching problem. We perform extensive numerical simulations on random graphs of various types to test the performance both in terms of path length minimization and maximization of the number of accommodated paths. In addition, we test the performance on benchmark instances on various graphs by comparison with state-of-the-art algorithms and results found in the literature. Our message-passing algorithm always outperforms the others in terms of the number of accommodated paths when considering non trivial instances (otherwise it gives the same trivial results). Remarkably, the largest improvement in performance with respect to the other methods employed is found in the case of benchmarks with meshes, where the validity hypothesis behind message-passing is expected to worsen. In these cases, even though the exact message-passing equations do not converge, by introducing a reinforcement parameter to force convergence towards a sub optimal solution, we were able to always outperform the other algorithms with a peak of 27% performance improvement in terms of accommodated paths. On random graphs, we numerically observe two separated regimes: one in which all paths can be accommodated and one in which this is not possible. We also investigate the behavior of both the number of paths to be accommodated and their minimum total length.

[1]  Devavrat Shah,et al.  Maximum weight matching via max-product belief propagation , 2005, Proceedings. International Symposium on Information Theory, 2005. ISIT 2005..

[2]  M. Mézard,et al.  The Bethe lattice spin glass revisited , 2000, cond-mat/0009418.

[3]  Francis Y. L. Chin,et al.  Escaping a Grid by Edge-Disjoint Paths , 2000, SODA '00.

[4]  Asuman E. Ozdaglar,et al.  Routing and wavelength assignment in optical networks , 2003, TNET.

[5]  Celso C. Ribeiro,et al.  A biased random-key genetic algorithm for routing and wavelength assignment , 2011, J. Glob. Optim..

[6]  Thomas Erlebach,et al.  Approximation Algorithms for Edge-Disjoint Paths and Unsplittable Flow , 2006, Efficient Approximation and Online Algorithms.

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

[8]  Sanjeev Khanna,et al.  An O(sqrt(n)) Approximation and Integrality Gap for Disjoint Paths and Unsplittable Flow , 2006, Theory Comput..

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

[10]  Sanjeev Khanna,et al.  Hardness of the Undirected Edge-Disjoint Paths Problem with Congestion , 2005, FOCS.

[11]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[12]  Uday Kumar Chakraborty,et al.  Genetic and evolutionary computing , 2008, Inf. Sci..

[13]  Rainer Storn,et al.  Differential Evolution – A Simple and Efficient Heuristic for global Optimization over Continuous Spaces , 1997, J. Glob. Optim..

[14]  Mario Gerla,et al.  Multicluster, mobile, multimedia radio network , 1995, Wirel. Networks.

[15]  D. Manjunath,et al.  Routing and wavelength assignment in optical networks from edge disjoint path algorithms , 2002, IEEE Communications Letters.

[16]  Riccardo Zecchina,et al.  Statistical mechanics of budget-constrained auctions , 2009, ArXiv.

[17]  Parameswaran Ramanathan,et al.  Real-time computing: a new discipline of computer science and engineering , 1994, Proc. IEEE.

[18]  S. Kak Information, physics, and computation , 1996 .

[19]  Samir Ranjan Das,et al.  Exploiting path diversity in the link layer in wireless ad hoc networks , 2005, Sixth IEEE International Symposium on a World of Wireless Mobile and Multimedia Networks.

[20]  Dharma P. Agrawal,et al.  QoS and energy aware routing for real-time traffic in wireless sensor networks , 2006, Comput. Commun..

[21]  Bin Tang,et al.  Maximizing number of satisfiable routing requests in static ad hoc networks , 2013, 2013 IEEE Global Communications Conference (GLOBECOM).

[22]  Jon M. Kleinberg,et al.  An approximation algorithm for the disjoint paths problem in even-degree planar graphs , 2005, 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS'05).

[23]  Shu-Cherng Fang,et al.  Routing and Wavelength Assignment in Optical Networks from Maximum Edge-Disjoint Paths , 2013, ICGEC.

[24]  Devavrat Shah,et al.  Belief Propagation for Min-Cost Network Flow: Convergence and Correctness , 2010, Oper. Res..

[25]  Laurie G. Cuthbert,et al.  Node-disjointness-based multipath routing for mobile ad hoc networks , 2004, PE-WASUN '04.

[26]  Richard M. Karp,et al.  Reducibility Among Combinatorial Problems , 1972, 50 Years of Integer Programming.

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

[28]  Eytan Modiano,et al.  Minimum energy disjoint path routing in wireless ad-hoc networks , 2003, MobiCom '03.

[29]  Pascal Van Hentenryck,et al.  LS(Graph): a constraint-based local search for constraint optimization on trees and paths , 2012, Constraints.

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

[31]  M. Mézard,et al.  Spin Glass Theory and Beyond , 1987 .

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

[33]  B. Bollobás The evolution of random graphs , 1984 .

[34]  室 章治郎 Michael R.Garey/David S.Johnson 著, "COMPUTERS AND INTRACTABILITY A guide to the Theory of NP-Completeness", FREEMAN, A5判変形判, 338+xii, \5,217, 1979 , 1980 .

[35]  Biswanath Mukherjee,et al.  A Practical Approach for Routing and Wavelength Assignment in Large Wavelength-Routed Optical Networks , 1996, IEEE J. Sel. Areas Commun..

[36]  Rajashekhar C. Biradar,et al.  A survey on routing protocols in Wireless Sensor Networks , 2012, 2012 18th IEEE International Conference on Networks (ICON).

[37]  G. Ash Traffic Engineering and QoS Optimization of Integrated Voice & Data Networks , 2006 .

[38]  Jordi Domingo-Pascual,et al.  Research challenges in QoS routing , 2006, Comput. Commun..

[39]  Riccardo Zecchina,et al.  Learning by message-passing in networks of discrete synapses , 2005, Physical review letters.

[40]  Mitsuo Gen,et al.  Network Models and Optimization: Multiobjective Genetic Algorithm Approach , 2008 .

[41]  Hsun-Jung Cho,et al.  A genetic algorithm for the maximum edge-disjoint paths problem , 2015, Neurocomputing.

[42]  Nina Skorin-Kapov,et al.  Routing and wavelength assignment in optical networks using bin packing based algorithms , 2007, Eur. J. Oper. Res..

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

[44]  P AgrawalDharma,et al.  QoS and energy aware routing for real-time traffic in wireless sensor networks , 2006 .

[45]  Riccardo Zecchina,et al.  A rigorous analysis of the cavity equations for the minimum spanning tree , 2009, ArXiv.

[46]  Babeta Rawat,et al.  Review and Performance Analysis on Routing and Wavelength Assignment Approaches for Optical Networks , 2013 .

[47]  Jonathan M. Pitts,et al.  Dynamic Routing and Wavelength Assignment using Hybrid Particle Swarm Optimization for WDM Networks , 2007 .

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

[49]  Éva Tardos,et al.  Disjoint paths in densely embedded graphs , 1995, Proceedings of IEEE 36th Annual Foundations of Computer Science.

[50]  Klaus Jansen,et al.  The Maximum Edge-Disjoint Paths Problem in Bidirected Trees , 2001, SIAM J. Discret. Math..

[51]  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.

[52]  M. Mézard,et al.  Analytic and Algorithmic Solution of Random Satisfiability Problems , 2002, Science.

[53]  A. Rbnyi ON THE EVOLUTION OF RANDOM GRAPHS , 2001 .

[54]  Youyuan Liu,et al.  Multipath Routing for Mobile Ad Hoc Network , 2009 .

[55]  Klaus Jansen,et al.  Efficient Approximation and Online Algorithms - Recent Progress on Classical Combinatorial Optimization Problems and New Applications , 2006, Efficient Approximation and Online Algorithms.

[56]  Andrew S. Tanenbaum,et al.  Computer networks, 4th Edition , 2002 .

[57]  Chi Ho Yeung,et al.  Shortest node-disjoint paths on random graphs , 2014, ArXiv.

[58]  Neil Robertson,et al.  Graph Minors .XIII. The Disjoint Paths Problem , 1995, J. Comb. Theory B.

[59]  M. Mézard,et al.  The Cavity Method at Zero Temperature , 2002, cond-mat/0207121.

[60]  R Zecchina,et al.  Statistical mechanics of steiner trees. , 2008, Physical review letters.

[61]  Irène Charon,et al.  A post-optimization method for the routing and wavelength assignment problem applied to scheduled lightpath demands , 2014, Eur. J. Oper. Res..

[62]  Chi Ho Yeung,et al.  From the physics of interacting polymers to optimizing routes on the London Underground , 2013, Proceedings of the National Academy of Sciences.

[63]  Ibrahim Matta,et al.  BRITE: an approach to universal topology generation , 2001, MASCOTS 2001, Proceedings Ninth International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems.

[64]  P. Erdos,et al.  On the evolution of random graphs , 1984 .

[65]  M. Bayati,et al.  Max-Product for Maximum Weight Matching: Convergence, Correctness, and LP Duality , 2008, IEEE Transactions on Information Theory.

[66]  Subrata Banerjee,et al.  A new model for optimal routing and wavelength assignment in wavelength division multiplexed optical networks , 1996, Proceedings of IEEE INFOCOM '96. Conference on Computer Communications.

[67]  M. Newman,et al.  Random graphs with arbitrary degree distributions and their applications. , 2000, Physical review. E, Statistical, nonlinear, and soft matter physics.

[68]  S. Khanna,et al.  New Hardness Results for Undirected Edge Disjoint Paths , 2005 .

[69]  Sabih H. Gerez,et al.  Algorithms for VLSI design automation , 1998 .

[70]  Silvio Micali,et al.  Priority queues with variable priority and an O(EV log V) algorithm for finding a maximal weighted matching in general graphs , 1982, 23rd Annual Symposium on Foundations of Computer Science (sfcs 1982).

[71]  Chi Ho Yeung,et al.  The Competition for Shortest Paths on Sparse Graphs , 2012, Physical review letters.