Abstract
We give a linear time and space algorithm for analyzing trees in planar graphs. The algorithm can be used to analyze the sensitivity of a minimum spanning tree to changes in edge costs, to find its replacement edges, and to verify its minimality. It can also be used to analyze the sensitivity of a single-source shortest-path tree to changes in edge costs, and to analyze the sensitivity of a minimum-cost network flow. The algorithm is simple and practical. It uses the properties of a planar embedding, combined with a heap-ordered queue data structure.
Similar content being viewed by others
References
K. Booth and G. Lueker. Testing for the consecutive ones property, interval graphs, and graph planarity using PQ-tree algorithmsJ. Comput. System Sci., 13:335–379, 1976.
D. Cheriton and R. E. Tarjan. Finding minimum spanning trees.SIAM J. Comput., 5:724–742, 1976.
N. Chiba, T. Nishizeki, S. Abe, and T. Ozawa. A linear algorithm for embedding planar graphs using PQ-trees.J. Comput. System Sci., 30:54–76, 1985.
B. Dixon, M. Rauch, and R. E. Tarjan. Verification and sensitivity analysis of minimum spanning trees in linear time.SIAM J. Comput., 21:1184–1192, 1992.
D. Eppstein. Finding thek smallest spanning trees.Proc. 2nd Scandinavian Workshop on Algorithm Theory (SWAT 90), Lecture Notes in Computer Science, Vol. 447, pp. 38–47. Springer-Verlag, Berlin, 1990.
D. Eppstein, G. F. Italiano, R. Tamassia, R. E. Tarjan, J. Westbrook, and M. Yung. Maintenance of a minimum spanning forest in a dynamic planar graph.J. Algorithms, 13:33–54, 1992.
G. N. Frederickson. Data structures for on-line updating of minimum spanning trees, with applications.SIAM J. Comput., 14:781–798, 1985.
H. N. Gabow. Data structures for weighted matching and nearest common ancestors with linking.Proc. 1st ACM-SIAM Symposium on Discrete Algorithms, pp. 434–443, 1990.
H. N. Gabow and M. Stallmann. Efficient algorithms for graphic matroid intersection and parity (extended abstract). InAutomata, Languages, and Programming, 12th Colloquium, Lecture Notes in Computer Science, Vol. 194, pp. 210–220. Springer-Verlag, Berlin, 1985.
H. Gajewska and R. E. Tarjan. Deques with heap order.Inform. Process. Lett., 22:197–200, 1986.
D. Gusfield. A note on arc tolerances in sparse shortest path and network flow problems.Networks, 13:191–196, 1983.
F. Harary.Graph Theory. Addison-Wesley, Reading, MA, 1972.
J. Hopcroft and R. E. Tarjan. Efficient planarity testing.J. Assoc. Comput. Mach., 21:549–568, 1974.
R. J. Lipton and R. E. Tarjan. A separator theorem for planar graphs.SIAM J. Appl. Math., 36:177–189, 1979.
D. R. Shier and G. Witzgall. Arc tolerances in shortest path and network flow problems.Networks, 10:277–291, 1980.
R. E. Tarjan. Depth first search and linear graph algorithms.SIAM J. Comput., 1:146–160, 1972.
R. E. Tarjan. Finding dominators in directed graphs.SIAM J. Comput., 3:62–89, 1974.
R. E. Tarjan. Applications of path compression on balanced trees.J. Assoc. Comput. Mach., 26:690–715, 1979.
R. E. Tarjan. Sensitivity analysis of minimum spanning trees and shortest path trees.Inform. Process. Lett., 14:30–33, 1982.
W. T. Tutte.Graph Theory. Addison-Wesley, Menlo Park, CA, 1984.
Author information
Authors and Affiliations
Additional information
Communicated by Harold N. Gabow.
This research was partially supported by Office of Naval Research Grant N00014-87-K-0467 and National Science Foundation Grant CCR-8610181.
This research was done while the author was at the Department of Computer Science, Princeton University, Princeton, NJ 08544, USA.
This research was done while the author was at the Department of Computer Science, Stanford University, Stanford, CA 94305, USA.
Rights and permissions
About this article
Cite this article
Booth, H., Westbrook, J. A linear algorithm for analysis of minimum spanning and shortest-path trees of planar graphs. Algorithmica 11, 341–352 (1994). https://doi.org/10.1007/BF01187017
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01187017