English

A Simple Dynamic Spanner via APSP

Data Structures and Algorithms 2024-08-22 v1

Abstract

We give a simple algorithm for maintaining a no(1)n^{o(1)}-approximate spanner HH of a graph GG with nn vertices as GG receives edge updates by reduction to the dynamic All-Pairs Shortest Paths (APSP) problem. Given an initially empty graph GG, our algorithm processes mm insertions and nn deletions in total time m1+o(1)m^{1 + o(1)} and maintains an initially empty spanner HH with total recourse n1+o(1)n^{1 + o(1)}. When the number of insertions is much larger than the number of deletions, this notably yields recourse sub-linear in the total number of updates. Our algorithm only has a single O(logn)O(\log n) factor overhead in runtime and approximation compared to the underlying APSP data structure. Therefore, future improvements for APSP will directly yield an improved dynamic spanner.

Keywords

Cite

@article{arxiv.2408.11368,
  title  = {A Simple Dynamic Spanner via APSP},
  author = {Rasmus Kyng and Simon Meierhans and Gernot Zöcklein},
  journal= {arXiv preprint arXiv:2408.11368},
  year   = {2024}
}