TY - GEN

T1 - Dynamic approximate all-pairs shortest paths in undirected graphs

AU - Roditty, Liam

AU - Zwick, Uri

PY - 2004

Y1 - 2004

N2 - We obtain three new dynamic algorithms for the approximate all-pairs shortest paths problem in unweighted undirected graphs: 1. For any fixed ε > 0, a decremental algorithm with an expected total running time of Õ(mn), where m is the number of edges and n is the number of vertices in the initial graph. Each distance query is answered in O(1) worst-case time, and the stretch of the returned distances is at most 1 + ε. The algorithm uses Õ(n2) space. 2. For any fixed integer k ≥ 1, a decremental algorithm with an expected total running time of Õ(mn). Each query is answered in O(1) worst-case time, and the stretch of the returned distances is at most 2k - 1. This algorithm uses, however, only O(m + n1+1/k) space. It is obtained by dynamizing techniques of Thorup and Zwick. In addition to being more space efficient, this algorithm is also one of the building blocks used to obtain the first algorithm. 3. For any fixed ε, δ > 0 and every t ≤ m1/2-δ, a fully dynamic algorithm with an expected amortized update time of Õ(mn/t) and worst-case query time of O(t). The stretch of the returned distances is at most 1 + ε. All algorithms can also be made to work on undirected graphs with small integer edge weights. If the largest edge weight is b, then all bounds on the running times are multiplied by b

AB - We obtain three new dynamic algorithms for the approximate all-pairs shortest paths problem in unweighted undirected graphs: 1. For any fixed ε > 0, a decremental algorithm with an expected total running time of Õ(mn), where m is the number of edges and n is the number of vertices in the initial graph. Each distance query is answered in O(1) worst-case time, and the stretch of the returned distances is at most 1 + ε. The algorithm uses Õ(n2) space. 2. For any fixed integer k ≥ 1, a decremental algorithm with an expected total running time of Õ(mn). Each query is answered in O(1) worst-case time, and the stretch of the returned distances is at most 2k - 1. This algorithm uses, however, only O(m + n1+1/k) space. It is obtained by dynamizing techniques of Thorup and Zwick. In addition to being more space efficient, this algorithm is also one of the building blocks used to obtain the first algorithm. 3. For any fixed ε, δ > 0 and every t ≤ m1/2-δ, a fully dynamic algorithm with an expected amortized update time of Õ(mn/t) and worst-case query time of O(t). The stretch of the returned distances is at most 1 + ε. All algorithms can also be made to work on undirected graphs with small integer edge weights. If the largest edge weight is b, then all bounds on the running times are multiplied by b

UR - http://www.scopus.com/inward/record.url?scp=17744392469&partnerID=8YFLogxK

U2 - 10.1109/FOCS.2004.22

DO - 10.1109/FOCS.2004.22

M3 - פרסום בספר כנס

AN - SCOPUS:17744392469

SN - 0769522289

T3 - Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS

SP - 499

EP - 508

BT - Proceedings - 45th Annual IEEE Symposium on Foundations of Computer Sciences, FOCS 2004

Y2 - 17 October 2004 through 19 October 2004

ER -