|
|
| Line 1: |
Line 1: |
| [[Image:All 18 Pentominoes.svg|thumb|The 18 one-sided [[pentomino]]es, including 6 mirrored pairs]]
| | Name: Leland Bidwill<br>Age: 36 years old<br>Country: Netherlands<br>City: Delft <br>Postal code: 2625 Lk<br>Street: Wielengahof 110<br><br>Here is my blog - [http://Www.fifa15-coingenerator.com/ Fifa 15 Coin Generator] |
| [[Image:All 35 free hexominoes.svg|thumb|The 35 free [[hexomino]]es, colored according to their symmetry.]]
| |
| [[Image:Heptominoes.svg|thumb|The 108 free [[heptomino]]es.]]
| |
| [[Image:Domino green.svg|thumb|right|110px|The single free [[domino (mathematics)|domino]].]]
| |
| A '''polyomino''' is a plane geometric figure formed by joining one or more equal squares edge to edge. It is a [[polyform]] whose cells are [[square (geometry)|squares]]. It may be regarded as a finite subset of the regular [[square tiling]] with a [[connected space|connected]] [[Interior (topology)|interior]].
| |
| | |
| Polyominoes are classified according to how many cells they have:
| |
| {|class="wikitable"
| |
| |-
| |
| !Number of cells !!Name
| |
| |-
| |
| |align=center |1 ||monomino
| |
| |-
| |
| |align=center |2 ||[[domino (mathematics)|domino]]
| |
| |-
| |
| |align=center |3 ||[[tromino]]
| |
| |-
| |
| |align=center |4 ||[[tetromino]]
| |
| |-
| |
| |align=center |5 ||[[pentomino]]
| |
| |-
| |
| |align=center |6 ||[[hexomino]]
| |
| |-
| |
| |align=center |7 ||[[heptomino]]
| |
| |-
| |
| |align=center |8 ||[[octomino]]
| |
| |-
| |
| |align=center |9 ||[[nonomino]]
| |
| |-
| |
| |align=center |10 ||[[decomino]]
| |
| |-
| |
| |align=center |11 ||undecomino
| |
| |-
| |
| |align=center |12 ||dodecomino
| |
| |}
| |
| | |
| Polyominoes have been used in popular [[puzzle]]s since at least 1907, and the enumeration of pentominoes is dated to antiquity.<ref>Golomb (''Polyominoes'', Preface to the First Edition) writes "the observation that there are twelve distinctive patterns (the pentominoes) that can be formed by five connected stones on a [[Go (game)|Go]] board … is attributed to an ancient master of that game".</ref> Many results with the pieces of 1 to 6 squares were first published in [[Fairy Chess Review]] between the years 1937 to 1957, under the name of "dissection problems." The name ''polyomino'' was invented by [[Solomon W. Golomb]] in 1953 and it was popularized by [[Martin Gardner]].<ref>{{cite book |last=Golomb |first=Solomon W. |authorlink=Solomon W. Golomb |title=Polyominoes |year=1994 |publisher=Princeton University Press |location=Princeton, New Jersey |isbn=0-691-02444-8 |edition=2nd}}</ref>
| |
| | |
| Related to polyominoes are [[polyiamond]]s, formed from [[equilateral triangle]]s; [[polyhex (mathematics)|polyhexes]], formed from regular [[hexagon]]s; and other plane [[polyform]]s. Polyominoes have been generalized to higher [[dimension]]s by joining [[cube (geometry)|cubes]] to form [[polycube]]s, or [[hypercube]]s to form polyhypercubes.
| |
| | |
| Like many puzzles in recreational mathematics, polyominoes raise many [[combinatorial]] problems. The most basic is [[enumeration|enumerating]] polyominoes of a given size. No formula has been found except for special classes of polyominoes. A number of estimates are known, and there are [[algorithm]]s for calculating them.
| |
| | |
| Polyominoes with holes are inconvenient for some purposes, such as tiling problems. In some contexts polyominoes with holes are excluded, allowing only [[simply connected]] polyominoes.<ref>{{cite book |last=Grünbaum |first=Branko |authorlink=Branko Grünbaum |coauthors=Shephard, G.C. |title=Tilings and Patterns |location=New York |publisher=W.H. Freeman and Company |year=1987 |isbn=0-7167-1193-1}}</ref>
| |
| {{TOC limit|3}}
| |
| | |
| ==Enumeration of polyominoes==
| |
| | |
| ===Free, one-sided, and fixed polyominoes===
| |
| There are three common ways of distinguishing polyominoes for enumeration:<ref>{{cite journal |last=Redelmeier |first=D. Hugh |year=1981 |title=Counting polyominoes: yet another attack |journal=Discrete Mathematics |volume=36 |pages=191–203 |doi=10.1016/0012-365X(81)90237-5 |issue=2}}</ref><ref>Golomb, chapter 6</ref>
| |
| *''free'' polyominoes are distinct when none is a rigid transformation ([[translation (geometry)|translation]], [[rotation]], [[reflection (mathematics)|reflection]] or [[glide reflection]]) of another (pieces that can be picked up and flipped over). Translating, rotating, reflecting, or glide reflecting a free polyomino does not change its shape.
| |
| *''one-sided polyominoes'' are distinct when none is a translation or rotation of another (pieces that cannot be flipped over). Translating or rotating a one-sided polyomino does not change its shape.
| |
| *''fixed'' polyominoes are distinct when none is a translation of another (pieces that can be neither flipped nor rotated). Translating a fixed polyomino will not change its shape.
| |
| | |
| The following table shows the numbers of polyominoes of various types with ''n'' cells.
| |
| {|class=wikitable
| |
| !''n'' !!name ([[OEIS]] sequence) !!free ({{OEIS link|id=A000105}}) !!free with holes ({{OEIS link|id=A001419}}) !!free without holes ({{OEIS link|id=A000104}}) !!one-sided ({{OEIS link|id=A000988}}) !!fixed ({{OEIS link|id=A001168}})
| |
| |- align=right
| |
| |1 ||align=left |monomino ||1 ||0 ||1 ||1 ||1
| |
| |- align=right
| |
| |2 ||align=left |[[domino (mathematics)|domino]] ||1 ||0 ||1 ||1 ||2
| |
| |- align=right
| |
| |3 ||align=left |[[tromino]] ||2 ||0 ||2 ||2 ||6
| |
| |- align=right
| |
| |4 ||align=left |[[tetromino]] ||5 ||0 ||5 ||7 ||19
| |
| |- align=right
| |
| |5 ||align=left |[[pentomino]] ||12 ||0 ||12 ||18 ||63
| |
| |- align=right
| |
| |6 ||align=left |[[hexomino]] ||35 ||0 ||35 ||60 ||216
| |
| |- align=right
| |
| |7 ||align=left |[[heptomino]] ||108 ||1 ||107 ||196 ||760
| |
| |- align=right
| |
| |8 ||align=left |[[octomino]] ||369 ||6 ||363 ||704 ||2,725
| |
| |- align=right
| |
| |9 ||align=left |[[nonomino]] ||1,285 ||37 ||1,248 ||2,500 ||9,910
| |
| |- align=right
| |
| |10 ||align=left |[[decomino]] ||4,655 ||195 ||4,460 ||9,189 ||36,446
| |
| |- align=right
| |
| |11 ||align=left |undecomino ||17,073 ||979 ||16,094 ||33,896 ||135,268
| |
| |- align=right
| |
| |12 ||align=left |dodecomino ||63,600 ||4,663 ||58,937 ||126,759 ||505,861
| |
| |}
| |
| | |
| {{As of|2004}}, Iwan Jensen has enumerated the fixed polyominoes up to {{nowrap begin}}''n'' = 56;{{nowrap end}} the number of fixed polyominoes with 56 cells is approximately 6.915{{e|31}}.<ref>{{cite web |url=http://www.ms.unimelb.edu.au/~iwan/animals/Animals_ser.html |title=Series for lattice animals or polyominoes |accessdate=2007-05-06 |author=Iwan Jensen}}</ref> Free polyominoes have been enumerated up to {{nowrap begin}}''n'' = 28{{nowrap end}} by Tomás Oliveira e Silva.<ref>{{cite web |url=http://www.ieeta.pt/%7Etos/animals/a44.html |title=Animal enumerations on the {4,4} Euclidean tiling |accessdate=2007-05-06 |author=Tomás Oliveira e Silva}}</ref>
| |
| | |
| ===Symmetries of polyominoes===
| |
| The [[dihedral group]] ''D''<sub>4</sub> is the [[group (mathematics)|group]] of [[symmetries]] ([[symmetry group]]) of a square. This group contains four rotations and four reflections. It is generated by alternating reflections about the ''x''-axis and about a diagonal. One free polyomino corresponds to at most 8 fixed polyominoes, which are its images under the symmetries of ''D''<sub>4</sub>. However, those images are not necessarily distinct: the more symmetry a free polyomino has, the fewer distinct fixed counterparts it has. Therefore, a free polyomino that is invariant under some or all non-trivial symmetries of ''D''<sub>4</sub> may correspond to only 4, 2 or 1 fixed polyominoes. Mathematically, free polyominoes are [[equivalence class]]es of fixed polyominoes under the group ''D''<sub>4</sub>.
| |
| | |
| Polyominoes have the following possible symmetries;<ref name="Redelmeier, section 3">Redelmeier, section 3</ref> the least number of squares needed in a polyomino with that symmetry is given in each case:
| |
| *8 fixed polyominoes for each free polyomino:
| |
| **no symmetry (4)
| |
| *4 fixed polyominoes for each free polyomino:
| |
| **mirror symmetry with respect to one of the grid line directions (4)
| |
| **mirror symmetry with respect to a diagonal line (3)
| |
| **2-fold rotational symmetry: ''C''<sub>2</sub> (4)
| |
| *2 fixed polyominoes for each free polyomino:
| |
| **symmetry with respect to both grid line directions, and hence also 2-fold rotational symmetry: ''D''<sub>2</sub> (2)
| |
| **symmetry with respect to both diagonal directions, and hence also 2-fold rotational symmetry: ''D''<sub>2</sub> (7)
| |
| **4-fold rotational symmetry: ''C''<sub>4</sub> (8)
| |
| *1 fixed polyomino for each free polyomino:
| |
| **all symmetry of the square: ''D''<sub>4</sub> (1).
| |
| | |
| The following table shows the numbers of polyominoes with ''n'' squares, sorted by symmetry groups.
| |
| {|class=wikitable
| |
| !''n'' !!none ({{OEIS link|id=A006749}}) !!mirror (90°) ({{OEIS link|id=A006746}}) !!mirror (45°) ({{OEIS link|id=A006748}}) !!''C''<sub>2</sub> ({{OEIS link|id=A006747}}) !!''D''<sub>2</sub> (90°) ({{OEIS link|id=A056877}}) !!''D''<sub>2</sub> (45°) ({{OEIS link|id=A056878}}) !!''C''<sub>4</sub> ({{OEIS link|id=A144553}}) !!''D''<sub>4</sub> ({{OEIS link|id=A142886}})
| |
| |- align=right
| |
| |1 ||0 ||0 ||0 ||0 ||0 ||0 ||0 ||1
| |
| |- align=right
| |
| |2 ||0 ||0 ||0 ||0 ||1 ||0 ||0 ||0
| |
| |- align=right
| |
| |3 ||0 ||0 ||1 ||0 ||1 ||0 ||0 ||0
| |
| |- align=right
| |
| |4 ||1 ||1 ||0 ||1 ||1 ||0 ||0 ||1
| |
| |- align=right
| |
| |5 ||5 ||2 ||2 ||1 ||1 ||0 ||0 ||1
| |
| |- align=right
| |
| |6 ||20 ||6 ||2 ||5 ||2 ||0 ||0 ||0
| |
| |- align=right
| |
| |7 ||84 ||9 ||7 ||4 ||3 ||1 ||0 ||0
| |
| |- align=right
| |
| |8 ||316 ||23 ||5 ||18 ||4 ||1 ||1 ||1
| |
| |- align=right
| |
| |9 ||1,196 ||38 ||26 ||19 ||4 ||0 ||0 ||2
| |
| |- align=right
| |
| |10 ||4,461 ||90 ||22 ||73 ||8 ||1 ||0 ||0
| |
| |- align=right
| |
| |11 ||16,750 ||147 ||91 ||73 ||10 ||2 ||0 ||0
| |
| |- align=right
| |
| |12 ||62,878 ||341 ||79 ||278 ||15 ||3 ||3 ||3
| |
| |}
| |
| | |
| ===Algorithms for enumeration of fixed polyominoes===
| |
| | |
| ====Inductive algorithms====
| |
| Each polyomino of order ''n''+1 can be obtained by adding a square to a polyomino of order ''n''. This leads to algorithms for generating polyominoes inductively.
| |
| | |
| Most simply, given a list of polyominoes of order ''n'', squares may be added next to each polyomino in each possible position, and the resulting polyomino of order ''n''+1 added to the list if not a duplicate of one already found; refinements in ordering the enumeration and marking adjacent squares that should not be considered reduce the number of cases that need to be checked for duplicates.<ref>Golomb, pp. 73–79</ref> This method may be used to enumerate either free or fixed polyominoes.
| |
| | |
| A more sophisticated method, described by Redelmeier, has been used by many authors as a way of not only counting polyominoes (without requiring that all polyominoes of order ''n'' be stored in order to enumerate those of order ''n''+1), but also proving upper bounds on their number. The basic idea is that we begin with a single square, and from there, recursively add squares. Depending on the details, it may count each ''n''-omino ''n'' times, once from starting from each of its ''n'' squares, or may be arranged to count each once only.
| |
| | |
| The simplest implementation involves adding one square at a time. Beginning with an initial square, number the adjacent squares, clockwise from the top, 1, 2, 3, and 4. Now pick a number between 1 and 4, and add a square at that location. Number the unnumbered adjacent squares, starting with 5. Then, pick a number larger than the previously picked number, and add that square. Continue picking a number larger than the number of the current square, adding that square, and then numbering the new adjacent squares. When ''n'' squares have been created, an ''n''-omino has been created.
| |
| | |
| This method ensures that each fixed polyomino is counted exactly ''n'' times, once for each starting square. It can be optimized so that it counts each polyomino only once, rather than ''n'' times. Starting with the initial square, declare it to be the lower-left square of the polyomino. Simply do not number any square that is on a lower row, or left of the square on the same row. This is the version described by Redelmeier.
| |
| | |
| If one wishes to count free polyominoes instead, then one may check for symmetries after creating each ''n''-omino. However, it is faster<ref>Redelmeier, section 4</ref> to generate symmetric polyominoes separately (by a variation of this method)<ref>Redelmeier, section 6</ref> and so determine the number of free polyominoes by [[Burnside's lemma]].
| |
| | |
| ====Transfer-matrix method====
| |
| The most modern algorithm for enumerating the fixed polyominoes was discovered by [[Iwan Jensen]].<ref>{{cite journal |last=Jensen |first=Iwan |date=February 2001 |title=Enumerations of Lattice Animals and Trees |journal=Journal of Statistical Physics |volume=102 |issue=3–4 |pages=865–881 |doi=10.1023/A:1004855020556 |arxiv=cond-mat/0007239}}</ref> An improvement on Andrew Conway's method,<ref>{{cite journal |last=Conway |first=Andrew | year=1995 | title=Enumerating 2D percolation series by the finite-lattice method: theory | journal=Journal of Physics. A. Mathematical and General | volume=28 |issue=2 | pages=335–349 | zbl=0849.05003 | doi=10.1088/0305-4470/28/2/011}}</ref> it is exponentially faster than the previous methods (however, its running time is still exponential in ''n'').
| |
| | |
| Both Conway's and Jensen's versions of the transfer-matrix method involve counting the number of polyominoes that have a certain width. Computing the number for all widths gives the total number of polyominoes. The basic idea behind the method is that possible beginning rows are considered, and then to determine the minimum number of squares needed to complete the polyomino of the given width. Combined with the use of [[generating function]]s, this technique is able to count many polyominoes at once, thus enabling it to run many times faster than methods that have to generate every polyomino.
| |
| | |
| Although it has excellent running time, the tradeoff is that this algorithm uses exponential amounts of memory (many [[gigabyte]]s of memory are needed for ''n'' above 50), is much harder to program than the other methods, and can't currently be used to count free polyominoes.
| |
| | |
| ===Asymptotic growth of the number of polyominoes===
| |
| | |
| ====Fixed polyominoes====
| |
| Theoretical arguments and numerical calculations support the estimate for the number of fixed polyominoes of size n
| |
| :<math>A_n \sim \frac{c\lambda^n}{n}</math>
| |
| | |
| where ''λ'' = 4.0626 and ''c'' = 0.3169.<ref>{{cite journal |last=Jensen |first=Iwan |coauthors=Guttmann, Anthony J. |year=2000 |title=Statistics of lattice animals (polyominoes) and polygons |journal=Journal of Physics. A. Mathematical and General |volume=33 |pages=L257–L263 |doi=10.1088/0305-4470/33/29/102 |issue=29}}</ref> However, this result is not proven and the values of ''λ'' and ''c'' are only estimates.
| |
| | |
| The known theoretical results are not nearly as specific as this estimate. It has been proven that
| |
| :<math>\lim_{n\rightarrow \infty} (A_n)^{1/n} = \lambda</math>
| |
| | |
| exists. In other words, ''A<sub>n</sub>'' [[exponential growth|grows exponentially]]. The best known lower bound for ''λ'' is 3.980137.<ref>{{cite journal |last=Barequet |first=Gill |coauthors=Moffie, Micha; Ribó, Ares; Rote, Günter |year=2006 |title=Counting polyominoes on twisted cylinders |journal=Integers |volume=6 |pages=A22}}</ref> The best known upper bound, not improved since the 1970s, is {{nowrap|''λ'' < 4.65}}.<ref>{{cite journal |last=Klarner |first=D.A. |coauthors=Rivest, R.L. |year=1973 |title=A procedure for improving the upper bound for the number of ''n''-ominoes |journal=Canadian Journal of Mathematics |volume=25 |pages=585–602 |url=http://historical.ncstrl.org/litesite-data/stan/CS-TR-72-263.pdf |format=PDF of technical report version |accessdate=2007-05-11 |doi=10.4153/CJM-1973-060-4}}</ref>
| |
| | |
| To establish a lower bound, a simple but highly effective method is concatenation of polyominoes. Define the upper-right square to be the rightmost square in the uppermost row of the polyomino. Define the bottom-left square similarly. Then, the upper-right square of any polyomino of size ''n'' can be attached to the bottom-left square of any polyomino of size ''m'' to produce a unique (''n''+''m'')-omino. This proves {{nowrap|''A<sub>n</sub>A<sub>m</sub>'' ≤ ''A''<sub>''n''+''m''</sub>}}. Using this equation, one can show {{nowrap|''λ'' ≥ (''A<sub>n</sub>'')<sup>1/''n''</sup>}} for all ''n''. Refinements of this procedure combined with data for ''A<sub>n</sub>'' produce the lower bound given above.
| |
| | |
| The upper bound is attained by generalizing the inductive method of enumerating polyominoes. Instead of adding one square at a time, one adds a cluster of squares at a time. This is often described as adding ''twigs''. By proving that every ''n''-omino is a sequence of twigs, and by proving limits on the combinations of possible twigs, one obtains an upper bound on the number of ''n''-ominoes. For example, in the algorithm outlined above, at each step we must choose a larger number, and at most three new numbers are added (since at most three unnumbered squares are adjacent to any numbered square). This can be used to obtain an upper bound of 6.75. Using 2.8 million twigs, Klarner and [[Ron Rivest|Rivest]] obtained an upper bound of 4.65.
| |
| | |
| ====Free polyominoes====
| |
| Approximations for the number of fixed polyominoes and free polyominoes are related in a simple way. A free polyomino with no [[symmetries]] (rotation or reflection) corresponds to 8 distinct fixed polyominoes, and for large ''n'', most ''n''-ominoes have no symmetries. Therefore, the number of fixed ''n''-ominoes is approximately 8 times the number of free ''n''-ominoes. Moreover, this approximation is exponentially more accurate as ''n'' increases.<ref name="Redelmeier, section 3"/>
| |
| | |
| ===Special classes of polyominoes===
| |
| Exact formulas are known for enumerating polyominoes of special classes, such as the class of ''convex'' polyominoes and the class of ''directed'' polyominoes.
| |
| | |
| The definition of a ''convex'' polyomino is different from the usual definition of [[Convex set|convexity]]. A polyomino is said to be ''vertically'' or ''column convex'' if its intersection with any vertical line is convex (in other words, each column has no holes). Similarly, a polyomino is said to be ''horizontally'' or ''row convex'' if its intersection with any horizontal line is convex. A polyomino is said to be ''convex'' if it is row and column convex.<ref name=W151>{{cite book | last=Wilf | first=Herbert S. | authorlink=Herbert Wilf | title=Generatingfunctionology | edition=2nd | location=Boston, MA | publisher=Academic Press | year=1994 | isbn=0-12-751956-4 | zbl=0831.05001 | page=151 }}</ref>
| |
| | |
| A polyomino is said to be ''directed'' if it contains a square, known as the ''root'', such that every other square can be reached by movements of up or right one square, without leaving the polyomino.
| |
| | |
| Directed polyominoes,<ref>{{cite journal |last=Bousquet-Mélou |first=Mireille |year=1998 |title=New enumerative results on two-dimensional directed animals |journal=Discrete Mathematics |volume=180 |issue=1–3 |pages=73–106 |doi=10.1016/S0012-365X(97)00109-X}}</ref> column (or row) convex polyominoes,<ref>{{cite journal |last=Delest |first=M.-P. |year=1988 |title=Generating functions for column-convex polyominoes |journal=Journal of Combinatorial Theory. Series A |volume=48 |issue=1 |pages=12–31 |doi=10.1016/0097-3165(88)90071-4}}</ref> and convex polyominoes<ref>{{cite journal |last=Bousquet-Mélou |first=Mireille |coauthors=Fédou, Jean-Marc |year=1995 |title=The generating function of convex polyominoes: The resolution of a ''q''-differential system |journal=Discrete Mathematics |volume=137 |issue=1–3 |pages=53–75 |doi=10.1016/0012-365X(93)E0161-V}}</ref> have been effectively enumerated by area ''n'', as well as by some other parameters such as perimeter, using [[generating function]]s.
| |
| | |
| A polyomino is [[equable shape|equable]] if its area equals its perimeter. An equable polyomino must be made from an [[even number]] of squares; every even number greater than 15 is possible. For instance, the 16-omino in the form of a 4 × 4 square and the 18-omino in the form of a 3 × 6 rectangle are both equable. For polyominoes with fewer than 15 squares, the perimeter always exceeds the area.<ref>{{citation|title=Geometry Labs|first=Henri|last=Picciotto|year=1999|publisher=MathEducationPage.org|page=208|url=http://books.google.com/books?id=7gTMKr7TT6gC&pg=PA208}}.</ref>
| |
| | |
| ==Uses of polyominoes==
| |
| Polyominoes have fostered significant research in mathematics<ref>''[[Mathematical Reviews]]'' subject classification 05B50</ref> and are a fertile subject for [[:Category:logic puzzles|logic puzzles]] and [[recreational mathematics]].<ref>Golomb, whole book</ref> Challenges are often posed for covering ([[Tessellation|tiling]]) a prescribed region, or the entire plane, with polyominoes,<ref>{{cite book |last=Martin |first=George E. |title=Polyominoes: A guide to puzzles and problems in tiling |year=1996 |edition=2nd |publisher=[[Mathematical Association of America]] |isbn=0-88385-501-1}}</ref> or folding a polyomino to create other shapes. Gardner proposed several simple games with a set of free pentominoes and a chessboard. Some variants of the [[Sudoku#Variants|Sudoku]] puzzle use polyomino-shaped regions on the grid. The video game [[Tetris]] is based on the seven one-sided tetrominoes (spelled "Tetriminos" in the game), and the board game [[Blokus]] uses all of the free polyominoes up to pentominoes.
| |
| | |
| ===Tiling regions with sets of polyominoes===
| |
| Puzzles commonly ask for tiling a given region with a given set of polyominoes, such as the 12 pentominoes. Golomb's and Gardner's books have many examples. A typical puzzle is to tile a 6×10 rectangle with the twelve pentominoes; the 2339 solutions to this were found in 1960.<ref>{{cite journal |author=C.B. Haselgrove |coauthors=Jenifer Haselgrove |date=October 1960 |title=A Computer Program for Pentominoes |journal=[[Eureka (University of Cambridge magazine)|Eureka]] |volume=23 |pages=16–18}}</ref> Where multiple copies of the polyominoes in the set are allowed, Golomb defines a hierarchy of different regions that a set may be able to tile, such as rectangles, strips, and the whole plane, and shows that whether polyominoes from a given set can tile the plane is [[recursive set|undecidable]], by mapping sets of [[Wang tile]]s to sets of polyominoes.<ref>{{cite journal |last=Golomb |first=Solomon W. |year=1970 |title=Tiling with Sets of Polyominoes |journal=Journal of Combinatorial Theory |volume=9 |pages=60–71 |doi=10.1016/S0021-9800(70)80055-2}}</ref>
| |
| | |
| ===Tiling regions with copies of a single polyomino===
| |
| Another class of problems asks whether copies of a given polyomino can tile a [[rectangle]], and if so, what rectangles they can tile.<ref>Golomb, ''Polyominoes'', chapter 8</ref> These problems have been extensively studied for particular polyominoes,<ref>{{cite web |url=http://www.math.ucf.edu/~reid/Polyomino/rectifiable_bib.html |title=References for Rectifiable Polyominoes |accessdate=2007-05-11 |last=Reid |first=Michael}}</ref> and tables of results for individual polyominoes are available.<ref>{{cite web |url=http://www.math.ucf.edu/~reid/Polyomino/rectifiable_data.html |title=List of known prime rectangles for various polyominoes |accessdate=2007-05-11 |last=Reid |first=Michael}}</ref> Klarner and Göbel showed that for any polyomino there is a finite set of ''prime'' rectangles it tiles, such that all other rectangles it tiles can be tiled by those prime rectangles.<ref>{{cite journal |last=Klarner |first=D.A. |coauthors=Göbel, F. |year=1969 |title=Packing boxes with congruent figures |journal=Indagationes Mathematicae |volume=31 |pages=465–472}}</ref><ref>{{cite web |url=http://historical.ncstrl.org/litesite-data/stan/CS-TR-73-338.pdf |title=A Finite Basis Theorem Revisited |accessdate=2007-05-12 |last=Klarner |first=David A. |date=February 1973 |format=PDF |publisher=Stanford University Technical Report STAN-CS-73–338}}</ref>
| |
| | |
| Beyond rectangles, Golomb gave his hierarchy for single polyominoes: a polyomino may tile a rectangle, a half strip, a bent strip, an enlarged copy of itself, a quadrant, a strip, a [[half plane]], the whole plane, certain combinations, or none of these. There are certain implications among these, both obvious (for example, if a polyomino tiles the half plane then it tiles the whole plane) and less so (for example, if a polyomino tiles an enlarged copy of itself, then it tiles the quadrant). Polyominoes of orders up to 6 are characterized in this hierarchy (with the status of one hexomino, later found to tile a rectangle, unresolved at that time).<ref>{{cite journal |last=Golomb |first=Solomon W. |year=1966 |title=Tiling with Polyominoes |journal=Journal of Combinatorial Theory |volume=1 |pages=280–296 |issue=2 |doi=10.1016/S0021-9800(66)80033-9}}</ref>
| |
| | |
| In 2001 [[Cris Moore|Cristopher Moore]] and John Michael Robson showed that the problem of tiling one polyomino with copies of another is [[NP-complete]].<ref>{{cite web |last=Moore |first=Cristopher|authorlink1=Cris Moore |last2=Robson |first2=John Michael |title=Hard Tiling Problems with Simple Tiles |year=2001 |url=http://www.santafe.edu/media/workingpapers/00-03-019.pdf}}</ref><ref>{{citation|first=Ivars|last=Petersen|title=Math Trek: Tiling with Polyominoes|date=September 25, 1999|journal=[[Science News]]|url=http://www.sciencenews.org/pages/sn_arc99/9_25_99/mathland.htm}}.</ref>
| |
| | |
| ===Tiling the plane with copies of a single polyomino===
| |
| Tiling the plane with copies of a single polyomino has also been much discussed. It was noted in 1965 that all polyominoes of orders 1 through 6 tile the plane,<ref>{{cite journal |last=Gardner |first=Martin |date=July 1965 |title=On the relation between mathematics and the ordered patterns of Op art |journal=[[Scientific American]] |volume=213 |issue=1 |pages=100–104}}</ref> and then that all but four heptominoes will do so.<ref>{{cite journal |last=Gardner |first=Martin |date=August 1965 |title=Thoughts on the task of communication with intelligent organisms on other worlds |journal=[[Scientific American]] |volume=213 |issue=2 |pages=96–100}}</ref> It was then established by David Bird that all but 26 octominoes tile the plane.<ref>{{cite journal |last=Gardner |first=Martin |date=August 1975 |title=More about tiling the plane: the possibilities of polyominoes, polyiamonds and polyhexes |journal=[[Scientific American]] |volume=233 |issue=2 |pages=112–115}}</ref> Rawsthorne found that all but 235 polyominoes of order 9 tile,<ref>{{cite journal |last=Rawsthorne |first=Daniel A. |year=1988 |title=Tiling complexity of small ''n''-ominoes (''n''<10) |journal=Discrete Mathematics |volume=70 |pages=71–75 |doi=10.1016/0012-365X(88)90081-7}}</ref> and such results have been extended to higher orders by Rhoads (to order 14)<ref>{{cite book |last=Rhoads |first=Glenn C. |title=Planar Tilings and the Search for an Aperiodic Prototile |year=2003 |publisher=PhD dissertation, Rutgers University}}</ref> and others. Polyominoes tiling the plane have been classified by the symmetries of their tilings and by the number of aspects (orientations) in which the tiles appear in them.<ref>Grünbaum and Shephard, section 9.4</ref><ref>{{cite journal |last=Rhoads |first=Glenn C. |year=2005 |title=Planar tilings by polyominoes, polyhexes, and polyiamonds |journal=Journal of Computational and Applied Mathematics |volume=174 |pages=329–353 |doi=10.1016/j.cam.2004.05.002 |issue=2}}</ref><ref>{{cite journal |last=Keating |first=K. |coauthors=Vince, A. |year=1999 |title=Isohedral Polyomino Tiling of the Plane |journal=Discrete & Computational Geometry |volume=21 |pages=615–630 |doi=10.1007/PL00009442 |issue=4}}</ref>
| |
| | |
| ===Tiling a common figure with various polyominoes===
| |
| [[Image:PentominoCompatibilityTW.svg|thumb|A minimal compatibility figure for the T and W [[pentomino]]es.]]
| |
| The ''compatibility problem'' is to take two or more polyominoes and find a figure that can be tiled with each. Polyomino compatibility has been widely studied since the 1990s. Jorge Luis Mireles and Giovanni Resta have published websites of systematic results,<ref>[http://web.archive.org/web/20091027093922/http://geocities.com/jorgeluismireles/polypolyominoes/ Mireles, J.L., "Poly<sup>2</sup>ominoes"]</ref><ref>[http://www.iread.it/Poly/ Resta, G., "Polypolyominoes"]</ref> and Livio Zucca shows results for some complicated cases like three different pentominoes.<ref>[http://userpages.monmouth.com/~colonel/rosp/triplep.html Zucca, L., "Remembrance of Software Past"]</ref> The general problem can be hard. The first compatibility figure for the L and X pentominoes was published in 2005 and had 80 tiles of each kind.<ref>{{cite book |displayeditors=4 |last=Barbans |first=Uldis |last2=Cibulis |first2=Andris |last3=Lee |first3=Gilbert |last4=Liu |first4=Andy |last5=Wainwright |first5=Robert |contribution=Polyomino Number Theory (III) |editor-last=Cipra |editor-first=Barry |editor2-last=Demaine |editor2-first=Erik D. |editor3-last=Demaine |editor3-first=Martin L. |editor4-last=Rodgers |editor4-first=Tom |title=Tribute to a Mathemagician |place=Wellesley, MA |publisher=A.K. Peters |year=2005 |pages=131–136 |isbn=978-1-56881-204-5}}</ref> Many pairs of polyominoes have been proved incompatible by systematic exhaustion. No algorithm is known for deciding whether two arbitrary polyominoes are compatible.
| |
| | |
| ==Etymology==
| |
| The word ''polyomino'' and the names of the various orders of polyomino are all back-formations from the word ''domino'', a common game piece consisting of two squares, with the first letter ''d-'' fancifully interpreted as a version of the prefix ''di-'' meaning "two." The name ''domino'' for the game piece is believed to come from the spotted masquerade garment ''domino'', from Latin ''dominus''.<ref>[[Oxford English Dictionary]], 2nd edition, entry ''domino''</ref>
| |
| | |
| Most of the [[numerical prefix]]es are Greek. Polyominoes of order 9 and 11 more often take the Latin prefixes ''nona-'' (nonomino) and ''undeca-'' (undecomino) than the Greek prefixes ''ennea-'' (enneomino) and ''hendeca-'' (hendecomino).
| |
| | |
| ==See also==
| |
| *[[Percolation theory]], the mathematical study of random subsets of integer grids. The finite connected components of these subsets form polyominoes.
| |
| *[[Young tableau|Young diagram]], a special kind of polyomino used in number theory to describe integer partitions and in group theory and applications in mathematical physics to describe representations of the symmetric group.
| |
| *[[Blokus]], a board game using polyominoes.
| |
| *[[Squaregraph]], a kind of undirected graph including as a special case the graphs of vertices and edges of polyominoes.
| |
| | |
| ==Notes==
| |
| {{reflist|colwidth=30em}}
| |
| | |
| ==External links==
| |
| *[http://gfredericks.com/sandbox/polyominoes An interactive polyomino-tiling application]
| |
| *[http://www.eklhad.net/polyomino/ Karl Dahlke's polyomino finite-rectangle tilings]
| |
| *[http://www-cs-faculty.stanford.edu/~knuth/programs.html#polyominoes An implementation and description of Jensen's method]
| |
| *[http://www.statslab.cam.ac.uk/~grg/books/hammfest/19-sgw.ps A paper describing modern estimates (PS)]
| |
| *{{MathWorld|title=Polyomino|urlname=Polyomino}}
| |
| *[http://www.mathpages.com/home/kmath039.htm MathPages – Notes on enumeration of polyominoes with various symmetries]
| |
| *[http://www.mayhematics.com/d/db.htm List of dissection problems in Fairy Chess Review]
| |
| *''[http://demonstrations.wolfram.com/Tetrads/ Tetrads]'' by Karl Scherer, [[Wolfram Demonstrations Project]].
| |
| | |
| {{Polyforms}}
| |
| | |
| [[Category:Polyforms]]
| |
| [[Category:Recreational mathematics]]
| |