Fully-dynamic all-pairs shortest paths: Improved worst-case time and space bounds

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

Given a directed weighted graph G = (V, E) undergoing vertex insertions and deletions, the All-Pairs Shortest Paths (APSP) problem asks to maintain a data structure that processes updates efficiently and returns after each update the distance matrix to the current version of G. In two breakthrough results, Italiano and Demetrescu [STOC'03] presented an algorithm that requires Õ(n2) amortized update time, and Thorup showed in [STOC'05] that worst-case update time Õ(n2+3/4) can be achieved. In this article, we make substantial progress on the problem. We present the following new results: • We present the first deterministic data structure that breaks the Õ(n2+3/4) worst-case update time bound by Thorup which has been standing for almost 15 years. We improve the worst-case update time to Õ(n2+5/7) = Õ(n2.71..) and to Õ(n2+3/5) = Õ(n2.6) for unweighted graphs. • We present a simple deterministic algorithm with Õ(n2+3/4) worst-case update time (Õ(n2+2/3) for unweighted graphs), and a simple Las-Vegas algorithm with worst-case update time Õ(n2+2/3) (Õ(n2+1/2) for unweighted graphs) that works against a non-oblivious adversary. Both data structures require space Õ(n2). These are the first exact dynamic algorithms with truly-subcubic update time and space usage. This makes significant progress on an open question posed in multiple articles [COCOON'01, STOC'03, ICALP'04, Encyclopedia of Algorithms'08] and is critical to algorithms in practice [TALG'06] where large space usage is prohibitive. Moreover, they match the worst-case update time of the best previous algorithms and the second algorithm improves upon a Monte-Carlo algorithm in a weaker adversary model with the same running time [SODA'17].

Titel31st Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2020
RedaktørerShuchi Chawla
ForlagAssociation for Computing Machinery
ISBN (Elektronisk)9781611975994
StatusUdgivet - 2020
Begivenhed31st Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2020 - Salt Lake City, USA
Varighed: 5 jan. 20208 jan. 2020


Konference31st Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2020
BySalt Lake City
SponsorACM Special Interest Group on Algorithms and Computation Theory (SIGACT), SIAM Activity Group on Discrete Mathematics

ID: 250488073