Tromino

Last updated
All possible free trominos Trominoes.svg
All possible free trominos

A tromino or triomino is a polyomino of size 3, that is, a polygon in the plane made of three equal-sized squares connected edge-to-edge. [1]

Contents

Symmetry and enumeration

When rotations and reflections are not considered to be distinct shapes, there are only two different free trominoes: "I" and "L" (the "L" shape is also called "V").

Since both free trominoes have reflection symmetry, they are also the only two one-sided trominoes (trominoes with reflections considered distinct). When rotations are also considered distinct, there are six fixed trominoes: two I and four L shapes. They can be obtained by rotating the above forms by 90°, 180° and 270°. [2] [3]

Rep-tiling and Golomb's tromino theorem

Geometrical dissection of an L-tromino (rep-4) Geometrical dissection of an L-triomino (rep-4).gif
Geometrical dissection of an L-tromino (rep-4)

Both types of tromino can be dissected into n2 smaller trominos of the same type, for any integer n > 1. That is, they are rep-tiles. [4] Continuing this dissection recursively leads to a tiling of the plane, which in many cases is an aperiodic tiling. In this context, the L-tromino is called a chair, and its tiling by recursive subdivision into four smaller L-trominos is called the chair tiling. [5]

Motivated by the mutilated chessboard problem, Solomon W. Golomb used this tiling as the basis for what has become known as Golomb's tromino theorem: if any square is removed from a 2n × 2n chessboard, the remaining board can be completely covered with L-trominoes. To prove this by mathematical induction, partition the board into a quarter-board of size 2n−1 × 2n−1 that contains the removed square, and a large tromino formed by the other three quarter-boards. The tromino can be recursively dissected into unit trominoes, and a dissection of the quarter-board with one square removed follows by the induction hypothesis. In contrast, when a chessboard of this size has one square removed, it is not always possible to cover the remaining squares by I-trominoes. [6]

See also

Previous and next orders

Related Research Articles

<span class="mw-page-title-main">Pentomino</span> Geometric shape formed from five squares

Derived from the Greek word for '5', and "domino", a pentomino is a polyomino of order 5, that is, a polygon in the plane made of 5 equal-sized squares connected edge-to-edge. When rotations and reflections are not considered to be distinct shapes, there are 12 different free pentominoes. When reflections are considered distinct, there are 18 one-sided pentominoes. When rotations are also considered distinct, there are 63 fixed pentominoes.

<span class="mw-page-title-main">Tetromino</span> Four squares connected edge-to-edge

A tetromino is a geometric shape composed of four squares, connected orthogonally. Tetrominoes, like dominoes and pentominoes, are a particular type of polyomino. The corresponding polycube, called a tetracube, is a geometric shape composed of four cubes connected orthogonally.

<span class="mw-page-title-main">Squaring the square</span> Mathematical problem

Squaring the square is the problem of tiling an integral square using only other integral squares. The name was coined in a humorous analogy with squaring the circle. Squaring the square is an easy task unless additional conditions are set. The most studied restriction is that the squaring be perfect, meaning the sizes of the smaller squares are all different. A related problem is squaring the plane, which can be done even with the restriction that each natural number occurs exactly once as a size of a square in the tiling. The order of a squared square is its number of constituent squares.

<span class="mw-page-title-main">Polyomino</span> Geometric shapes formed from squares

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 squares. It may be regarded as a finite subset of the regular square tiling.

<span class="mw-page-title-main">Tessellation</span> Tiling of a plane in mathematics

A tessellation or tiling is the covering of a surface, often a plane, using one or more geometric shapes, called tiles, with no overlaps and no gaps. In mathematics, tessellation can be generalized to higher dimensions and a variety of geometries.

<span class="mw-page-title-main">Hexomino</span> Geometric shape formed from six squares

A hexomino is a polyomino of order 6, that is, a polygon in the plane made of 6 equal-sized squares connected edge-to-edge. The name of this type of figure is formed with the prefix hex(a)-. When rotations and reflections are not considered to be distinct shapes, there are 35 different free hexominoes. When reflections are considered distinct, there are 60 one-sided hexominoes. When rotations are also considered distinct, there are 216 fixed hexominoes.

<span class="mw-page-title-main">Polyabolo</span> Shape formed from isosceles right triangles

In recreational mathematics, a polyabolo is a shape formed by gluing isosceles right triangles edge-to-edge, making a polyform with the isosceles right triangle as the base form. Polyaboloes were introduced by Martin Gardner in his June 1967 "Mathematical Games column" in Scientific American.

<span class="mw-page-title-main">Polycube</span> Shape made from cubes joined together

A polycube is a solid figure formed by joining one or more equal cubes face to face. Polycubes are the three-dimensional analogues of the planar polyominoes. The Soma cube, the Bedlam cube, the Diabolical cube, the Slothouber–Graatsma puzzle, and the Conway puzzle are examples of packing problems based on polycubes.

<span class="mw-page-title-main">Heptomino</span> Geometric shape formed from seven squares

A heptomino is a polyomino of order 7, that is, a polygon in the plane made of 7 equal-sized squares connected edge-to-edge. The name of this type of figure is formed with the prefix hept(a)-. When rotations and reflections are not considered to be distinct shapes, there are 108 different free heptominoes. When reflections are considered distinct, there are 196 one-sided heptominoes. When rotations are also considered distinct, there are 760 fixed heptominoes.

<span class="mw-page-title-main">Nonomino</span> Geometric shape formed from nine squares

A nonomino is a polyomino of order 9, that is, a polygon in the plane made of 9 equal-sized squares connected edge-to-edge. The name of this type of figure is formed with the prefix non(a)-. When rotations and reflections are not considered to be distinct shapes, there are 1,285 different free nonominoes. When reflections are considered distinct, there are 2,500 one-sided nonominoes. When rotations are also considered distinct, there are 9,910 fixed nonominoes.

<span class="mw-page-title-main">Tiling puzzle</span> Puzzles involving the assembly of flat shapes

Tiling puzzles are puzzles involving two-dimensional packing problems in which a number of flat shapes have to be assembled into a larger given shape without overlaps. Some tiling puzzles ask you to dissect a given shape first and then rearrange the pieces into another shape. Other tiling puzzles ask you to dissect a given shape while fulfilling certain conditions. The two latter types of tiling puzzles are also called dissection puzzles.

<span class="mw-page-title-main">Octomino</span> Geometric shape formed from eight squares

An octomino is a polyomino of order 8, that is, a polygon in the plane made of 8 equal-sized squares connected edge-to-edge. When rotations and reflections are not considered to be distinct shapes, there are 369 different free octominoes. When reflections are considered distinct, there are 704 one-sided octominoes. When rotations are also considered distinct, there are 2,725 fixed octominoes.

<span class="mw-page-title-main">Mutilated chessboard problem</span> On domino tiling after removing two corners

The mutilated chessboard problem is a tiling puzzle posed by Max Black in 1946 that asks:

Suppose a standard 8×8 chessboard has two diagonally opposite corners removed, leaving 62 squares. Is it possible to place 31 dominoes of size 2×1 so as to cover all of these squares?

In mathematics, a domino is a polyomino of order 2, that is, a polygon in the plane made of two equal-sized squares connected edge-to-edge. When rotations and reflections are not considered to be distinct shapes, there is only one free domino.

<span class="mw-page-title-main">Pseudo-polyomino</span> Geometric shapes formed from squares

A pseudo-polyomino, also called a polyking, polyplet or hinged polyomino, is a plane geometric figure formed by joining one or more equal squares edge-to-edge or corner-to-corner at 90°. It is a polyform with square cells. The polyominoes are a subset of the polykings.

<span class="mw-page-title-main">Rep-tile</span> Shape subdivided into copies of itself

In the geometry of tessellations, a rep-tile or reptile is a shape that can be dissected into smaller copies of the same shape. The term was coined as a pun on animal reptiles by recreational mathematician Solomon W. Golomb and popularized by Martin Gardner in his "Mathematical Games" column in the May 1963 issue of Scientific American. In 2012 a generalization of rep-tiles called self-tiling tile sets was introduced by Lee Sallows in Mathematics Magazine.

A decomino, or 10-omino, is a polyomino of order 10, that is, a polygon in the plane made of 10 equal-sized squares connected edge-to-edge. When rotations and reflections are not considered to be distinct shapes, there are 4,655 different free decominoes. When reflections are considered distinct, there are 9,189 one-sided decominoes. When rotations are also considered distinct, there are 36,446 fixed decominoes.

<span class="mw-page-title-main">Self-tiling tile set</span>

A self-tiling tile set, or setiset, of order n is a set of n shapes or pieces, usually planar, each of which can be tiled with smaller replicas of the complete set of n shapes. That is, the n shapes can be assembled in n different ways so as to create larger copies of themselves, where the increase in scale is the same in each case. Figure 1 shows an example for n = 4 using distinctly shaped decominoes. The concept can be extended to include pieces of higher dimension. The name setisets was coined by Lee Sallows in 2012, but the problem of finding such sets for n = 4 was asked decades previously by C. Dudley Langford, and examples for polyaboloes and polyominoes were previously published by Gardner.

David Anthony Klarner was an American mathematician, author, and educator. He is known for his work in combinatorial enumeration, polyominoes, and box-packing.

Polyominoes: Puzzles, Patterns, Problems, and Packings is a mathematics book on polyominoes, the shapes formed by connecting some number of unit squares edge-to-edge. It was written by Solomon Golomb, and is "universally regarded as a classic in recreational mathematics". The Basic Library List Committee of the Mathematical Association of America has strongly recommended its inclusion in undergraduate mathematics libraries.

References

  1. Golomb, Solomon W. (1994). Polyominoes (2nd ed.). Princeton, New Jersey: Princeton University Press. ISBN   0-691-02444-8.
  2. Weisstein, Eric W. "Triomino". MathWorld .
  3. Redelmeier, D. Hugh (1981). "Counting polyominoes: yet another attack". Discrete Mathematics . 36: 191–203. doi: 10.1016/0012-365X(81)90237-5 .
  4. Nițică, Viorel (2003), "Rep-tiles revisited", MASS selecta, Providence, RI: American Mathematical Society, pp. 205–217, MR   2027179 .
  5. Robinson, E. Arthur Jr. (1999). "On the table and the chair". Indagationes Mathematicae . 10 (4): 581–599. doi: 10.1016/S0019-3577(00)87911-2 . MR   1820555..
  6. Golomb, S. W. (1954). "Checker boards and polyominoes". American Mathematical Monthly . 61: 675–682. doi:10.2307/2307321. MR   0067055..