Abstract
A graph is a pairwise compatibility graph (PCG) if it can be represented by an edge weighted tree whose set of leaves is the set of vertices of the graph, and there is an edge between two vertices in the graph if and only if the distance between them in the tree is within a given interval. Enumerating all minimal non-PCGs (each of whose induced subgraphs is a PCG) with a given number of vertices is a challenging task, since it involves a large number of “configurations” that need to be inspected, an infinite search space of weights, and the construction of finite size evidence that a graph is not a PCG. We handle the problem of a large number of configurations by first screening graphs that are PCGs by using a heuristic PCG generator, and then constructing configurations that show some graphs to be PCGs. Finally, we generated configurations by excluding those configurations which cannot be used to show that a given graph is a PCG. To deal with the difficulty of infinite search space and construction of finite size evidence, we use linear programming (LP) formulations whose solutions serve as finite size evidence. We enumerated all minimal non-PCGs with nine vertices, the smallest integer for which minimal non-PCGs are unknown. We prove that there are exactly 1,494 minimal non-PCGs with nine vertices and provide evidence for each of them.
Partially supported by JSPS KAKENHI Grant no. 18J23484.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Azam, N.A., Ito, M., Shurbevski, A., Nagamochi, H.: Enumerating all pairwise compatibility graphs with a given number of vertices based on linear programming. In: 2nd International Workshop on Enumeration Problems and Applications (WEPA), paper 6c (2018)
Azam, N.A., Shurbevski, A., Nagamochi, H.: A method for enumerating all pairwise compatibility graphs with a given number of vertices. Discrete Appl. Math. (To appear)
Baiocchi, P., Calamoneri, T., Monti, A., Petreschi, R.: Some classes of graphs that are not PCGs. Theor. Comput. Sci. 791, 62–75 (2019). https://doi.org/10.1016/j.tcs.2019.05.017
Calamoneri, T., Frangioni, A., Sinaimeri, B.: Pairwise compatibility graphs of caterpillars. Comput. J. 57(11), 1616–1623 (2014)
Calamoneri, T., Frascaria, D., Sinaimeri, B.: All graphs with at most seven vertices are pairwise compatibility graphs. Comput. J. 56(7), 882–886 (2013)
Calamoneri, T., Montefusco, E., Petreschi, R., Sinaimeri, B.: Exploring pairwise compatibility graphs. Theor. Comput. Sci. 468, 23–36 (2013)
Calamoneri, T., Sinaimeri, B.: Pairwise compatibility graphs: a survey. SIAM Rev. 58(3), 445–460 (2016)
Durocher, S., Mondal, D., Rahman, M.S.: On graphs that are not PCGs. Theor. Comput. Sci. 571, 78–87 (2015)
Gale, D.: The Theory of Linear Economic Models. University of Chicago Press, Chicago (1989)
Kearney, P., Munro, J.I., Phillips, D.: Efficient generation of uniform samples from phylogenetic trees. In: Benson, G., Page, R.D.M. (eds.) WABI 2003. LNCS, vol. 2812, pp. 177–189. Springer, Heidelberg (2003). https://doi.org/10.1007/978-3-540-39763-2_14
McKay, B.D., Piperno, A.: Practical graph isomorphism, II. J. Symbolic Comput. 60, 94–112 (2014)
http://users.cecs.anu.edu.au/~bdm/data/graphs.html. Accessed June 2019
Xiao, M., Nagamochi, H.: Some reduction operations to pairwise compatibility graphs. Inf. Process. Lett. 153, 105875 (2020). https://doi.org/10.1016/j.ipl.2019.105875
Yanhaona, M.N., Bayzid, M.S., Rahman, M.S.: Discovering pairwise compatibility graphs. Discrete Math. Algorithms Appl. 2(04), 607–623 (2010)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Azam, N.A., Shurbevski, A., Nagamochi, H. (2020). On the Enumeration of Minimal Non-pairwise Compatibility Graphs. In: Kim, D., Uma, R., Cai, Z., Lee, D. (eds) Computing and Combinatorics. COCOON 2020. Lecture Notes in Computer Science(), vol 12273. Springer, Cham. https://doi.org/10.1007/978-3-030-58150-3_30
Download citation
DOI: https://doi.org/10.1007/978-3-030-58150-3_30
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-58149-7
Online ISBN: 978-3-030-58150-3
eBook Packages: Computer ScienceComputer Science (R0)