Fully Dynamic Algorithms for Maintaining All-Pairs Shortest Paths and Transitive Closure in Digraphs

  • Authors:
  • Valerie King

  • Affiliations:
  • -

  • Venue:
  • FOCS '99 Proceedings of the 40th Annual Symposium on Foundations of Computer Science
  • Year:
  • 1999

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper presents the first fully dynamic algorithms for maintaining all-pairs shortest paths in digraphs with positive integer weights less than b. For approximate shortest paths with an error factor of \math, for any positive constant \math, the amortized update time is O(n2 log2 n/log log n); for an error factor of \math the amortized update time is \math. For exact shortest paths the amortized update time is \math. Query time for exact and approximate shortest distances is O(1); exact and approximate paths can be generated in time proportional to their lengths.Also presented is a fully dynamic transitive closure algorithm with update time O(n2 log n) and query time O(1). The previously known fully dynamic transitive closure algorithm with fast query time has one-sided error and update time O(n2:28). The algorithms use simple data structures, and are deterministic.