Randomized fully dynamic graph algorithms with polylogarithmic time per operation
- 1 July 1999
- journal article
- Published by Association for Computing Machinery (ACM) in Journal of the ACM
- Vol. 46 (4), 502-516
- https://doi.org/10.1145/320211.320215
Abstract
This paper solves a longstanding open problem in fully dynamic algorithms: We present the first fully dynamic algorithms that maintain connectivity, bipartiteness, and approximate minimum spanning trees in polylogarithmic time per edge insertion or deletion. The algorithms are designed using a new dynamic technique that combines a novel graph decomposition with randomization. They are Las-Vegas type randomized algorithms which use simple data structures and have a small constant factor. Let n denote the number of nodes in the graph. For a sequence of Ω( m 0 ) operations, where m 0 is the number of edges in the initial graph, the expected time for p updates is O ( p log 3 n ) (througout the paper the logarithms are based 2) for connectivity and bipartiteness. The worst-case time for one query is O (log n /log log n ). For the k -edge witness problem (“Does the removal of k given edges disconnect the graph?”) the expected time for p updates is O ( p log 3 n ) and the expected time for q queries is O ( qk log 3 n ). Given a graph with k different weights, the minimum spanning tree can be maintained during a sequence of p updates in expected time O ( pk log 3 n ). This implies an algorithm to maintain a 1 + ε-approximation of the minimum spanning tree in expected time O (( p log 3 n log U )/ε) for p updates, where the weights of the edges are between 1 and U .This publication has 18 references indexed in Scilit:
- Sparsification—a technique for speeding up dynamic graph algorithmsJournal of the ACM, 1997
- Ambivalent Data Structures for Dynamic 2-Edge-Connectivity and k Smallest Spanning TreesSIAM Journal on Computing, 1997
- Separator Based Sparsification: I. Planarity Testing and Minimum Spanning TreesJournal of Computer and System Sciences, 1996
- Fully dynamic biconnectivity in graphsAlgorithmica, 1995
- Complexity models for incremental computationTheoretical Computer Science, 1994
- A linear-time algorithm for finding a sparsek-connected spanning subgraph of ak-connected graphAlgorithmica, 1992
- Maintenance of a minimum spanning forest in a dynamic plane graphJournal of Algorithms, 1992
- Data Structures for On-Line Updating of Minimum Spanning Trees, with ApplicationsSIAM Journal on Computing, 1985
- A data structure for dynamic treesJournal of Computer and System Sciences, 1983
- An On-Line Edge-Deletion ProblemJournal of the ACM, 1981