TY - JOUR

T1 - Fully dynamic maintenance of k-connectivity in parallel

AU - Liang, Weifa

AU - Brent, Richard P.

AU - Shen, Hong

PY - 2001/8

Y1 - 2001/8

N2 - Given a graph G = (V, E) with n vertices and m edges, the k-connectivity of G denotes either the k-edge connectivity or the k-vertex connectivity of G. In this paper, we deal with the fully dynamic maintenance of k-connectivity of C in the parallel setting for k = 2, 3. We study the problem of maintaining k-edge/vertex connected components of a graph undergoing repeatedly dynamic updates, such as edge insertions and deletions, and answering the query of whether two vertices are included in the same k-edge/vertex connected component. Our major results are the following: 1) An NC algorithm for the 2-edge connectivity problem is proposed, which runs in O(log n log(m/n)) time using O(n 3/4) processors per update and query. 2) It is shown that the biconnectivity problem can be solved in O(log 2 n) time using O(nα(2n, n)/log n) processors per update and O(1) time with a single processor per query or in O(log n log m/n) time using O(nα(2n, n)/log n) processors per update and O(log n) time using O(nα(2n, n)/log n) processors per query, where α(., .) is the inverse of Ackermann's function. 3) An NC algorithm for the triconnectivity problem is also derived, which takes O(log n log m/n + log n loglog n/α(3n, n)) time using O(nα(3n, n)/log n) processors per update and O(1) time with a single processor per query. 4) An NC algorithm for the 3-edge connectivity problem is obtained, which has the same time and processor complexities as the algorithm for the triconnectivity problem. To the best of our knowledge, the proposed algorithms are the first NC algorithms for the problems using O(n) processors in contrast to Ω(m) processors for solving them from scratch. In particular, the proposed NC algorithm for the 2-edge connectivity problem uses only O(n 3/4)) processors. All the proposed algorithms run on a CRCW PRAM.

AB - Given a graph G = (V, E) with n vertices and m edges, the k-connectivity of G denotes either the k-edge connectivity or the k-vertex connectivity of G. In this paper, we deal with the fully dynamic maintenance of k-connectivity of C in the parallel setting for k = 2, 3. We study the problem of maintaining k-edge/vertex connected components of a graph undergoing repeatedly dynamic updates, such as edge insertions and deletions, and answering the query of whether two vertices are included in the same k-edge/vertex connected component. Our major results are the following: 1) An NC algorithm for the 2-edge connectivity problem is proposed, which runs in O(log n log(m/n)) time using O(n 3/4) processors per update and query. 2) It is shown that the biconnectivity problem can be solved in O(log 2 n) time using O(nα(2n, n)/log n) processors per update and O(1) time with a single processor per query or in O(log n log m/n) time using O(nα(2n, n)/log n) processors per update and O(log n) time using O(nα(2n, n)/log n) processors per query, where α(., .) is the inverse of Ackermann's function. 3) An NC algorithm for the triconnectivity problem is also derived, which takes O(log n log m/n + log n loglog n/α(3n, n)) time using O(nα(3n, n)/log n) processors per update and O(1) time with a single processor per query. 4) An NC algorithm for the 3-edge connectivity problem is obtained, which has the same time and processor complexities as the algorithm for the triconnectivity problem. To the best of our knowledge, the proposed algorithms are the first NC algorithms for the problems using O(n) processors in contrast to Ω(m) processors for solving them from scratch. In particular, the proposed NC algorithm for the 2-edge connectivity problem uses only O(n 3/4)) processors. All the proposed algorithms run on a CRCW PRAM.

KW - 2-edge/vertex connectivity

KW - 3-edge/vertex connectivity

KW - Dynamic data structures

KW - Graph problems

KW - NC algorithms

KW - Parallel algorithm design and analysis

UR - http://www.scopus.com/inward/record.url?scp=0035414878&partnerID=8YFLogxK

U2 - 10.1109/71.946661

DO - 10.1109/71.946661

M3 - Article

AN - SCOPUS:0035414878

SN - 1045-9219

VL - 12

SP - 846

EP - 864

JO - IEEE Transactions on Parallel and Distributed Systems

JF - IEEE Transactions on Parallel and Distributed Systems

IS - 8

ER -