Maintaining all-pairs approximate shortest paths under deletion of edges

We present a hierarchical scheme for efficiently maintaining all-pairs approximate shortest paths in undirected unweighted graphs under deletions of edges.An α-approximate shortest-path between two vertices is a path of length at-most α times the length of the shortest path. For maintaining α-approximate shortest paths for all pairs of vertices separated by distance ≤ <i>d</i> in a graph of n vertices, we present the first <i>o</i>(<i>nd</i>) update time algorithm based on our hierarchical scheme. In particular, the update time per edge deletion achieved by our algorithm is Õ(min{√nd,(nd)<sup>2/3</sup>}) for 3-approximate shortest-paths, and Õ(min{√nd,(nd)<sup>4/7</sup>}) for 7-approximate shortest-paths. For graphs with <i>θ</i>(<i>n</i><sup>2</sup>) edges, we achieve even further improvement in update time : Õ(√nd) for 3-approximate shortest-paths, and Õ(3√nd<sup>2</sup>) for 5-approximate shortest-paths.For maintaining all-pairs approximate shortest-paths, weimprove the previous Õ(<i>n</i><sup>3/2</sup>)bound on the update time per edge deletion for approximation factor ≥ 3. In particular, update time achieved by our algorithm is Õ(<i>n</i><sup>10/9</sup>) for 3-approximate shortest-paths, Õ(<i>n</i><sup>14/13</sup>) for 5-approximate shortest-paths, and Õ(<i>n</i><sup>28/27</sup>) for 7-approximate shortest-paths.All our algorithms achieve optimal query time and are simple to implement.

[1]  Edith Cohen,et al.  All-pairs small-stretch paths , 1997, SODA '97.

[2]  Monika Henzinger,et al.  Fully dynamic biconnectivity and transitive closure , 1995, Proceedings of IEEE 36th Annual Foundations of Computer Science.

[3]  Mikkel Thorup,et al.  Approximate distance oracles , 2001, JACM.

[4]  Ramesh Hariharan,et al.  Improved decremental algorithms for maintaining transitive closure and all-pairs shortest paths , 2002, STOC '02.

[5]  Uri Zwick,et al.  All-Pairs Almost Shortest Paths , 1997, SIAM J. Comput..

[6]  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).

[7]  Shimon Even,et al.  An On-Line Edge-Deletion Problem , 1981, JACM.