1 Derandomizing the Replacment Paths Algorithm of Roditty and Zwick [ 37

In this work we derandomize two central results in graph algorithms, replacement paths and distance sensitivity oracles (DSOs) matching in both cases the running time of the randomized algorithms. For the replacement paths problem, let G = (V,E) be a directed unweighted graph with n vertices and m edges and let P be a shortest path from s to t in G. The {\sl replacement paths} problem is to find for every edge e \in P the shortest path from s to t avoiding e. Roditty and Zwick [ICALP 2005] obtained a randomized algorithm with running time of ~O(m \sqrt{n}). Here we provide the first deterministic algorithm for this problem, with the same ~O(m \sqrt{n}) time. For the problem of distance sensitivity oracles, let G = (V,E) be a directed graph with real-edge weights. An f-Sensitivity Distance Oracle (f-DSO) gets as input the graph G=(V,E) and a parameter f, preprocesses it into a data-structure, such that given a query (s,t,F) with s,t \in V and F \subseteq E \cup V, |F| \le f being a set of at most f edges or vertices (failures), the query algorithm efficiently computes the distance from s to t in the graph G \setminus F ({\sl i.e.}, the distance from s to t in the graph G after removing from it the failing edges and vertices F). For weighted graphs with real edge weights, Weimann and Yuster [FOCS 2010] presented a combinatorial randomized f-DSO with ~O(mn^{4-\alpha}) preprocessing time and subquadratic ~O(n^{2-2(1-\alpha)/f}) query time for every value of 0 < \alpha < 1. We derandomize this result and present a combinatorial deterministic f-DSO with the same asymptotic preprocessing and query time.

[1]  Ran Duan,et al.  Dual-failure distance and connectivity oracles , 2009, SODA.

[2]  David R. Karger,et al.  Improved distance sensitivity oracles via random sampling , 2008, SODA '08.

[3]  Robert A. van de Geijn,et al.  Generating Families of Practical Fast Matrix Multiplication Algorithms , 2016, 2017 IEEE International Parallel and Distributed Processing Symposium (IPDPS).

[4]  Moshe Lewenstein,et al.  Improved algorithms for the k simple shortest paths and the replacement paths problems , 2009, Inf. Process. Lett..

[5]  Monika Henzinger,et al.  Decremental Single-Source Shortest Paths on Undirected Graphs in Near-Linear Total Update Time , 2014, 2014 IEEE 55th Annual Symposium on Foundations of Computer Science.

[6]  Mikkel Thorup,et al.  Oracles for Distances Avoiding a Failed Node or Link , 2008, SIAM J. Comput..

[7]  Shiri Chechik,et al.  Deterministic decremental single source shortest paths: beyond the o(mn) bound , 2016, STOC.

[8]  Hsueh-I Lu,et al.  Replacement Paths via Row Minima of Concise Matrices , 2014, SIAM J. Discret. Math..

[9]  Aaron Bernstein A nearly optimal algorithm for approximating replacement paths and k shortest simple paths in general graphs , 2010, SODA '10.

[10]  Noga Alon,et al.  The Probabilistic Method , 2015, Fundamentals of Ramsey Theory.

[11]  Michael S. Waterman,et al.  Technical Note - Determining All Optimal and Near-Optimal Solutions when Solving Shortest Path Problems by Dynamic Programming , 1984, Oper. Res..

[12]  David Eppstein,et al.  Finding the k Shortest Paths , 1999, SIAM J. Comput..

[13]  Monika Henzinger,et al.  Improved Algorithms for Decremental Single-Source Reachability on Directed Graphs , 2015, ICALP.

[14]  David Peleg,et al.  A near-linear-time algorithm for computing replacement paths in planar directed graphs , 2008, TALG.

[15]  Don Coppersmith,et al.  Matrix multiplication via arithmetic progressions , 1987, STOC.

[16]  J. Y. Yen Finding the K Shortest Loopless Paths in a Network , 1971 .

[17]  David R. Karger,et al.  A nearly optimal oracle for avoiding failed vertices and edges , 2009, STOC '09.

[18]  Subhash Suri,et al.  Erratum to "Vickrey Pricing and Shortest Paths: What is an Edge Worth?" , 2002, FOCS.

[19]  Austin R. Benson,et al.  A framework for practical parallel fast matrix multiplication , 2014, PPoPP.

[20]  Mikkel Thorup,et al.  Oracles for distances avoiding a link-failure , 2002, SODA '02.

[21]  Fabrizio Grandoni,et al.  Improved Distance Sensitivity Oracles via Fast Single-Source Replacement Paths , 2012, 2012 IEEE 53rd Annual Symposium on Foundations of Computer Science.

[22]  Enrico Nardelli,et al.  A faster computation of the most vital edge of a shortest path , 2001, Inf. Process. Lett..

[23]  Subhash Suri,et al.  Vickrey prices and shortest paths: what is an edge worth? , 2001, Proceedings 2001 IEEE International Conference on Cluster Computing.

[24]  A. K. Mittal,et al.  The k most vital arcs in the shortest path problem , 1990 .

[25]  Matteo Pontecorvi,et al.  A Deterministic Distributed Algorithm for Exact Weighted All-Pairs Shortest Paths in Õ(n 3/2 ) Rounds , 2018, PODC.

[26]  Haim Kaplan,et al.  (1 + ∊)-Approximate f-Sensitive Distance Oracles , 2017, SODA.

[27]  Monika Henzinger,et al.  Sublinear-time decremental algorithms for single-source reachability and shortest paths on directed graphs , 2014, STOC.

[28]  Clifford Stein,et al.  Dynamic Matching: Reducing Integral Algorithms to Approximately-Maximal Fractional Algorithms , 2017, ICALP.

[29]  Surender Baswana,et al.  Approximate Shortest Paths Avoiding a Failed Vertex: Optimal Size Data Structures for Unweighted Graph , 2010, STACS.

[30]  Virginia Vassilevska Williams,et al.  Multiplying matrices faster than coppersmith-winograd , 2012, STOC '12.