The OEIS Foundation is supported by donations from users of the OEIS and by a grant from the Simons Foundation.

 Hints (Greetings from The On-Line Encyclopedia of Integer Sequences!)
 A292515 Number of 4-regular 4-edge-connected planar simple graphs on n vertices. 2
 0, 0, 0, 0, 0, 1, 0, 1, 1, 3, 3, 12, 19, 63, 153, 499, 1473, 4974, 16296, 56102, 192899, 674678, 2381395, 8468424 (list; graph; refs; listen; history; text; internal format)
 OFFSET 1,10 COMMENTS The difference between this sequence and A078666 arises because the latter lists not abstract planar graphs but plane graphs (on the sphere, with the same restrictions). Among A078666(14)=64 plane graphs there is 1 pair of isomorphic graphs, namely graphs No. 63 and 64 (hereafter the enumeration of plane graphs from the LinKnot Mathematica package is used, see The Knot Atlas link), hence a(14)=64-1=63. Among 155 plane graphs on 15 vertices, the isomorphic pairs are (143, 149) and (153, 155), hence a(15)=155-2=153. The 11 isomorphic pairs of plane graphs on 16 vertices are: (456, 492), (459, 493), (464, 496), (465, 501), (466, 468), (470, 487), (473, 503), (477, 488), (478, 479), (486, 497), (498, 504). Tuzun and Sikora say that such planar graphs constitute the set of 4-edge-connected basic Conway polyhedra, and indeed it suffices to consider any one embedding of each of these graphs into sphere or plane to list all prime knots. However, usually the set of Conway polyhedra is identified with the set of plane graphs instead (see A078666 and references therein), which is necessary to list or encode all prime knot diagrams (on the sphere). LINKS The Knot Atlas, Conway Notation. Robert E. Tuzun and Adam S. Sikora, Verification Of The Jones Unknot Conjecture Up To 22 Crossings, Journal of Knot Theory and Its Ramifications (2018) 1840009, arXiv:1606.06671 [math.GT], 2016-2020 (see table 2). Robert E. Tuzun and Adam S. Sikora, Verification Of The Jones Unknot Conjecture Up To 24 Crossings, arXiv:2003.06724 [math.GT], 2020 (see table 1). CROSSREFS Cf. A072552, A078666. Sequence in context: A074850 A073055 A075780 * A078666 A290438 A006804 Adjacent sequences:  A292512 A292513 A292514 * A292516 A292517 A292518 KEYWORD nonn,more AUTHOR Andrey Zabolotskiy, Sep 18 2017 EXTENSIONS a(23)-a(24) added from Tuzun & Sikora (2020) by Andrey Zabolotskiy, Apr 27 2020 STATUS approved

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recent
The OEIS Community | Maintained by The OEIS Foundation Inc.

Last modified September 20 19:17 EDT 2020. Contains 337265 sequences. (Running on oeis4.)