A Parallel Fully Dynamic Iterative Bio-Inspired Shortest Path Algorithm

We propose a fully dynamic bio-inspired parallel algorithm for solving the shortest path problem on dynamically changing graphs based on Physarum Solver , which is an amoeba shortest path algorithm. Although many sequential algorithms exist for solving dynamic shortest path problem, there are only few parallel algorithms, most of which identify the set of vertices affected by the dynamic changes. However, when the graph size becomes large, the process of determining affected vertices is time-consuming. In fact, when the percentage of changing edges is large, most of the studies in the literature are infeasible. The proposed algorithm is able to identify affected vertices and reconstruct them spontaneously in parallel. Moreover, it is designed to be suitable for dynamically changing graphs since it uses the information arising in earlier iterations. Thus, it computes effectively dynamic shortest path even if percentage of changing edges is large. At each iteration of the proposed algorithm, a sparse linear system of equations needs to be solved, which is the most time-consuming and challenging step of the algorithm especially when the problem size is large. We propose a parallel preconditioned iterative method for solving those sparse linear systems. The proposed preconditioner is specifically designed based on the properties of the coefficient matrix of those linear systems, and the effectiveness of the proposed preconditioner is compared against other state-of-the-art preconditioners on dynamic graphs. The proposed algorithm is evaluated using three different large graph models representing diverse real-life applications on a parallel multicore cluster. The parallel scalability of the proposed algorithm is compared against $${\varDelta }$$ Δ -stepping, which is the most representative parallel implementation of Dijkstra’s algorithm in the Parallel Boost Graph Library.

[1]  Yong Deng,et al.  A Fast Bayesian Iterative Rule in Amoeba Algorithm , 2019, Int. J. Unconv. Comput..

[2]  Enrique Alba,et al.  Parallelism and evolutionary algorithms , 2002, IEEE Trans. Evol. Comput..

[3]  Edsger W. Dijkstra,et al.  A note on two problems in connexion with graphs , 1959, Numerische Mathematik.

[4]  Mikkel Thorup,et al.  Internet traffic engineering by optimizing OSPF weights , 2000, Proceedings IEEE INFOCOM 2000. Conference on Computer Communications. Nineteenth Annual Joint Conference of the IEEE Computer and Communications Societies (Cat. No.00CH37064).

[5]  Liang Liu,et al.  Physarum optimization: A biology-inspired algorithm for minimal exposure path problem in wireless sensor networks , 2012, 2012 Proceedings IEEE INFOCOM.

[6]  Bernd Meyer,et al.  Optimal information transfer and stochastic resonance in collective decision making , 2017, Swarm Intelligence.

[7]  Kai-Yeung Siu,et al.  New dynamic algorithms for shortest path tree computation , 2000, TNET.

[8]  Eric de Sturler,et al.  Recycling Krylov Subspaces for Sequences of Linear Systems , 2006, SIAM J. Sci. Comput..

[9]  Barbara G. Ryder,et al.  Incremental data flow analysis via dominator and attribute update , 1988, POPL '88.

[10]  Kurt Mehlhorn,et al.  Physarum Can Compute Shortest Paths: Convergence Proofs and Complexity Bounds , 2013, ICALP.

[11]  J. Shewchuk An Introduction to the Conjugate Gradient Method Without the Agonizing Pain , 1994 .

[12]  A. Tero,et al.  A mathematical model for adaptive transport network in path finding by true slime mold. , 2007, Journal of theoretical biology.

[13]  R. Plemmons,et al.  Convergence of parallel multisplitting iterative methods for M-matrices , 1987 .

[14]  Jeff Jones,et al.  Network Division Method Based on Cellular Growth and Physarum-inspired Network Adaptation , 2017, Int. J. Unconv. Comput..

[15]  R. Plemmons M-matrix characterizations.I—nonsingular M-matrices , 1977 .

[16]  Edward P. F. Chan,et al.  Shortest Path Tree Computation in Dynamic Graphs , 2009, IEEE Transactions on Computers.

[17]  Athanasios V. Vasilakos,et al.  Physarum Optimization: A Biology-Inspired Algorithm for the Steiner Tree Problem in Networks , 2015, IEEE Transactions on Computers.

[18]  Xin-She Yang,et al.  A bio-inspired algorithm for identification of critical components in the transportation networks , 2014, Appl. Math. Comput..

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

[20]  Murat Manguoglu,et al.  A parallel bio-inspried shortest path algorithm , 2018, Computing.

[21]  Chang Wook Ahn,et al.  A genetic algorithm for shortest path routing problem and the sizing of populations , 2002, IEEE Trans. Evol. Comput..

