Math 2.0

Combinatorics Definition

Domino tiling

Builds on TessellationPerfect matching

Definition

A cell is a unit square [a,a+1]×[b,b+1][a, a+1] \times [b, b+1] with a,b∈ℤa, b \in \Z. A domino is the union of two cells that share an edge, so it is a 1×21 \times 2 or 2×12 \times 1 rectangle with integer corners. Let R⊆ℝ2R \subseteq \R^2 be a region that is a union of finitely many cells. A domino tiling of RR is a finite set DD of dominoes such that:

  1. every domino of DD is contained in RR;
  2. the union of the dominoes of DD is RR;
  3. two distinct dominoes of DD have disjoint interiors.

Remarks

Example: the 2×32 \times 3 rectangle [0,3]×[0,2][0, 3] \times [0, 2] has exactly three domino tilings. They are: three vertical dominoes; one vertical domino on the left and two horizontal ones on the right; and the mirror image of the second. More generally, the 2×n2 \times n rectangle has Fn+1F_{n+1} domino tilings, where F1=F2=1F_1 = F_2 = 1 and Fk+1=Fk+Fk−1F_{k+1} = F_k + F_{k-1} are the Fibonacci numbers.

Non-example: remove two opposite corner cells from the 8×88 \times 8 board. Colour the cells like a chessboard; each domino covers one black and one white cell, but the two removed cells have the same colour. So the remaining 6262 cells have 3232 of one colour and 3030 of the other, and no set of dominoes satisfies clauses 2 and 3.

Equivalently, a domino tiling of RR is a perfect matching of the graph whose vertices are the cells of RR, two cells being adjacent when they share an edge.

Reading path

To understand this page from the ground up, read these 3 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Perfect matching concept
  2. Tessellation concept
  3. Domino tiling definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Domino_tiling
About this page
TagAVTXQM3CNZ
URIm2://AVTXQM3CNZ
Kinddefinition
WritingW0 stub
MSC05B45, 05C70, 52C20
DefinesDomino tiling
UsesTessellation, Perfect matching

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.