Proceedings 32nd Annual Symposium of Foundations of Computer Science (1991)
San Juan, Puerto Rico
Oct. 1, 1991 to Oct. 4, 1991
A. Kanevsky , Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
Given a graph G with n vertices and m edges, a k-connectivity query for vertices v' and v" of G asks whether there exist k disjoint paths between v' and v". The authors consider the problem of performing k-connectivity queries for k<or=4. First, they present a static data structure that answers such queries in O(1) time. Next, they consider the problem of performing queries intermixed with online updates that insert vertices and edges. For triconnected graphs they give a dynamic data structure that supports queries and updates in time O( alpha (l,n)) amortized, where n is the current number of vertices of the graph and l is the total number of operations performed ( alpha (l, n) denotes the slowly growing Ackermann function inverse). For general graphs, a sequence of l operations takes total time O(n log n+l). All of the above data structures use space O(n), proportional to the number of vertices of the graph. The results also yield an efficient algorithm for testing whether graph G is four-connected that runs in O(n alpha (n, n)+m) time using O(n+m) space.
Ackermann function inverse, four-connected components, graph, vertices, edges, k-connectivity query, disjoint paths, static data structure, online updates, triconnected graphs, dynamic data structure
R. Tamassia, J. Chen, G. Di Battista and A. Kanevsky, "On-line maintenance of the four-connected components of a graph,"  Proceedings 32nd Annual Symposium of Foundations of Computer Science(FOCS), San Juan, Puerto Rico, 1991, pp. 793-801.