cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

Showing 1-10 of 29 results. Next

A000105 Number of free polyominoes (or square animals) with n cells.

Original entry on oeis.org

1, 1, 1, 2, 5, 12, 35, 108, 369, 1285, 4655, 17073, 63600, 238591, 901971, 3426576, 13079255, 50107909, 192622052, 742624232, 2870671950, 11123060678, 43191857688, 168047007728, 654999700403, 2557227044764, 9999088822075, 39153010938487, 153511100594603
Offset: 0

Views

Author

Keywords

Comments

For n>0, a(n) + A030228(n) = A000988(n) because the number of free polyominoes plus the number of polyominoes lacking bilateral symmetry equals the number of one-sided polyominoes. - Graeme McRae, Jan 05 2006
The possible symmetry groups of a (nonempty) polyomino are the 10 subgroups of the dihedral group D_8 of order 8: D_8, 1, Z_2 (five times), Z_4, (Z_2)^2 (twice). - Benoit Jubin, Dec 30 2008
Names for first few polyominoes: monomino, domino, tromino, tetromino, pentomino, hexomino, heptomino, octomino, enneomino, decomino, hendecomino, dodecomino, ...
Limit_{n->oo} a(n)^(1/n) = mu with 3.98 < mu < 4.64 (quoted by Castiglione et al., with a reference to Barequet et al., 2006, for the lower bound). The upper bound is due to Klarner and Rivest, 1973. By Madras, 1999, it is now known that this limit, also known as Klarner's constant, is equal to the limit growth rate lim_{n->oo} a(n+1)/a(n).
Polyominoes are worth exploring in the elementary school classroom. Students in grade 2 can reproduce the first 6 terms. Grade 3 students can explore area and perimeter. Grade 4 students can talk about polyomino symmetries.
The pentominoes should be singled out for special attention: 1) they offer a nice, manageable set that a teacher can commercially acquire without too much expense. 2) There are also deeply strategic games and perplexing puzzles that are great for all students. 3) A fraction of students will become engaged because of the beautiful solutions.
Conjecture: Almost all polyominoes are holey. In other words, A000104(n)/a(n) tends to 0 for increasing n. - John Mason, Dec 11 2021 (This is true, a consequence of Madras's 1999 pattern theorem. - Johann Peters, Jan 06 2024)

Examples

			a(0) = 1 as there is 1 empty polyomino with #cells = 0. - _Fred Lunnon_, Jun 24 2020
		

References

  • S. W. Golomb, Polyominoes, Appendix D, p. 152; Princeton Univ. Pr. NJ 1994
  • J. E. Goodman and J. O'Rourke, editors, Handbook of Discrete and Computational Geometry, CRC Press, 1997, p. 229.
  • D. A. Klarner, The Mathematical Gardner, p. 252 Wadsworth Int. CA 1981
  • W. F. Lunnon, Counting polyominoes, pp. 347-372 of A. O. L. Atkin and B. J. Birch, editors, Computers in Number Theory. Academic Press, NY, 1971.
  • W. F. Lunnon, Counting hexagonal and triangular polyominoes, pp. 87-100 of R. C. Read, editor, Graph Theory and Computing. Academic Press, NY, 1972.
  • George E. Martin, Polyominoes - A Guide to Puzzles and Problems in Tiling, The Mathematical Association of America, 1996
  • Ed Pegg, Jr., Polyform puzzles, in Tribute to a Mathemagician, Peters, 2005, pp. 119-125.
  • R. C. Read, Some applications of computers in graph theory, in L. W. Beineke and R. J. Wilson, editors, Selected Topics in Graph Theory, Academic Press, NY, 1978, pp. 417-444.
  • N. J. A. Sloane, A Handbook of Integer Sequences, Academic Press, 1973 (includes this sequence).
  • N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).

Crossrefs

