Copyright © 2002 Elsevier Science (USA). All rights reserved.
Regular Article
A Fully Dynamic Algorithm for Maintaining the Transitive Closure
Received 10 December 1999;
revised 26 July 2002.
Available online 7 November 2002.
References and further reading may be available for this article. To view references and further reading you must purchase this article.
Abstract
This paper presents an efficient fully dynamic graph algorithm for maintaining the transitive closure of a directed graph. The algorithm updates the adjacency matrix of the transitive closure with each update to the graph; hence, each reachability query of the form “Is there a directed path from i to j?” can be answered in O(1) time. The algorithm is randomized and has a one-sided error; it is correct when answering yes, but has O(1/nc) probability of error when answering no, for any constant c. In acyclic graphs, worst case update time is O(n2). In general graphs, the update time is O(n2.26). The space complexity of the algorithm is O(n2).







E-mail Article
Add to my Quick Links

Cited By in Scopus (4)




