Abstract
We describe for the first time how the 5-regular simple planar graphs can all be obtained from an elementary family of starting graphs by repeatedly applying a few local expansion operations. The proof uses an innovative amalgam of theory and computation. By incorporating the recursion into the canonical construction path method of isomorph rejection, a generator of non-isomorphic embedded 5-regular planar graphs is obtained with time complexity O(n 2) per isomorphism class.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Batagelj, V.: An improved inductive definition of two restricted classes of triangulations of the plane. Combinatorics and Graph Theory, Banach Center Publications, 25, PWN - Polish Scientific Publishers, Warsaw, pp. 11–18 (1989)
Brinkmann, G., McKay, B.D.: Fast generation of planar graphs. MATCH Commun. Math. Comput. Chem. 58, 323–357 (2007), http://cs.anu.edu.au/~bdm/plantri
Brinkmann, G., McKay, B.D.: Construction of planar triangulations with minimum degree 5. Discrete Math. 301, 147–163 (2005)
Broersma, H.J., Duijvestijn, A.J.W., Göbel, F.: Generating all 3-connected 4-regular planar graphs from the octahedron graph. J. Graph Theory 17, 613–620 (1993)
Butler, J.W.: A generation procedure for the simple 3-polytopes with cyclically 5-connected graphs. Can. J. Math. 26, 686–708 (1974)
Fontet, M.: Linear algorithms for testing isomorphism of planar graphs. In: Proceedings Third Colloquium on Automata, Languages, and Programming, pp. 411–423 (1976)
Hasheminezhad, M., Fleischner, H., McKay, B.D.: A universal set of growth operations for fullerenes. Chem. Phys. Lett. 464, 118–121 (2008)
Hopcroft, J.E., Wong, J.K.: Linear time algorithm for isomorphism of planar graphs. In: 6th Annual ACM Symposium on Theory of Computing, Seattle, Washington, pp. 172–184 (1974)
Kanno, J., Kriesell, M.: A generating theorem for 5-regular simple planar graphs. I. Congr. Numerantium 185, 127–143 (2007)
Lehel, J.: Generating all 4-regular planar graphs from the graph of the octahedron. J. Graph Theory 5, 423–426 (1981)
McKay, B.D.: Isomorph-free exhaustive generation. J. Algorithms 26, 306–324 (1998)
Tutte, W.T.: A theory of 3-connected graphs. Nederl. Akad. Wetensch. Proc. Ser. A 64, 441–455 (1961)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hasheminezhad, M., McKay, B.D., Reeves, T. (2009). Recursive Generation of 5-Regular Planar Graphs. In: Das, S., Uehara, R. (eds) WALCOM: Algorithms and Computation. WALCOM 2009. Lecture Notes in Computer Science, vol 5431. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-00202-1_12
Download citation
DOI: https://doi.org/10.1007/978-3-642-00202-1_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-00201-4
Online ISBN: 978-3-642-00202-1
eBook Packages: Computer ScienceComputer Science (R0)