LCF code is a notation system in combinatorial mathematics developed by Lederberg and expanded by Coxeter and to represent cubic graphs that are Hamiltonian [2] [3] . Since the graphs are Hamiltonian, the vertices can be , which defines two edges for each vertex. The third rib can now be described by the number of positions at which the end of the rib is spaced from the beginning (with plus clockwise and minus counterclockwise). Often as a result we get a repeating sequence of numbers, in this case only this repeating part is written out, and the number of repetitions is shown by a superscript (like a degree). For example, the Nauru Count [1] has an LCF code [5, β9, 7, β7, 9, β5] 4 . The same graph can have different LCF codes, depending on how the vertices are located on the circle (the graph can have several variants of the Hamiltonian cycle).
Numbers inside square brackets are considered modulo where - the number of vertices of the graph. Numbers comparable modulo with 0, 1, and not allowed [4] , since they cannot correspond to any third rib.
The LCF code is useful for a concise description of Hamiltonian cubic graphs, in particular those shown in the table below. In addition, some graph software packages include utilities for creating a graph from its LCF code [5] .
Examples
| Title | Top | LCF code |
| Count tetrahedron | four | [2] 4 |
| 6 | [3] 6 | |
| Cube graph | eight | [3, -3] 4 |
| Count Wagner | eight | [4] 8 or [4, -3,3,4] 2 |
| 12 | [6.4, -4] 4 or [6, -3,3,6,3, -3] 2 or [-3,6,4, -4,6,3, -4,6, -3, 3,6,4] | |
| Count Franklin | 12 | [5, -5] 6 or [-5, -3,3,5] 3 |
| Count Frucht | 12 | [-5, -2, -4,2,5, -2,2,5, -2, -5,4,2] |
| Count of truncated tetrahedron | 12 | [2.6, -2] 4 |
| Earl of Howwood | 14 | [5, -5] 7 |
| Earl of Mobius - Cantor | sixteen | [5, -5] 8 |
| Count Pappa | 18 | [5.7, -7.7, -7, -5] 3 |
| Count of Desargues | 20 | [5, -5.9, -9] 5 |
| Dodecahedron count | 20 | [10,7,4, -4, -7,10, -4,7, -7,4] 2 |
| Count McGee | 24 | [12.7, -7] 8 |
| Truncated Cube Count | 24 | [2.9, -2.2, -9, -2] 4 |
| Count truncated octahedron | 24 | [3, -7.7, -3] 6 |
| Count of Nauru | 24 | [5, -9.7, -7.9, -5] 4 |
| Count F26A | 26 | [-7, 7] 13 |
| Count Tatta - Coxeter | thirty | [-13, -9.7, -7.9.13] 5 |
| Count Dick | 32 | [5, -5.13, -13] 8 |
| Earl Gray | 54 | [-25.7, -7.13, -13.25] 9 |
| The truncated dodecahedron count | 60 | [30, β2, 2, 21, β2, 2, 12, β2, 2, β12, β2, 2, β21, β2, 2, 30, β2, 2, β12, β2 , 2, 21, β2, 2, β21, β2, 2, 12, β2, 2] 2 |
| Earl of Harris | 70 | [-29, -19, -13,13,21, -27,27,33, -13,13,19, -21, -33,29] 5 |
| 70 | [9, 25, 31, β17, 17, 33, 9, β29, β15, β9, 9, 25, β25, 29, 17, β9, 9, β27, 35, β9, 9 , β17, 21, 27, β29, β9, β25, 13, 19, β9, β33, β17, 19, β31, 27, 11, β25, 29, β33, 13, - 13, 21, β29, β21, 25, 9, β11, β19, 29, 9, β27, β19, β13, β35, β9, 9, 17, 25, β9, 9, 27, β27, β21, 15, β9, 29, β29, 33, β9, β25] | |
| 70 | [-9, β25, β19, 29, 13, 35, β13, β29, 19, 25, 9, β29, 29, 17, 33, 21, 9, -13, β31, β9, 25, 17, 9, β31, 27, β9, 17, β19, β29, 27, β17, β9, β29, 33, β25.25, β21, 17, β17, 29, 35, β29, 17, β17, 21, β25, 25, β33, 29, 9, 17, β27, 29, 19, β17, 9, β27, 31, β9, β17, - 25, 9, 31, 13, β9, β21, β33, β17, β29, 29] | |
| Count Foster | 90 | [17, -9.37, -37.9, -17] 15 |
| 102 | [16, 24, β38, 17, 34, 48, β19, 41, β35, 47, β20, 34, β36, 21, 14, 48, β16, β36, β43, 28, - 17, 21, 29, β43, 46, β24, 28, β38, β14, β50, β45, 21, 8, 27, β21, 20, β37, 39, β34, β44, β8, 38, β21, 25, 15, β34, 18, β28, β41, 36, 8, β29, β21, β48, β28, β20, β47, 14, β8, β15, β27, 38, 24, β48, β18, 25, 38, 31, β25, 24, β46, β14, 28, 11, 21, 35, β39, 43, 36, β38 , 14, 50, 43, 36, β11, β36, β24, 45, 8, 19, β25, 38, 20, β24, β14, β21, β8, 44, β31, β38 , β28, 37] | |
| 11th Balaban Cell | 112 | [44, 26, β47, β15, 35, β39, 11, β27, 38, β37, 43, 14, 28, 51, β29, β16, 41, β11, β26, 15, 22, β51, β35, 36, 52, β14, β33, β26, β46, 52, 26, 16, 43, 33, β15, 17, β53, 23, β42, β35, β28, 30, β22, 45, β44, 16, β38, β16, 50, β55, 20, 28, β17, β43, 47, 34, β26, β41, 11, β36 , β23, β16, 41, 17, β51, 26, β33, 47, 17, β11, β20, β30, 21, 29, 36, β43, β52, 10, 39, β28 , β17, β52, 51, 26, 37, β17, 10, β10, β45, β34, 17, β26, 27, β21, 46, 53, β10, 29, β50, 35 , 15, β47, β29, β41, 26, 33, 55, β17, 42, β26, β36, 16] |
| Count Ljubljana | 112 | [47, β23, β31, 39, 25, β21, β31, β41, 25, 15, 29, β41, β19, 15, β49, 33, 39, β35, β21, 17 , β33, 49, 41, 31, β15, β29, 41, 31, β15, β25, 21, 31, β51, β25, 23, 9, β17, 51, 35, β29, 21, β51, β39, 33, β9, β51, 51, β47, β33, 19, 51, β21, 29, 21, β31, β39] 2 |
| 12-Tatt Cell | 126 | [17, 27, β13, β59, β35, 35, β11, 13, β53, 53, β27, 21, 57, 11, β21, β57, 59, β17] 7 |
Generic LCF Code
A more complex version of the LCF code was proposed by Coxeter, Frucht and Powers in a later paper [6] . In particular, they proposed an βanti-palidromicβ code - if the second half of the numbers inside the square brackets is the inverse sequence of the first part with the signs reversed, then the second part is replaced with a semicolon and a dash. The Nauru graph satisfies this condition, so that its code [5, β9, 7, β7, 9, β5] 4 in a generalized form can be written as [5, β9, 7; -] 4 [7] .
Notes
- β 1 2 , The many faces of the Nauru graph Archived July 21, 2011. LiveJournal 2007
- β TomaΕΎ Pisanski, Brigitte Servatius. Configurations from a Graphical Viewpoint. - Springer, 2013 .-- ISBN 9780817683641 .
- β R. Frucht. A canonical representation of trivalent Hamiltonian graphs // Journal of Graph Theory. - 1976. - T. 1 , no. 1 . - S. 45-60 . - DOI : 10.1002 / jgt.3190010111 .
- β Klavdija Kutnar, Dragan MaruΕ‘iΔ. Hamiltonicity of vertex-transitive graphs of order 4 p // European Journal of Combinatorics. - T. 29 , no. 2 (February 2008) . - S. 423-438, section 2 ..
- β e.g. Maple , NetworkX Archived March 2, 2012 to Wayback Machine , R , and sage .
- β Coxeter, Frucht, Powers, 1981 , p. 54
- β Coxeter, Frucht, Powers, 1981 , p. 12
Links
- HSM Coxeter, R. Frucht, DL Powers. Zero-symmetric graphs: trivalent graphical regular representations of groups. - Academic Press, 1981. - ISBN 0-12-194580-4 .
- Weisstein, Eric W. LCF Notation at Wolfram MathWorld .
- Ed Pegg Jr. Math Games: Cubic Symmetric Graphs. - December 29, 2003.
- Cubic Hamiltonian Graphs from LCF Notation is an interactive application (in JavaScript) built with the D3js library