[22]  Andrew Adamatzky,et al.  A Would-Be Nervous System Made from a Slime Mold , 2015, Artificial Life.

[23]  Hilal Arslan,et al.  A hybrid single-source shortest path algorithm , 2019, Turkish J. Electr. Eng. Comput. Sci..

[24]  A. Nepomniaschaya Parallel implementation of the Ramalingam incremental algorithm for dynamic updating the shortest-paths subgraph , 2010 .

[25]  Kai-Yeung Siu,et al.  New dynamic SPT algorithm based on a ball-and-string model , 1999, IEEE INFOCOM '99. Conference on Computer Communications. Proceedings. Eighteenth Annual Joint Conference of the IEEE Computer and Communications Societies. The Future is Now (Cat. No.99CH36320).

[26]  Riccardo Poli,et al.  Particle swarm optimization , 1995, Swarm Intelligence.

[27]  Turki Y. Abdalla,et al.  Routing with Congestion Control in Computer Network using Neural Networks , 2012 .

[28]  Valerie King,et al.  Fully dynamic algorithms for maintaining all-pairs shortest paths and transitive closure in digraphs , 1999, 40th Annual Symposium on Foundations of Computer Science (Cat. No.99CB37039).

[29]  Grammati E. Pantziou,et al.  On-line and Dynamic Algorithms for Shorted Path Problems , 1995, STACS.

[30]  Toshiyuki Nakagaki,et al.  Physarum solver: A biologically inspired method of road-network navigation , 2006 .

[31]  Dhirendra Singh,et al.  Parallel batch dynamic single source shortest path algorithm and its implementation on GPU based machine , 2019, Int. Arab J. Inf. Technol..

[32]  Giuseppe F. Italiano,et al.  Fully dynamic all pairs shortest paths with real edge weights , 2001, Proceedings 2001 IEEE International Conference on Cluster Computing.

[33]  Tamara G. Kolda,et al.  Community structure and scale-free collections of Erdös-Rényi graphs , 2011, Physical review. E, Statistical, nonlinear, and soft matter physics.

[34]  Qian Wan,et al.  A bio-inspired optimal network division method , 2019, Physica A: Statistical Mechanics and its Applications.

[35]  R. Nigel Horspool Incremental Generation of LR Parsers , 1990, Comput. Lang..

[36]  Hongzhi Wang,et al.  Dynamic Graph Shortest Path Algorithm , 2012, WAIM.

[37]  Frank Harary,et al.  Dynamic graph models , 1997 .

[38]  Douglas P. Gregor,et al.  The Parallel BGL : A Generic Library for Distributed Graph Computations , 2005 .

[39]  Jiannong Cao,et al.  An efficient algorithm for dynamic shortest path tree update in network routing , 2007, Journal of Communications and Networks.

[40]  Jeff Jones,et al.  Characteristics of Pattern Formation and Evolution in Approximations of Physarum Transport Networks , 2010, Artificial Life.

[41]  Yong Deng,et al.  A Bio-inspired Network Design Method for Intelligent Transportation , 2019, Int. J. Unconv. Comput..

[42]  T. Nakagaki,et al.  Intelligence: Maze-solving by an amoeboid organism , 2000, Nature.

[43]  Ling Chen,et al.  A parallel ant colony algorithm on massively parallel processors and its convergence analysis for the travelling salesman problem , 2012, Inf. Sci..

[44]  Felix T.S. Chan,et al.  An Adaptive Amoeba Algorithm for Shortest Path Tree Computation in Dynamic Graphs , 2013, Inf. Sci..

[45]  Alexander Borgida,et al.  Efficient management of transitive relationships in large data and knowledge bases , 1989, SIGMOD '89.

[46]  Ismail Chabini,et al.  Discrete Dynamic Shortest Path Problems in Transportation Applications: Complexity and Algorithms with Optimal Run Time , 1998 .

[47]  Ismail Chabini,et al.  Design and Implementation of Parallel Dynamic Shortest Path Algorithms for Intelligent Transportation Systems Applications , 2001 .

[48]  Daniel M. Yellin,et al.  INC: a language for incremental computations , 1988, PLDI '88.

[49]  Anurag Ingole Dynamic Shortest Paths using JavaScript on GPUs , 2015 .

[50]  Thomas W. Reps,et al.  An Incremental Algorithm for a Generalization of the Shortest-Path Problem , 1996, J. Algorithms.

[51]  T. Lindvall ON A ROUTING PROBLEM , 2004, Probability in the Engineering and Informational Sciences.