Computer Science > Data Structures and Algorithms
[Submitted on 14 Apr 2023 (v1), last revised 27 Nov 2023 (this version, v2)]
Title:Fully Dynamic Shortest Path Reporting Against an Adaptive Adversary
View PDFAbstract:Algebraic data structures are the main subroutine for maintaining distances in fully dynamic graphs in subquadratic time. However, these dynamic algebraic algorithms generally cannot maintain the shortest paths, especially against adaptive adversaries. We present the first fully dynamic algorithm that maintains the shortest paths against an adaptive adversary in subquadratic update time. This is obtained via a combinatorial reduction that allows reconstructing the shortest paths with only a few distance estimates. Using this reduction, we obtain the following:
On weighted directed graphs with real edge weights in $[1,W]$, we can maintain $(1+\epsilon)$ approximate shortest paths in $\tilde{O}(n^{1.816}\epsilon^{-2} \log W)$ update and $\tilde{O}(n^{1.741} \epsilon^{-2} \log W)$ query time. This improves upon the approximate distance data structures from [this http URL, Nanongkai, FOCS'19], which only returned a distance estimate, by matching their complexity and returning an approximate shortest path.
On unweighted directed graphs, we can maintain exact shortest paths in $\tilde{O}(n^{1.823})$ update and $\tilde{O}(n^{1.747})$ query time. This improves upon [Bergamaschi, Henzinger, this http URL, this http URL, Wein, SODA'21] who could report the path only against oblivious adversaries. We improve both their update and query time while also handling adaptive adversaries.
On unweighted undirected graphs, our reduction holds not just against adaptive adversaries but is also deterministic. We maintain a $(1+\epsilon)$-approximate $st$-shortest path in $O(n^{1.529} / \epsilon^2)$ time per update, and $(1+\epsilon)$-approximate single source shortest paths in $O(n^{1.764} / \epsilon^2)$ time per update. Previous deterministic results by [this http URL, Nazari, Forster, FOCS'22] could only maintain distance estimates but no paths.
Submission history
From: Anastasiia Alokhina [view email][v1] Fri, 14 Apr 2023 21:45:14 UTC (57 KB)
[v2] Mon, 27 Nov 2023 02:59:05 UTC (63 KB)
References & Citations
Bibliographic and Citation Tools
Bibliographic Explorer (What is the Explorer?)
Litmaps (What is Litmaps?)
scite Smart Citations (What are Smart Citations?)
Code, Data and Media Associated with this Article
CatalyzeX Code Finder for Papers (What is CatalyzeX?)
DagsHub (What is DagsHub?)
Gotit.pub (What is GotitPub?)
Papers with Code (What is Papers with Code?)
ScienceCast (What is ScienceCast?)
Demos
Recommenders and Search Tools
Influence Flower (What are Influence Flowers?)
Connected Papers (What is Connected Papers?)
CORE Recommender (What is CORE?)
arXivLabs: experimental projects with community collaborators
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.