Fully dynamic algorithms for chordal graphs

We present the fist dynamic algorithm to support the following operations on a chordal graph: (1) test whether deleting or inserting an arbitrary edge maintains chordality, (2) delete or insert an arbitrary edge, provided it maintains chordahty. The algorithm also maintains a clique tree of the graph: which provides the graph’s clique number and chromatic number. We give two implementations. In the first, each operation runs in O(n) time, where n is the number of vertices. In the second, testing a deletion runs in O(n) time, testing an insertion runs in O(log* n) time, deleting runs in O(nlog rz) time, and inserting runs in O(n/logn) time. All of these are worst-case times. The algorithm is very simple and uses no complex data structures.

[1]  Moni Naor,et al.  Fast parallel algorithms for chordal graphs , 1987, SIAM J. Comput..

[2]  D. R. Fulkerson,et al.  Incidence matrices and interval graphs , 1965 .

[3]  Anders Edenbrandt,et al.  Chordal Graph Recognition is in NC , 1987, Inf. Process. Lett..

[4]  Fanica Gavril,et al.  An Algorithm for Testing Chordality of Graphs , 1975, Inf. Process. Lett..

[5]  Mikkel Thorup,et al.  Improved Sampling with Applications to Dynamic Graph Algorithms , 1996, ICALP.

[6]  Mihalis Yannakakis,et al.  Scheduling Interval-Ordered Tasks , 1979, SIAM J. Comput..

[7]  Monika Henzinger,et al.  Maintaining Minimum Spanning Trees in Dynamic Graphs , 1997, ICALP.

[8]  M. Golumbic Algorithmic graph theory and perfect graphs , 1980 .

[9]  John H. Reif A Topological Approach to Dynamic Graph Connectivity , 1987, Inf. Process. Lett..

[10]  A. Pan,et al.  On Finding and Updating Spanning Trees and Shortest Paths , 1975, SIAM J. Comput..

[11]  Monika Henzinger,et al.  Randomized dynamic graph algorithms with polylogarithmic time per operation , 1995, STOC '95.

[12]  Greg N. Frederickson,et al.  Data structures for on-line updating of minimum spanning trees , 1983, STOC.

[13]  Mikkel Thorup,et al.  Poly-logarithmic deterministic fully-dynamic algorithms for connectivity, minimum spanning tree, 2-edge, and biconnectivity , 1998, STOC '98.

[14]  Robert E. Tarjan,et al.  Simple Linear-Time Algorithms to Test Chordality of Graphs, Test Acyclicity of Hypergraphs, and Selectively Reduce Acyclic Hypergraphs , 1984, SIAM J. Comput..

[15]  Shimon Even,et al.  An On-Line Edge-Deletion Problem , 1981, JACM.

[16]  Robert E. Tarjan,et al.  Algorithmic Aspects of Vertex Elimination on Graphs , 1976, SIAM J. Comput..

[17]  David Eppstein,et al.  Sparsification—a technique for speeding up dynamic graph algorithms , 1997, JACM.

[18]  Robert E. Tarjan,et al.  Efficiency of a Good But Not Linear Set Union Algorithm , 1972, JACM.

[19]  Robert E. Tarjan,et al.  A data structure for dynamic trees , 1981, STOC '81.

[20]  B. Peyton,et al.  An Introduction to Chordal Graphs and Clique Trees , 1993 .

[21]  Robert E. Tarjan,et al.  A data structure for dynamic trees , 1981, STOC '81.