Skip to main content
Springer Nature Link
Log in

Recursive Generation of 5-Regular Planar Graphs

  • Conference paper
WALCOM: Algorithms and Computation (WALCOM 2009)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 5431))

Included in the following conference series:

  • 950 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. 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)

    Google Scholar 

  2. 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

    MathSciNet  MATH  Google Scholar 

  3. Brinkmann, G., McKay, B.D.: Construction of planar triangulations with minimum degree 5. Discrete Math. 301, 147–163 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  4. 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)

    Article  MathSciNet  MATH  Google Scholar 

  5. Butler, J.W.: A generation procedure for the simple 3-polytopes with cyclically 5-connected graphs. Can. J. Math. 26, 686–708 (1974)

    MathSciNet  MATH  Google Scholar 

  6. Fontet, M.: Linear algorithms for testing isomorphism of planar graphs. In: Proceedings Third Colloquium on Automata, Languages, and Programming, pp. 411–423 (1976)

    Google Scholar 

  7. Hasheminezhad, M., Fleischner, H., McKay, B.D.: A universal set of growth operations for fullerenes. Chem. Phys. Lett. 464, 118–121 (2008)

    Article  Google Scholar 

  8. 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)

    Google Scholar 

  9. Kanno, J., Kriesell, M.: A generating theorem for 5-regular simple planar graphs. I. Congr. Numerantium 185, 127–143 (2007)

    MathSciNet  MATH  Google Scholar 

  10. Lehel, J.: Generating all 4-regular planar graphs from the graph of the octahedron. J. Graph Theory 5, 423–426 (1981)

    Article  MathSciNet  MATH  Google Scholar 

  11. McKay, B.D.: Isomorph-free exhaustive generation. J. Algorithms 26, 306–324 (1998)

    Article  MathSciNet  MATH  Google Scholar 

  12. Tutte, W.T.: A theory of 3-connected graphs. Nederl. Akad. Wetensch. Proc. Ser. A 64, 441–455 (1961)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science Faculty of Mathematics and Computer Science, Amirkabir University of Technology, Tehran, Iran

    Mahdieh Hasheminezhad

  2. Department of Computer Science, Australian National University, ACT 0200, Australia

    Brendan D. McKay

  3. Polytopia Systems Pty. Ltd., 19 Colbeck Street, Mawson, ACT, 2607, Australia

    Tristan Reeves

Authors
  1. Mahdieh Hasheminezhad
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Brendan D. McKay
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Tristan Reeves
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Indian Statistical Institute, 700 108, Kolkata, India

    Sandip Das

  2. Japan Advanced Institute of Science and Technology, 923-1292, Ishikawa, Japan

    Ryuhei Uehara

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics