%I M2682 N1072
%S 1,1,3,7,22,82,333,1448,6572,30490,143552,683101,3274826,15796897,
%T 76581875,372868101,1822236628,8934910362,43939164263,216651036012,
%U 1070793308942
%N Number of hexagonal polyominoes (or hexagonal polyforms, or planar polyhexes) with n cells.
%C From _Markus Voege_, Nov 24 2009: (Start)
%C On the difference between this sequence and A038147:
%C The first term that differs is for n=6; for all subsequent terms, the number of polyhexes is larger than the number of planar polyhexes.
%C If I recall correctly, polyhexes are clusters of regular hexagons that are joined at the edges and are LOCALLY embeddable in the hexagonal lattice.
%C "Planar polyhexes" are polyhexes that are GLOBALLY embeddable in the honeycomb lattice.
%C Example: (Planar) polyhex with 6 cells (x) and a hole (O):
%C .. x x
%C . x O x
%C .. x x
%C Polyhex with 6 cells that is cut open (I):
%C .. xIx
%C . x O x
%C .. x x
%C This polyhex is not globally embeddable in the honeycomb lattice, since adjacent cells of the lattice must be joined. But it can be embedded locally everywhere. It is a start of a spiral. For n>6 the spiral can be continued so that the cells overlap.
%C Illegal configuration with cut (I):
%C .. xIx
%C . x x x
%C .. x x
%C This configuration is NOT a polyhex since the vertex at
%C .. xIx
%C ... x
%C is not embeddable in the honeycomb lattice.
%C One has to keep in mind that these definitions are inspired by chemistry. Hence, potential molecules are often the motivation for these definitions. Think of benzene rings that are fused at a CC bond.
%C The (planar) polyhexes are "free" configurations, in contrast to "fixed" configurations as in A001207 = Number of fixed hexagonal polyominoes with n cells.
%C A000228 (planar polyhexes) and A001207 (fixed polyominoes) differ only by the attribute "free" vs. "fixed," that is, whether the different orientations and reflections of an embedding in the lattice are counted.
%C The configuration
%C . x x .... x
%C .. x .... x x
%C is counted once as free and twice as fixed configurations.
%C Since most configurations have no symmetry, (A001207 / A000228) > 12 for n > infinity. (End)
%D A. T. Balaban and F. Harary, Chemical graphs V: enumeration and proposed nomenclature of benzenoid catacondensed polycyclic aromatic hydrocarbons, Tetrahedron 24 (1968), 25052516.
%D A. T. Balaban and Paul von R. Schleyer, "Graph theoretical enumeration of polymantanes", Tetrahedron, (1978), vol. 34, 35993609
%D M. Gardner, Polyhexes and Polyaboloes. Ch. 11 in Mathematical Magic Show. New York: Vintage, pp. 146159, 1978.
%D M. Gardner, Tiling with Polyominoes, Polyiamonds and Polyhexes. Chap. 14 in Time Travel and Other Mathematical Bewilderments. New York: W. H. Freeman, pp. 175187, 1988.
%D J. V. Knop et al., On the total number of polyhexes, Match, No. 16 (1984), 119134.
%D W. F. Lunnon, Counting hexagonal and triangular polyominoes, pp. 87100 of R. C. Read, editor, Graph Theory and Computing. Academic Press, NY, 1972.
%D N. Trinajstich, Z. Jerievi, J. V. Knop, W. R. Muller and K. Szymanski, Computer generation of isomeric structures, Pure & Appl. Chem., Vol. 55, No. 2, pp. 37939O, 1983.
%D N. J. A. Sloane, A Handbook of Integer Sequences, Academic Press, 1973 (includes this sequence).
%D N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).
%H A. Clarke, <a href="http://www.recmath.com/PolyPages/PolyPages/Polyhexes.html">Polyhexes</a>
%H F. Harary and R. C. Read, <a href="https://doi.org/10.1017/S0013091500009135">The enumeration of treelike polyhexes</a>, Proc. Edinburgh Math. Soc. (2) 17 (1970), 113.
%H D. GouyouBeauchamps and P. Leroux, <a href="https://arxiv.org/abs/math/0403168">Enumeration of symmetry classes of convex polyominoes on the honeycomb lattice</a>, arXiv:math/0403168 [math.CO], 2004.
%H M. Keller, <a href="http://www.solitairelaboratory.com/polyenum.html">Counting polyforms</a>
%H D. A. Klarner, <a href="http://dx.doi.org/10.4153/CJM19670804">Cell growth problems</a>, Canad. J. Math. 19 (1967) 851863.
%H Joseph Myers, <a href="http://www.polyomino.org.uk/mathematics/polyformtiling/">Polyomino, polyhex and polyiamond tiling</a>
%H Ed Pegg, Jr., <a href="http://demonstrations.wolfram.com/PolyformExplorer/">Illustrations of polyforms</a>
%H Jaime RangelMondragon, <a href="http://www.mathematicajournal.com/issue/v9i3/polyominoes.html">Polyominoes and Related Families</a>, The Mathematica Journal, 9:3 (2005), 609640.
%H N. J. A. Sloane, <a href="/A000228/a000228.gif">Illustration of initial terms</a>
%H Eric Weisstein's World of Mathematics, <a href="http://mathworld.wolfram.com/Polyhex.html">Polyhex.</a>
%Y Equals (A006535 + A030225)/2.
%Y Cf. A036359, A002216, A005963, A000228, A001998, A018190.
%Y Cf. A001207, A057973.
%Y Cf. also A000105, A000577, A103465, A057779, A258206, A258019.
%K nonn,nice,hard,more
%O 1,3
%A _N. J. A. Sloane_
%E a(13) from Achim Flammenkamp (achim(AT)unibielefeld.de), Feb 15 1999
%E a(14) from Brendan Owen, Dec 31 2001
%E a(15) from _Joseph Myers_, May 05 2002
%E a(16)a(20) from _Joseph Myers_, Sep 21 2002
%E a(21) from Herman Jamke (hermanjamke(AT)fastmail.fm), May 05 2007
