77 research outputs found
Dynamic Approximate All-Pairs Shortest Paths: Breaking the O(mn) Barrier and Derandomization
We study dynamic -approximation algorithms for the all-pairs
shortest paths problem in unweighted undirected -node -edge graphs under
edge deletions. The fastest algorithm for this problem is a randomized
algorithm with a total update time of and constant
query time by Roditty and Zwick [FOCS 2004]. The fastest deterministic
algorithm is from a 1981 paper by Even and Shiloach [JACM 1981]; it has a total
update time of and constant query time. We improve these results as
follows: (1) We present an algorithm with a total update time of and constant query time that has an additive error of
in addition to the multiplicative error. This beats the previous
time when . Note that the additive
error is unavoidable since, even in the static case, an -time
(a so-called truly subcubic) combinatorial algorithm with
multiplicative error cannot have an additive error less than ,
unless we make a major breakthrough for Boolean matrix multiplication [Dor et
al. FOCS 1996] and many other long-standing problems [Vassilevska Williams and
Williams FOCS 2010]. The algorithm can also be turned into a
-approximation algorithm (without an additive error) with the
same time guarantees, improving the recent -approximation
algorithm with running
time of Bernstein and Roditty [SODA 2011] in terms of both approximation and
time guarantees. (2) We present a deterministic algorithm with a total update
time of and a query time of . The
algorithm has a multiplicative error of and gives the first
improved deterministic algorithm since 1981. It also answers an open question
raised by Bernstein [STOC 2013].Comment: A preliminary version was presented at the 2013 IEEE 54th Annual
Symposium on Foundations of Computer Science (FOCS 2013
Decremental Strongly-Connected Components and Single-Source Reachability in Near-Linear Time
Computing the Strongly-Connected Components (SCCs) in a graph is
known to take only time using an algorithm by Tarjan from
1972[SICOMP 72] where , . For fully-dynamic graphs, conditional
lower bounds provide evidence that the update time cannot be improved by
polynomial factors over recomputing the SCCs from scratch after every update.
Nevertheless, substantial progress has been made to find algorithms with fast
update time for \emph{decremental} graphs, i.e. graphs that undergo edge
deletions.
In this paper, we present the first algorithm for general decremental graphs
that maintains the SCCs in total update time , thus only a
polylogarithmic factor from the optimal running time. Previously such a result
was only known for the special case of planar graphs [Italiano et al, STOC
2017]. Our result should be compared to the formerly best algorithm for general
graphs achieving total update time by Chechik et.al.
[FOCS 16] which improved upon a breakthrough result leading to total update time by Henzinger, Krinninger and Nanongkai [STOC 14,
ICALP 15]; these results in turn improved upon the longstanding bound of
by Roditty and Zwick [STOC 04].
All of the above results also apply to the decremental Single-Source
Reachability (SSR) problem, which can be reduced to decrementally maintaining
SCCs. A bound of total update time for decremental SSR was established
already in 1981 by Even and Shiloach [JACM 1981].
Using a well known reduction, we can maintain the reachability of pairs , in fully-dynamic graphs with update time
and query time for all ; this
generalizes an earlier All-Pairs Reachability where [{\L}\k{a}cki, TALG
2013].Comment: Accepted to STOC 1
- …