Decremental SSSP in Weighted Digraphs: Faster and Against an Adaptive Adversary
share
Given a dynamic digraph G = (V,E) undergoing edge deletions and given s∈ V and ϵ>0, we consider the problem of maintaining (1+ϵ)-approximate shortest path distances from s to all vertices in G over the sequence of deletions. Even and Shiloach (J. ACM'81) give a deterministic data structure for the exact version of the problem with total update time O(mn). Henzinger et al. (STOC'14, ICALP'15) give a Monte Carlo data structure for the approximate version with improved total update time O(mn^0.9 + o(1)log W) where W is the ratio between the largest and smallest edge weight. A drawback of their data structure is that they only work against an oblivious adversary, meaning that the sequence of deletions needs to be fixed in advance. This limits its application as a black box inside algorithms. We present the following (1+ϵ)-approximate data structures: (1) the first data structure is Las Vegas and works against an adaptive adversary; it has total expected update time Õ(m^2/3n^4/3) for unweighted graphs and Õ(m^3/4n^5/4log W) for weighted graphs, (2) the second data structure is Las Vegas and assumes an oblivious adversary; it has total expected update time Õ(√(m) n^3/2) for unweighted graphs and Õ(m^2/3n^4/3log W) for weighted graphs, (3) the third data structure is Monte Carlo and is correct w.h.p. against an oblivious adversary; it has total expected update time Õ((mn)^7/8log W) = Õ(mn^3/4log W). Each of our data structures can be queried at any stage of G in constant worst-case time; if the adversary is oblivious, a query can be extended to also report such a path in time proportional to its length. Our update times are faster than those of Henzinger et al. for all graph densities.
READ FULL TEXT