Abstract
In this paper, optimal algorithms and data structures are presented to maintain the triconnected components of a general graph, under insertions of edges in the graph. At any moment, the data structure can answer the following type of query: given two nodes in the graph, are these nodes triconnected. Starting from an “empty” graph of n nodes (i.e., a graph with no edges) the solution runs in O(n + m.α(m, n)) total time, where m is the total number of queries and edge insertions. The solution allows for insertions of nodes also.
At Princeton University, the research was supported by a NATO Science Fellowship awarded by N.W.O., and partially supported by DIMACS (Center for Discrete Mathematics and Theoretical Computer Science), a National Science Foundation Science and Technology Center -NSF-STC88-09648. At Utrecht University, the research was partially supported by the ESPRIT Basic Research Actions of the E.C. under contract no. 3075 (project ALCOM).
Preview
Unable to display preview. Download preview PDF.
References
G. Ausiello, G.F. Italiano, A. Marchetti Spaccamela, and U. Nanni, Incremental Algorithms for Minimal Length Paths, Proc. 1st Ann. ACM-SIAM Symp. on Discrete Algorithms (SODA) 1990, 12–21.
G. Di Battista and R. Tamassia, Incremental Planarity Testing, Proc. 30th Ann. Symp. on Found. of Comp. Sci. (FOCS) 1989, 436–441.
G. Di Battista and R. Tamassia, On-Line Graph Algorithms with SPQR-Trees, Proc. 17th Int. Colloquium on Automata, Languages and Programming (ICALP) 1990, 598–611.
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, Proc. 1st Ann. ACM-SIAM Symp. on Discrete Algorithms (SODA) 1990, 1–11.
G.N. Frederickson, Data structures for on-line updating of minimum spanning trees, with applications, SIAM J. Computing 14 (1985), pp. 781–798.
M.L. Fredman and M.E. Saks, The Cell-Probe Complexity of Dynamic Data Structures, Proc. 21th Ann. ACM Symp. on Theory of Comput. (STOC) 1989, 345–354
H.N. Gabow, A Scaling Algorithm for Weighted Matching on General Graphs, Proc. 26th Ann. Symp. on Found. of Comp. Sci. (FOCS) 1985, 90–100.
H.N. Gabow, Data Structures for Weighted Matching and Nearest Common Ancestors with Linking, Proc. 1st Ann. ACM-SIAM Symp. on Discrete Algorithms (SODA) 1990, 434–443.
H.N. Gabow and R.E. Tarjan, A Linear Time Algorithm for a Special Case of Disjoint Set Union, J. Comput. Syst. Sci. 30 (1985), 209–221.
Z. Galil and G.F.Italiano, Fully Dynamic Algorithms for Edge Connectivity Problems, Proc. 23th Ann. ACM Symp. on the Theory of Computing (STOC) 1991.
F. Harary, Graph Theory, Addison-Wesley Publishing Company, Reading, Mass., 1969.
J. Hopcroft and R.E. Tarjan, Dividing a graph into Triconnected Components, SIAM J. Comput. 2 (1973).
G.F. Italiano, Amortized efficiency of a path retrieval data structure, Theoretical Computer Science, 48, (1986), pp. 273–281.
G.F. Italiano, Finding paths and deleting edges in directed acyclic graphs, Information Processing Letters, 28, (1988), pp. 5–11.
J.A. La Poutré and J. van Leeuwen, Maintenance of Transitive Closures and Transitive Reductions of Graphs, In: H. Göttler, H.J. Schneider (Eds.), Graph-Theoretic Concepts in Computer Science 1987, Lecture Notes in Computer Science Vol. 314, Springer-Verlag, Berlin, pp. 106–120.
J.A. La Poutré, New Techniques for the Union-Find Problem, Proc. 1st Ann. ACM-SIAM Symp. on Discrete Algorithms (SODA) 1990, 54–63.
J.A. La Poutré, Lower Bounds for the Union-Find and the Split-Find Problem on Pointer Machines, Proc. 22th Ann. ACM Symp. on Theory of Comput. (STOC) 1990, 34–44.
J.A. La Poutré, J. van Leeuwen and M.H. Overmars, Maintenance of 2-and 3-connected components of graphs, Part I: 2-and 3-edge-connected components, Tech. Rep. RUU-CS-90-26, Utrecht University, 1990.
J.A. La Poutré, Maintenance of 2-and 3-connected components of graphs, Part II: 2-and 3-edge-connected components and 2-vertex-connected components, Tech. Rep. RUU-CS-90-27, Utrecht University, 1990.
J.A. La Poutré, Dynamic Graph Algorithms and Data Structures, Ph.D. Thesis, Utrecht University, 1991.
J.A. La Poutré, Fast Deterministic Algorithms for Incremental Planarity Testing, Princeton University, in preparation.
F.P. Preparata and R. Tamassia, Fully Dynamic Techniques for Point Location and Transitive Closure in Planar Structures, Proc. 29th Ann. Symp. on Found. of Comp. Sci. (FOCS) 1988, pp. 558–567.
H. Rohnert, A dynamization of the all pairs least cost path problem, In: K. Mehlhorn (ed.), 2nd Annual Symposium on Theoretical Aspects of Computer Science 1985, Lecture Notes in Computer Science Vol. 182, Springer-Verlag, Berlin, pp. 279–286.
R.E. Tarjan, Depth-First Search and Linear Graph Algorithms, SIAM J. Comput. 1 (1972) 146–160.
W. Tutte, Connectivity in Graphs, University of Toronto Press, 1966.
J. Westbrook and R.E. Tarjan, Maintaining Bridge-Connected and Biconnected Components On-Line, Tech. rep. CS-TR-228-89, Princeton University, 1989 (to appear in Algorithmica).
J. Westbrook, Fast Incremental Planarity Testing, Proc. 19th Int. Colloquium on Automata, Languages and Programming (ICALP) 1992.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
La Poutré, J.A. (1992). Maintenance of triconnected components of graphs. In: Kuich, W. (eds) Automata, Languages and Programming. ICALP 1992. Lecture Notes in Computer Science, vol 623. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55719-9_87
Download citation
DOI: https://doi.org/10.1007/3-540-55719-9_87
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55719-7
Online ISBN: 978-3-540-47278-0
eBook Packages: Springer Book Archive