Swapping a Failing Edge of a Single Source Shortest Paths Tree Is Good and Fast

Abstract. Let G=(V,E) be a 2-edge connected, undirected and nonnegatively weighted graph, and let S(r) be a single source shortest paths tree (SPT) of G rooted at r ∈ V . Whenever an edge e in S(r) fails, we are interested in reconnecting the nodes now disconnected from the root by means of a single edge e' crossing the cut created by the removal of e . Such an edge e' is named a swap edge for e . Let Se/e'(r) be the swap tree (no longer an SPT, in general) obtained by swapping e with e' , and let Se be the set of all possible swap trees with respect to e . Let F be a function defined over Se that expresses some feature of a swap tree, such as the average length of a path from the root r to all the nodes below edge e , or the maximum length, or one of many others. A best swap edge for e with respect to F is a swap edge f such that F(Se/f(r)) is minimum. In this paper we present efficient algorithms for the problem of finding a best swap edge, for each edge e of S(r) , with respect to several objectives. Our work is motivated by a scenario in which individual connections in a communication network suffer transient failures. As a consequence of an edge failure, the shortest paths to all the nodes below the failed edge might completely change, and it might be desirable to avoid an expensive switch to a new SPT, because the failure is only temporary. As an aside, what we get is not even far from a new SPT: our analysis shows that the trees obtained from the swapping have features very similar to those of the corresponding SPTs rebuilt from scratch.

[1]  Frank Harary,et al.  Graph Theory , 2016 .

[2]  Robert E. Tarjan,et al.  Efficiency of a Good But Not Linear Set Union Algorithm , 1972, JACM.

[3]  R. Tarjan Complexity of monotone networks for computing conjunctions , 1976 .

[4]  Robert E. Tarjan,et al.  Applications of Path Compression on Balanced Trees , 1979, JACM.

[5]  Robert E. Tarjan,et al.  Sensitivity Analysis of Minimum Spanning Trees and Shortest Path Trees , 1982, Inf. Process. Lett..

[6]  Robert E. Tarjan,et al.  Fast Algorithms for Finding Nearest Common Ancestors , 1984, SIAM J. Comput..

[7]  Robert E. Tarjan,et al.  Fibonacci heaps and their uses in improved network optimization algorithms , 1984, JACM.

[8]  Robert E. Tarjan,et al.  Verification and Sensitivity Analysis of Minimum Spanning Trees in Linear Time , 1992, SIAM J. Comput..

[9]  M. Stoer Design of Survivable Networks , 1993 .

[10]  Naoki Katoh,et al.  Efficient Algorithms for Finding the Most Vital Edge of a Minimum Spanning Tree , 1993, Inf. Process. Lett..

[11]  Giuseppe F. Italiano,et al.  Maintaining Spanning Trees of Small Diameter , 1994, ICALP.

[12]  Daniele Frigioni,et al.  Fully dynamic output bounded single source shortest path problem , 1996, SODA '96.

[13]  Enrico Nardelli,et al.  Finding All the Best Swaps of a Minimum Diameter Spanning Tree Under Transient Edge Failures , 1998, J. Graph Algorithms Appl..

[14]  Enrico Nardelli,et al.  How to Swap a Failing Edge of a Single Source Shortest Paths Tree , 1999, COCOON.