Abstract
Recently, a general framework for enumerating every non-isomorphic element in a graph class was given. Applying this framework, some graph classes have been enumerated using supercomputers, and their catalogs are provided on the web. Such graph classes include the classes of interval graphs, permutation graphs, and proper interval graphs. Last year, the enumeration algorithm for the class of Ptolemaic graphs that consists of graphs that satisfy Ptolemy inequality for the distance was investigated. They provided a polynomial time delay algorithm, but it is far from implementation. From the viewpoint of graph classes, the class is an intersection of the class of chordal graphs and the class of distance-hereditary graphs. In this paper, using the recent framework for enumerating every non-isomorphic element in a graph class, we give enumeration algorithms for the classes of distance-hereditary graphs and Ptolemaic graphs. For distance-hereditary graphs, its delay per graph is a bit slower than a previously known theoretical enumeration algorithm, however, ours is easy for implementation. In fact, although the previously known theoretical enumeration algorithm has never been implemented, we implemented our algorithm and obtained a catalog of distance-hereditary graphs of vertex numbers up to 14. We then modified the algorithm for distance-hereditary graphs to one for Ptolemaic graphs. Its delay can be the same as one for distance-hereditary graphs, which is much efficient than one proposed last year. We succeeded to enumerate Ptolemaic graphs of vertex numbers up to 15.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
In this paper, the original graph G has its “vertices”, while corresponding tree structure \(\mathcal{T}(G)\) has its “nodes” to distinguish them.
- 2.
The DH-tree for \(K_2\) is the only exception that it is not well-defined. It can be seen as two strong twins, or one of them is a pendant of the other. From the practical point of view, it is better to initialize the queue Q by two nodes for \(K_3\) and a path (u, v, w) of three vertices.
References
Avis, D., Fukuda, K.: Reverse search for enumeration. Discret. Appl. Math. 65, 21–46 (1996)
Bandelt, H.J., Mulder, H.M.: Distance-hereditary graphs. J. Comb. Theory, Ser. B 41(2), 182–208 (1986)
Brandstädt, A., Le, V.B., Spinrad, J.P.: Graph Classes: A Survey. SIAM, University City (1999)
Golumbic, M.C.: Algorithmic graph theory and perfect graphs. In: Annals of Discrete Mathematics, 2nd ed, vol. 57. Elsevier (2004)
Hanlon, P.: Counting interval graphs. Trans. Am. Math. Soc. 272(2), 383–426 (1982)
Harasawa, S., Uehara, R.: Efficient enumeration of connected proper interval graphs (in Japanese). IEICE Technical Report COMP2018-44, IEICE, March 2019, pp. 9–16 (2019)
Howorka, E.: A characterization of ptolemaic graphs. J. Graph Theory 5, 323–331 (1981)
Ikeda, S.i., Uehara, R.: Implementation of enumeration algorithm for connected bipartite permutation graphs (in Japanese). IEICE Technical Report COMP2018-45, IEICE, March 2019, pp. 17–23 (2019)
Nakano, S.I., Uehara, R., Uno, T.: A new approach to graph recognition and applications to distance-hereditary graphs. J. Comput. Sci. Technol. 24(3), 517–533 (2009). https://doi.org/10.1007/s11390-009-9242-3
Nakano, S., Uno, T.: Constant time generation of trees with specified diameter. In: Hromkovič, J., Nagl, M., Westfechtel, B. (eds.) WG 2004. LNCS, vol. 3353, pp. 33–45. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-30559-0_3
Mikos, P.: Efficient enumeration of non-isomorphic interval graphs. arXiv:1906.04094 (2019)
Saitoh, T., Otachi, Y., Yamanaka, K., Uehara, R.: Random generation and enumeration of bipartite permutation graphs. J. Discret. Algorithms 10, 84–97 (2012). https://doi.org/10.1016/j.jda.2011.11.001
Saitoh, T., Yamanaka, K., Kiyomi, M., Uehara, R.: Random generation and enumeration of proper interval graphs. IEICE Trans. Inf. Syst. E93–D(7), 1816–1823 (2010)
Tran, D.H., Uehara, R.: Efficient enumeration of non-isomorphic ptolemaic graphs. In: Rahman, M.S., Sadakane, K., Sung, W.-K. (eds.) WALCOM 2020. LNCS, vol. 12049, pp. 296–307. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-39881-1_25
Uehara, R., Toda, S., Nagoya, T.: Graph isomorphism completeness for chordal bipartite graphs and strongly chordal graphs. Discret. Appl. Math. 145(3), 479–482 (2004)
Uehara, R.: Graph catalogs (2020). http://www.jaist.ac.jp/~uehara/graphs
Uehara, R., Uno, Y.: Laminar structure of ptolemaic graphs with applications. Discret. Appl. Math. 157(7), 1533–1543 (2009)
Yamazaki, K., Saitoh, T., Kiyomi, M., Uehara, R.: Enumeration of nonisomorphic interval graphs and nonisomorphic permutation graphs. Theoret. Comput. Sci. 806, 323–331 (2020). https://doi.org/10.1016/j.tcs.2019.04.017
Acknowledgement
This work is partially supported by JSPS KAKENHI Grant Numbers 17H06287 and 18H04091.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 Springer Nature Switzerland AG
About this paper
Cite this paper
Yamazaki, K., Qian, M., Uehara, R. (2021). Efficient Enumeration of Non-isomorphic Distance-Hereditary Graphs and Ptolemaic Graphs. In: Uehara, R., Hong, SH., Nandy, S.C. (eds) WALCOM: Algorithms and Computation. WALCOM 2021. Lecture Notes in Computer Science(), vol 12635. Springer, Cham. https://doi.org/10.1007/978-3-030-68211-8_23
Download citation
DOI: https://doi.org/10.1007/978-3-030-68211-8_23
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-68210-1
Online ISBN: 978-3-030-68211-8
eBook Packages: Computer ScienceComputer Science (R0)