Incremental algorithms for the single-source shortest path problem

Abstract

We consider the problem of updating a single source shortest path tree in either a directed or an undirected graph, with positive real edge weights. Our semidynamic algorithms for the incremental problem (handling edge insertions and cost decrements) work for any graph, but their performances depend on the class of the considered graph. In any case our algorithms have optimal space requirements and query time. The cost of updates is computed in terms of amortized output complexity. In the case of graphs with linear size genus (including planar graphs), bounded degree graphs and bounded treewidth graphs, the incremental algorithm requires O(logn) amortized time per vertex update, where a vertex is considered updated if reduces its distance from the source. We also consider the decremental problem for planar graphs, providing algorithms and data structures with analogous performances. We remark that our algorithms, based on Di-jkstra's techniques [5], require simple data structures that are really suitable for a practical and straightforward implementation.

Work partially supported by the ESPRIT Basic Research Action no.7141 (ALCOM II), and by PROGETTO FINALIZZA TO TRASPORTI 2 of the Italian National Research Council (CNR).

Part of this work was developed while this author was visiting the International Computer Science Institute, 1947 Center Street · Suite 600 · Berkeley, California 94704.