4 research outputs found
Fully Dynamic Shortest Path Reporting Against an Adaptive Adversary
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 , we can
maintain approximate shortest paths in
update and query time. This improves upon the approximate distance
data structures from [v.d.Brand, 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
update and query time. This
improves upon [Bergamaschi, Henzinger, P.Gutenberg, V.Williams, 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
-approximate -shortest path in
time per update, and -approximate single source shortest paths in
time per update. Previous deterministic results by
[v.d.Brand, Nazari, Forster, FOCS'22] could only maintain distance estimates
but no paths
Fast Deterministic Fully Dynamic Distance Approximation
In this paper, we develop deterministic fully dynamic algorithms for
computing approximate distances in a graph with worst-case update time
guarantees. In particular, we obtain improved dynamic algorithms that, given an
unweighted and undirected graph undergoing edge insertions and
deletions, and a parameter , maintain
-approximations of the -distance between a given pair of
nodes and , the distances from a single source to all nodes
("SSSP"), the distances from multiple sources to all nodes ("MSSP"), or the
distances between all nodes ("APSP").
Our main result is a deterministic algorithm for maintaining
-approximate -distance with worst-case update time
(for the current best known bound on the matrix multiplication
exponent ). This even improves upon the fastest known randomized
algorithm for this problem. Similar to several other well-studied dynamic
problems whose state-of-the-art worst-case update time is , this
matches a conditional lower bound [BNS, FOCS 2019]. We further give a
deterministic algorithm for maintaining -approximate
single-source distances with worst-case update time , which also
matches a conditional lower bound.
At the core, our approach is to combine algebraic distance maintenance data
structures with near-additive emulator constructions. This also leads to novel
dynamic algorithms for maintaining -emulators that improve
upon the state of the art, which might be of independent interest. Our
techniques also lead to improved randomized algorithms for several problems
such as exact -distances and diameter approximation.Comment: Changes to the previous version: improved bounds for approximate st
distances using new algebraic data structure