Fully dynamic algorithms for chordal graphs and split graphs

We present the first dynamic algorithm that maintains a clique tree representation of a chordal graph and supports the following operations: (1) query whether deleting or inserting an arbitrary edge preserves chordality; and (2) delete or insert an arbitrary edge, provided it preserves chordality. We give two implementations. In the first, each operation runs in <i>O</i>(<i>n</i>) time, where <i>n</i> is the number of vertices. In the second, an insertion query runs in <i>O</i>(log<sup>2</sup> <i>n</i>) time, an insertion in <i>O</i>(<i>n</i>) time, a deletion query in <i>O</i>(<i>n</i>) time, and a deletion in <i>O</i>(<i>n</i> log <i>n</i>) time. We also present a data structure that allows a deletion query to run in <i>O</i>(&sqrt;m) time in either implementation, where <i>m</i> is the current number of edges. Updating this data structure after a deletion or insertion requires <i>O</i>(<i>m</i>) time. We also present a very simple dynamic algorithm that supports each of the following operations in <i>O</i>(1) time on a general graph: (1) query whether the graph is split, and (2) delete or insert an arbitrary edge.

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

[2]  Stavros D. Nikolopoulos Constant-Time Parallel Recognition of Split Graphs , 1995, Inf. Process. Lett..

[3]  M. Golumbic Chapter 3 - Perfect graphs , 2004 .

[4]  M. Golumbic Algorithmic Graph Theory and Perfect Graphs (Annals of Discrete Mathematics, Vol 57) , 2004 .

[5]  Russell Merris,et al.  Split graphs , 2003, Eur. J. Comb..

[6]  R. Möhring Algorithmic graph theory and perfect graphs , 1986 .

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

[8]  Michael E. Lundquist Zero Patterns, Chordal Graphs and Matrix Completions , 1990 .

[9]  Peter L. Hammer,et al.  The splittance of a graph , 1981, Comb..

[10]  David Eppstein,et al.  Sparsification-a technique for speeding up dynamic graph algorithms , 1992, Proceedings., 33rd Annual Symposium on Foundations of Computer Science.

[11]  Roded Sharan,et al.  A Fully Dynamic Algorithm for Recognizing and Representing Proper Interval Graphs , 1999, SIAM J. Comput..

[12]  Daniel M. Yellin An Algorithm for Dynamic Subset and Intersection Testing , 1994, Theor. Comput. Sci..

[13]  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..

[14]  Peter Buneman,et al.  A characterisation of rigid circuit graphs , 1974, Discret. Math..

[15]  Robert E. Tarjan,et al.  Algorithmic aspects of vertex elimination , 1975, STOC.

[16]  James R. Walter,et al.  Representations of chordal graphs as subtrees of a tree , 1978, J. Graph Theory.

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

[18]  David Eppstein,et al.  Dynamic graph algorithms , 2010 .

[19]  Pinar Heggernes,et al.  A practical algorithm for making filled graphs minimal , 2001, Theor. Comput. Sci..

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

[21]  Philip N. Klein Efficient Parallel Algorithms for Chordal Graphs , 1996, SIAM J. Comput..

[22]  Philip A. Bernstein,et al.  Power of Natural Semijoins , 1981, SIAM J. Comput..

[23]  J. G. Lewis,et al.  A fast algorithm for reordering sparse matrices for parallel factorization , 1989 .

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

[25]  Richard C. T. Lee,et al.  Counting Clique Trees and Computing Perfect Elimination Schemes in Parallel , 1989, Inf. Process. Lett..

[26]  Greg N. Frederickson,et al.  Data Structures for On-Line Updating of Minimum Spanning Trees, with Applications , 1985, SIAM J. Comput..

[27]  F. McMorris,et al.  Topics in Intersection Graph Theory , 1987 .

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

[29]  F. Gavril The intersection graphs of subtrees in tree are exactly the chordal graphs , 1974 .

[30]  Fanica Gavril,et al.  Algorithms for Minimum Coloring, Maximum Clique, Minimum Covering by Cliques, and Maximum Independent Set of a Chordal Graph , 1972, SIAM J. Comput..

[31]  Charles R. Johnson,et al.  Positive definite completions of partial Hermitian matrices , 1984 .