Fully dynamic all pairs shortest paths with real edge weights

Camil Demetrescu, Giuseppe F. Italiano
2006 Journal of computer and system sciences (Print)  
We present the first fully dynamic algorithm for maintaining all pairs shortest paths in directed graphs with real-valued edge weights. Given a dynamic directed graph G such that each edge can assume at most S different real values, we show how to support updates in O(n 2.5 S log 3 n ) amortized time and queries in optimal worst-case time. No previous fully dynamic algorithm was known for this problem. In the special case where edge weights can only be increased, we give a randomized algorithm
more » ... ith one-sided error which supports updates faster in O(S · n log 3 n) amortized time. We also show how to obtain query/update trade-offs for this problem, by introducing two new families of algorithms. Algorithms in the first family achieve an update bound of O(S · k · n 2 ) 1 and a query bound of O(n/k), and improve over the best known update bounds for k in the range (n/S) 1/3 ≤ k < (n/S) 1/2 . Algorithms in the second family achieve an update bound of O S · k · n 2 and a query bound of O(n 2 /k 2 ), and are competitive with the best known update bounds (first family included) for k in the range (n/S) 1/6 ≤ k < (n/S) 1/3 .
doi:10.1016/j.jcss.2005.05.005 fatcat:uf2gpex2hrhcpirotvyypnejbm