Abstract: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 [<a class="link-external link-http" href="http://v.d.Brand" rel="external noopener nofollow">this http URL</a>, 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, <a class="link-external link-http" href="http://P.Gutenberg" rel="external noopener nofollow">this http URL</a>, <a class="link-external link-http" href="http://V.Williams" rel="external noopener nofollow">this http URL</a>, 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 [<a class="link-external link-http" href="http://v.d.Brand" rel="external noopener nofollow">this http URL</a>, Nazari, Forster, FOCS'22] could only maintain distance estimates but no paths.

Computational Complexity of the Recoverable Robust Shortest Path Problem with Discrete Recourse

Computational complexity of the recoverable robust shortest path problem in acyclic digraphs

Recoverable Robust Shortest Path Problem Under Interval Budgeted Uncertainty Representations

On the Complexity of Recoverable Robust Optimization in the Polynomial Hierarchy

Robust Shortest Path Problem with Distributional Uncertainty

Recoverable Robust Single Machine Scheduling with Polyhedral Uncertainty

Shortest path network interdiction with asymmetric uncertainty

An Investigation of the Recoverable Robust Assignment Problem

Data-Driven Distributionally Robust Shortest Path Problem Using the Wasserstein Ambiguity Set

Wasserstein Distributionally Robust Shortest Path Problem

Decision Making and Analysis for Unexpected Road Blockages.

A Risk-Reward Competitive Analysis for the Recoverable Canadian Traveller Problem

Distance-Constraint Reachability Computation in Uncertain Graphs.

The Dynamic Shortest Path Problem with Time-Dependent Stochastic Disruptions

Fully Dynamic Shortest Path Reporting Against an Adaptive Adversary

On Recoverable and Two-Stage Robust Selection Problems with Budgeted Uncertainty

Polylogarithmic Approximation for Robust s-t Path

Robust Combinatorial Optimization Problems Under Budgeted Interdiction Uncertainty

Complexity Vs. Optimality: Unraveling Source-Destination Connection in Uncertain Graphs

Sequential Recovery of Disrupted Facilities