Sequences classifying polyominoes by symmetry group: A006746, A006747, A006748, A006749, A056877, A056878, A142886, A144553, A144554.
Cf. A001168 (not reduced by D_8 symmetry), A000104 (no holes), A054359, A054360, A001419, A000988, A030228 (chiral polyominoes).
See A006765 for another version.
Cf. also A000577, A000228, A103465, A210996 (bisection).
Excluding a(0), 8th and 9th row of A366766.

Programs

  • Mathematica
    (* In this program by Jaime Rangel-Mondragón, polyominoes are represented as a list of Gaussian integers. *)
    polyominoQ[p_List] := And @@ ((IntegerQ[Re[#]] && IntegerQ[Im[#]])& /@ p);
    rot[p_?polyominoQ] := I*p;
    ref[p_?polyominoQ] := (# - 2 Re[#])& /@ p;
    cyclic[p_] := Module[{i = p, ans = {p}}, While[(i = rot[i]) != p, AppendTo[ans, i]]; ans];
    dihedral[p_?polyominoQ] := Flatten[{#, ref[#]}& /@ cyclic[p], 1];
    canonical[p_?polyominoQ] := Union[(# - (Min[Re[p]] + Min[Im[p]]*I))& /@ p];
    allPieces[p_] := Union[canonical /@ dihedral[p]];
    polyominoes[1] = {{0}};
    polyominoes[n_] := polyominoes[n] = Module[{f, fig, ans = {}}, fig = ((f = #1; ({f, #1 + 1, f, #1 + I, f, #1 - 1, f, #1 - I}&) /@ f)&) /@ polyominoes[n - 1]; fig = Partition[Flatten[fig], n]; f = Select[Union[canonical /@ fig], Length[#1] == n &]; While[f != {}, ans = {ans, First[f]}; f = Complement[f, allPieces[First[f]]]]; Partition[Flatten[ans], n]];
    a[n_] := a[n] = Length[ polyominoes[n]];
    Table[Print["a(", n, ") = ", a[n]]; a[n], {n, 1, 12}] (* Jean-François Alcover, Mar 24 2015, after Jaime Rangel-Mondragón *)

Formula

a(n) = A000104(n) + A001419(n). - R. J. Mathar, Jun 15 2014
a(n) = A006749(n) + A006746(n) + A006748(n) + A006747(n) + A056877(n) + A056878(n) + A144553(n) + A142886(n). - Andrew Howroyd, Dec 04 2018
a(n) = A259087(n) + A259088(n). - R. J. Mathar, May 22 2019
a(n) = (4*A006746(n) + 4*A006748(n) + 4*A006747(n) + 6*A056877(n) + 6*A056878(n) + 6*A144553(n) + 7*A142886(n) + A001168(n))/8. - John Mason, Nov 14 2021

Extensions

Extended to n=28 by Tomás Oliveira e Silva
Link updated by William Rex Marshall, Dec 16 2009
Edited by Gill Barequet, May 24 2011
Misspelling "polyominos" corrected by Don Knuth, May 03 2016
a(29)-a(45), a(47) from Toshihiro Shirakawa
a(46) calculated using values from A001168 (I. Jensen), A006748/A056877/A056878/A144553/A142886 (Robert A. Russell) and A006746/A006747 (John Mason), Nov 14 2021

A001168 Number of fixed polyominoes with n cells.

Original entry on oeis.org

1, 1, 2, 6, 19, 63, 216, 760, 2725, 9910, 36446, 135268, 505861, 1903890, 7204874, 27394666, 104592937, 400795844, 1540820542, 5940738676, 22964779660, 88983512783, 345532572678, 1344372335524, 5239988770268, 20457802016011, 79992676367108, 313224032098244, 1228088671826973
Offset: 0

Views

Author

Keywords

Comments

Number of rookwise connected patterns of n square cells.
N. Madras proved in 1999 the existence of lim_{n->oo} a(n+1)/a(n), which is the real limit growth rate of the number of polyominoes; and hence, this limit is equal to lim_{n->oo} a(n)^{1/n}, the well-known Klarner's constant. The currently best-known lower and upper bounds on this constant are 3.9801 (Barequet et al., 2006) and 4.6496 (Klarner and Rivest, 1973), respectively. But see also Knuth (2014).

Examples

			a(0) = 1 as there is 1 empty polyomino with #cells = 0. - _Fred Lunnon_, Jun 24 2020
		

References

  • Steven R. Finch, Mathematical Constants, Cambridge, 2003, pp. 378-382.
  • J. E. Goodman and J. O'Rourke, editors, Handbook of Discrete and Computational Geometry, CRC Press, 1997, p. 229.
  • A. J. Guttmann, ed., Polygons, Polyominoes and Polycubes, Springer, 2009, p. 478. (Table 16.10 has 56 terms of this sequence.)
  • I. Jensen. Counting polyominoes: a parallel implementation for cluster computing. LNCS 2659 (2003) 203-212, ICCS 2003
  • W. F. Lunnon, Counting polyominoes, pp. 347-372 of A. O. L. Atkin and B. J. Birch, editors, Computers in Number Theory. Academic Press, NY, 1971.
  • W. F. Lunnon, Counting hexagonal and triangular polyominoes, pp. 87-100 of R. C. Read, editor, Graph Theory and Computing. Academic Press, NY, 1972.
  • N. J. A. Sloane, A Handbook of Integer Sequences, Academic Press, 1973 (includes this sequence).
  • N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).

Crossrefs

Cf. A000105, A000988, A006746, A056877, A006748, A056878, A006747, A006749, A142886, A144553, row sums of A308359, A210986 (bisection), A210987 (bisection).
A006762 is another version.
Excluding a(0), 8th and 9th row of A366767.

Programs

  • Mathematica
    See Jaime Rangel-Mondragón's article.

Formula

For asymptotics, see Knuth (2014).
a(n) = 8*A006749(n) + 4*A006746(n) + 4*A006748(n) + 4*A006747(n) + 2*A056877(n) + 2*A056878(n) + 2*A144553(n) + A142886(n); the number of fixed polyominoes is calculatable according to multiples of the numbers of the various symmetries of the polyomino. - John Mason, Sep 06 2017

Extensions

Extended to n=28 by Tomás Oliveira e Silva
Extended to n=46 by Iwan Jensen
Verified (and one more term found) by Don Knuth, Jan 09 2001
Richard C. Schroeppel communicated Jensen's calculation of the first 56 terms, Feb 21 2005
Gill Barequet commented on Madras's proof from 1999 of the limit growth rate of this sequence, and provided references to the currently best-known bounds on it, May 24 2011
Incorrect Mathematica program removed by Jean-François Alcover, Mar 24 2015
a(0) = 1 added by N. J. A. Sloane, Jun 24 2020

A006747 Number of rotationally symmetric polyominoes with n cells (that is, polyominoes with exactly the symmetry group C_2 generated by a 180-degree rotation).

Original entry on oeis.org

0, 0, 0, 1, 1, 5, 4, 18, 19, 73, 73, 278, 283, 1076, 1090, 4125, 4183, 15939, 16105, 61628, 62170, 239388, 240907, 932230, 936447, 3641945, 3651618, 14262540, 14277519, 55987858, 55961118, 220223982, 219813564, 867835023, 865091976, 3425442681
Offset: 1

Views

Author

Keywords

Comments

This sequence gives the number of free polyominoes with symmetry group "R" in Redelmeier's notation. See his Tables 1 and 3, also the column "Rot" in Oliveira e Silva's table.
The rotation center of a polyomino with this symmetry may lie at the center of a square, the middle of an edge, or a vertex of a square. These subsets are enumerated by A351615, A234008 and A351616 respectively. - John Mason, Feb 17 2022, reformulated by Günter Rote, Oct 19 2023

Examples

			a(2) = 0 because the "domino" polyomino has symmetry group of order 4.
For n=3, the three-celled polyomino [ | | ] has group of order 4, and the polyomino
. [ ]
. [ | ]
has only reflective symmetry, so a(3) = 0.
a(4) = 1 because of (in Golomb's notation) the "skew tetromino".
		

References

  • S. W. Golomb, Polyominoes, Princeton Univ. Press, NJ, 1994.
  • N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).

Crossrefs

Sequences classifying polyominoes by symmetry group: A000105, A006746, A006747, A006748, A006749, A056877, A056878, A142886, A144553, A144554, A351615, A234008, A351616.
Polyomino rings of length 2n with twofold rotational symmetry: A348402, A348403, A348404.

Formula

a(n) = A351615(n) + A234008(n/2) + A351616(n/2) for even n, otherwise a(n) = A351615(n). - John Mason, Feb 17 2022

Extensions

Extended to n=28 by Tomás Oliveira e Silva
a(1)-a(3) prepended by Andrew Howroyd, Dec 04 2018
Edited by N. J. A. Sloane, Nov 28 2020
a(29)-a(36) from John Mason, Oct 16 2021

A006749 Number of asymmetric polyominoes with n cells.

Original entry on oeis.org

0, 0, 0, 1, 5, 20, 84, 316, 1196, 4461, 16750, 62878, 237394, 899265, 3422111, 13069026, 50091095, 192583152, 742560511, 2870523142, 11122817672, 43191285751, 168046076423, 654997492842, 2557223459805, 9999080270766, 39152997087077, 153511067364760
Offset: 1

Views

Author

Keywords

Comments

This sequence counts polyominoes whose symmetry group has order 1.

References

  • A. R. Conway and A. J. Guttmann, On two-dimensional percolation, J. Phys. A: Math. Gen. 28(1995) 891-904.
  • N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).

Crossrefs

Sequences classifying polyominoes by symmetry group: A000105, A006746, A006747, A006748, A006749, A056877, A056878, A142886, A144553, A144554.

Formula

a(n) + A259090(n) = A000105(n). - R. J. Mathar, Sep 29 2021

Extensions

Extended to n=28 by Tomás Oliveira e Silva.

A056877 Number of polyominoes with n cells, symmetric about two orthogonal axes.

Original entry on oeis.org

0, 1, 1, 1, 1, 2, 3, 4, 4, 8, 10, 15, 17, 30, 35, 60, 64, 117, 128, 236, 241, 459, 476, 937, 912, 1813, 1789, 3706, 3456, 7187, 6779, 14712, 13161, 28571, 25839, 58457, 50348, 113798, 98957, 232718, 193375, 453969, 380522, 927601, 745248, 1813219, 1468202, 3702063
Offset: 1

Views

Author

N. J. A. Sloane, Sep 03 2000

Keywords

Comments

This sequence counts polyominoes with exactly the symmetry group D_4 generated by horizontal and vertical reflections.
The subset of (2n)-ominoes with edge centers in this set are enumerated by A346799(n). - Robert A. Russell, Dec 15 2021
Polyominoes centered about square centers and vertices are enumerated by A351190 and A351191 respectively. - John Mason, Feb 15 2022

Examples

			For a(8)=4, the four octominoes with exactly fourfold symmetry and axes of symmetry parallel to the edges of the cells are a row of eight cells, two adjacent rows of four cells, a row of four cells with another four cells adjacent to its center cells, and a row of four cells with another four cells adjacent to its end cells (but not in the original row):
  XXXXXXXX
.
   XXXX
   XXXX
.
   XX
  XXXX
   XX
.
  X  X
  XXXX
  X  X
		

Crossrefs

Sequences classifying polyominoes by symmetry group: A000105, A006746, A006747, A006748, A006749, A056877, A056878, A142886, A144553, A144554.

Formula

a(n) = A351190(n) + A346799(n/2) + A351191(n/4) if we accept the convention that Axxxxxx(y) = 0 for any noninteger y. - John Mason, Feb 15 2022

Extensions

More terms from Robert A. Russell, Jan 16 2019

A006746 Number of axially symmetric polyominoes with n cells.

Original entry on oeis.org

0, 0, 0, 1, 2, 6, 9, 23, 38, 90, 147, 341, 564, 1294, 2148, 4896, 8195, 18612, 31349, 70983, 120357, 271921, 463712, 1045559, 1792582, 4034832, 6950579, 15619507, 27023509, 60638559, 105320716, 236006955, 411364068, 920626423, 1609836928
Offset: 1

Views

Author

Keywords

Comments

Number of polyominoes with n cells and exactly one line of reflection symmetry, where that one line is parallel to the grid. - Joshua Zucker, Mar 08 2008
The line of reflective symmetry may pass through the center of a square or a vertex of a square. These subsets are enumerated by A349328 and A349329 respectively. - John Mason, Feb 17 2022

References

  • N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).

Crossrefs

Sequences classifying polyominoes by symmetry group: A000105, A006746, A006747, A006748, A006749, A056877, A056878, A142886, A144553, A144554, A349328, A349329.

Formula

a(n) = A349328(n) + A349329(n/2) for even n, otherwise a(n) = A349328(n). - John Mason, Feb 17 2022

Extensions

Extended to n=28 by Tomás Oliveira e Silva

A056878 Number of polyominoes with n cells, symmetric about diagonal 2.

Original entry on oeis.org

0, 0, 0, 0, 0, 0, 1, 1, 0, 1, 2, 3, 3, 5, 6, 14, 9, 20, 20, 56, 32, 80, 64, 224, 114, 315, 217, 863, 397, 1234, 751, 3331, 1400, 4816, 2632, 12815, 4973, 18792, 9349, 49400, 17810, 73338, 33557, 190643, 64309, 286368, 121511, 737532, 233891, 1119215, 443271, 2859154
Offset: 1

Views

Author

N. J. A. Sloane, Sep 03 2000

Keywords

Comments

The sequence refers to those polyominoes having reflective symmetry on both diagonals, consequent 180-degree rotational symmetry, but without 90-degree rotational symmetry. Such polyominoes with rotational symmetry symmetry centered about square centers and vertices are enumerated by A351159 and A351160 respectively. - John Mason, Feb 17 2022

Examples

			For a(7)=1, the heptomino with exactly fourfold symmetry and axes of symmetry parallel to the diagonals of the cells is composed of two 2 X 2 squares with one cell in common. For a(8)=1, the octomino is composed of a 2 X 2 square and the four cells adjacent to two nonadjacent cells of that square.
		

Crossrefs

Sequences classifying polyominoes by symmetry group: A000105, A006746, A006747, A006748, A006749, A056877, A056878, A142886, A144553, A144554, A351159, A351160.

Formula

a(n) = A351159(n) + A351160(n/2) for even n, otherwise a(n) = A351159(n). - John Mason, Feb 17 2022

Extensions

More terms from Robert A. Russell, Jan 18 2019

A142886 Number of polyominoes with n cells that have the symmetry group D_8.

Original entry on oeis.org

1, 1, 0, 0, 1, 1, 0, 0, 1, 2, 0, 0, 3, 2, 0, 0, 5, 4, 0, 0, 12, 7, 0, 0, 20, 11, 0, 0, 45, 20, 0, 0, 80, 36, 0, 0, 173, 65, 0, 0, 310, 117, 0, 0, 664, 216, 0, 0, 1210, 396, 0, 0, 2570, 736, 0, 0, 4728, 1369, 0, 0, 9976, 2558, 0, 0, 18468, 4787, 0, 0, 38840
Offset: 0

Views

Author

N. J. A. Sloane, Jan 01 2009

Keywords

Comments

This is the largest possible symmetry group that a polyomino can have.
Polyominoes with such symmetry centered about square centers and vertices are enumerated by A351127 and A346800 respectively. - John Mason, Feb 16 2022

Examples

			The monomino has eight-fold symmetry. The tetromino with eight-fold symmetry is four cells in a square. The pentomino with eight-fold symmetry is a cell and its four adjacent cells.
		

Crossrefs

Sequences classifying polyominoes by symmetry group: A000105, A006746, A006747, A006748, A006749, A056877, A056878, A142886, A144553, A144554, A351127, A346800.
Cf. A376971 (polycubes with full symmetry).

Formula

a(n) = A351127(n) + A346800(n/4) if n is a multiple of 4, otherwise a(n) = A351127(n). - John Mason, Feb 16 2022

Extensions

Name corrected by Wesley Prosser, Sep 06 2017
a(28) added by Andrew Howroyd, Dec 04 2018
More terms from Robert A. Russell, Jan 13 2019

A006748 Number of diagonally symmetric polyominoes with n cells.

Original entry on oeis.org

0, 0, 1, 0, 2, 2, 7, 5, 26, 22, 91, 79, 326, 301, 1186, 1117, 4352, 4212, 16119, 15849, 60174, 60089, 226146, 228426, 854803, 872404, 3247207, 3342579, 12389106, 12850662, 47448984, 49544820, 182338754, 191529007, 702807040, 742163178, 2716205709, 2882119756
Offset: 1

Views

Author

Keywords

Comments

This sequence counts polyominoes with exactly the symmetry group of order 2 generated by a single reflection about a diagonal.

References

  • N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).

Crossrefs

Sequences classifying polyominoes by symmetry group: A000105, A006746, A006747, A006748, A006749, A056877, A056878, A142886, A144553, A144554.

Formula

a(n) = (A346800(n) - A142886(n)) / 2 - A056878(n). - Robert A. Russell, Aug 25 2021

Extensions

Extended to n=28 by Tomás Oliveira e Silva

A000988 Number of one-sided polyominoes with n cells.

Original entry on oeis.org

1, 1, 1, 2, 7, 18, 60, 196, 704, 2500, 9189, 33896, 126759, 476270, 1802312, 6849777, 26152418, 100203194, 385221143, 1485200848, 5741256764, 22245940545, 86383382827, 336093325058, 1309998125640, 5114451441106, 19998172734786, 78306011677182, 307022182222506, 1205243866707468, 4736694001644862
Offset: 0

Views

Author

N. J. A. Sloane, hugh(AT)mimosa.com (D. Hugh Redelmeier)

Keywords

Comments

A000105(n) + A030228(n) = a(n) because the number of free polyominoes plus the number of polyominoes lacking bilateral symmetry equals the number of one-sided polyominoes. - Graeme McRae, Jan 05 2006
Names for the first few polyominoes: monomino, domino, tromino, tetromino, pentomino, hexomino, heptomino, octomino, enneomino (aka nonomino), decomino, hendecomino (aka undecomino), dodecomino, ...

Examples

			a(0) = 1 as there is 1 empty polyomino with #cells = 0. - _Fred Lunnon_, Jun 24 2020
		

References

  • S. W. Golomb, Polyominoes. Scribner's, NY, 1965; second edition (Polyominoes: Puzzles, Packings, Problems and Patterns) Princeton Univ. Press, 1994.
  • J. E. Goodman and J. O'Rourke, editors, Handbook of Discrete and Computational Geometry, CRC Press, 1997, p. 229.
  • W. F. Lunnon, personal communication.
  • N. J. A. Sloane, A Handbook of Integer Sequences, Academic Press, 1973 (includes this sequence).
  • N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).

Crossrefs

See A006758 for another version. Subtracting 1 gives first column of A195738. Cf. A000105 (unoriented), A030228 (chiral), A030227 (achiral), A001168 (fixed).

Formula

a(n) = 2*A006749(n) + A006746(n) + A006748(n) + 2*A006747(n) + A056877(n) + A056878(n) + 2*A144553(n) + A142886(n). - Andrew Howroyd, Dec 04 2018
a(n) = 2*A000105(n) - A030227(n) = 2*A030228(n) + A030227(n). - Robert A. Russell, Feb 03 2022

Extensions

a(0) = 1 added by N. J. A. Sloane, Jun 24 2020
Showing 1-10 of 29 results. Next