Fully dynamic algorithms for maintaining shortest paths trees

被引:124
作者
Frigioni, D
Marchetti-Spaccamela, A
Nanni, U
机构
[1] Univ Aquila, Dipartimento Ingn Elettr, I-67040 Laquila, Italy
[2] Univ Rome, Dipartimento Informat & Sistemist, I-00198 Rome, Italy
[3] Univ Roma La Sapienza, Dipartimento Informat & Sistemist, I-00198 Rome, Italy
来源
JOURNAL OF ALGORITHMS-COGNITION INFORMATICS AND LOGIC | 2000年 / 34卷 / 02期
关键词
D O I
10.1006/jagm.1999.1048
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
We propose fully dynamic algorithms for maintaining the distances and the shortest paths from a single source in either a directed or an undirected graph with positive real edge weights, handling insertions, deletions, and weight updates of edges. The algorithms require linear space and optimal query time. The cost of the update operations depends on the class of the considered graph and on the number of the output updates, i.e., on the number of vertices that, due to an edge modification, either change the distance from the source or change the parent in the shortest paths tree. We first show that, if we deal only with updates on the weights of edges, then the update procedures require O(log n) worst case time per output update for several classes of graphs, as in the case of graphs with bounded genus, bounded arboricity, bounded degree, bounded treewidth, and bounded pagenumber. For general graphs with n vertices and m edges the algorithms require O(root m log n) worst case time per output update. We also show that, if insertions and deletions of edges are allowed, then similar amortized bounds hold. (C) 2000 Academic Press.
引用
收藏
页码:251 / 281
页数:31
相关论文
共 30 条
[11]   DYNAMIC ALGORITHMS FOR SHORTEST PATHS IN PLANAR GRAPHS [J].
FEUERSTEIN, E ;
MARCHETTISPACCAMELA, A .
THEORETICAL COMPUTER SCIENCE, 1993, 116 (02) :359-371
[12]  
Franciosa PG, 1997, LECT NOTES COMPUT SC, V1200, P33, DOI 10.1007/BFb0023446
[13]   FIBONACCI HEAPS AND THEIR USES IN IMPROVED NETWORK OPTIMIZATION ALGORITHMS [J].
FREDMAN, ML ;
TARJAN, RE .
JOURNAL OF THE ACM, 1987, 34 (03) :596-615
[14]   Semidynamic algorithms for maintaining single-source shortest path trees [J].
Frigioni, D ;
Marchetti-Spaccamela, A ;
Nanni, U .
ALGORITHMICA, 1998, 22 (03) :250-274
[15]  
Frigioni D., 1998, ACM J EXPT ALGORITHM, V3, P5, DOI [10.1145/297096.297147, DOI 10.1145/297096.297147]
[16]  
Goldberg AV, 1999, LECT NOTES COMPUT SC, V1668, P1
[17]  
Harary F., 1969, GRAPH THEORY
[18]  
Klein P., 1994, Proceedings of the Twenty-Sixth Annual ACM Symposium on the Theory of Computing, P27, DOI 10.1145/195058.195092
[19]  
KLEIN PN, 1993, LECT NOTES COMPUTER, V709, P443
[20]   APPLICATIONS OF A PLANAR SEPARATOR THEOREM [J].
LIPTON, RJ ;
TARJAN, RE .
SIAM JOURNAL ON COMPUTING, 1980, 9 (03) :615-627