Abstract
We propose three algorithms for enumeration problems; given a graph G, to find every chordal supergraph (in K n ) of G, to find every interval supergraph (in K n ) of G, and to find every interval subgraph of G in K n . The algorithms are based on the reverse search method. A graph is chordal if and only if it has no induced chordless cycle of length more than three. A graph is an interval graph if and only if it has an interval representation. To the best of our knowledge, ours are the first results about the enumeration problems to list every interval subgraph of the input graph and to list every chordal/interval supergraph of the input graph in polynomial time. The time complexities of the first algorithm is O((n+m)2) for each output graph, and those for the rest two algorithms are O(n 3) for each output graph, where m is the number of edges of input graph G. We also show that a straight-forward depth-first search type algorithm is not appropriate for these problems.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Avis, D., Fukuda, K.: Reverse search for enumeration. Discrete Applied Mathematics 65, 21–46 (1996)
Beeri, C., Fagin, R., Maier, D., Yanakakis, M.: On the desirability of acyclic database schemes. Journal of the ACM 30, 479–513 (1983)
Blair, J.R.S., Peyton, B.: An introduction to chordal graphs and clique trees. Graph Theory and Sparse Matrix Computation IMA56, 1–29 (1993)
Booth, K.S., Lueker, G.S.: Testing for the consecutive ones property, interval graphs, and graph planarity using PQ tree algorithms. Journal of Computing and System Sciences 13, 335–379 (1976)
Chandran, L.S., Ibarra, L., Ruskey, F., Sawada, J.: Fast generation of all perfect elimination orderings of a chordal graph. Theoretical Computer Science 307, 303–317 (2003)
Corneil, D.G., Olariu, S., Stewart, L.: The ultimate interval graph recognition algorithm? In: Proceedings of 9th Annual ACM-SIAM Symposium on Discrete Algorithms, pp. 175–180. ACM, New York (1998)
Dirac, G.A.: On rigid circuit graphs, Abhandl. Math. Seminar Univ. Hamburg 25, 71–76 (1961)
Golumbic, M.C.: Algorithmic graph theory and perfect graphs. Academic Press, New York (1980)
Golumbic, M.C., Kaplan, H., Shamir, R.: Graph sandwich problems. Journal of Algorithms 19, 449–473 (1995)
Kiyomi, M., Uno, T.: Generating chordal graphs included in given graphs. IEICE Transactions on Information and Systems E89-D, 763–770 (2006)
Leckerkerker, C.G., Boland, J.C.: Representation of a finite graph by a set of intervals on the real line. Fund. Math. 51, 45–64 (1962)
Makino, K., Uno, T.: New algorithms for enumerating all maximal cliques. In: Hagerup, T., Katajainen, J. (eds.) SWAT 2004. LNCS, vol. 3111, pp. 260–272. Springer, Heidelberg (2004)
Nakano, S.: Enumerating floorplans with n rooms. In: Eades, P., Takaoka, T. (eds.) ISAAC 2001. LNCS, vol. 2223, pp. 107–115. Springer, Heidelberg (2001)
Nakano, S.: Efficient generation of triconnected plane triangulations. Computational Geometry Theory and Applications 27(2), 109–122 (2004)
Rose, D.J., Tarjan, R.E., Lueker, G.S.: Algorithmic aspects of vertex elimination on graphs. SIAM Journal on Computing 5, 266–283 (1976)
Whittaker, J.: Graphical models in applied multivariate statistics. Wiley, New York (1990)
Wormald, N.C.: Counting labelled chordal graphs. Graphs and Combinatorics 1, 193–200 (1985)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kiyomi, M., Kijima, S., Uno, T. (2006). Listing Chordal Graphs and Interval Graphs. In: Fomin, F.V. (eds) Graph-Theoretic Concepts in Computer Science. WG 2006. Lecture Notes in Computer Science, vol 4271. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11917496_7
Download citation
DOI: https://doi.org/10.1007/11917496_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-48381-6
Online ISBN: 978-3-540-48382-3
eBook Packages: Computer ScienceComputer Science (R0)