(A) An 8x8 chessboard has had two of its diagonally opposite squares removed, leaving it with sixty-two squares. Can we tile it with 31 non-overlapping 2x1 rectangles (dominoes) such that all squares are covered? (B) Under what circumstances would removal of two squares from an 8x8 chessboard allow such a tiling? For example, if we remove an arbitrary white square and an arbitrary black square, can the remaining board be tiled?
Part (A) is the classic Mutilated Chessboard Problem posed by Martin Gardner in one of his articles in Scientific American. Part (B) has a surprising answer with an elegant mathematical proof.
(A) Both removed squares have identical color! So their removal leaves us with 30 squares of one color and 32 squares of the other color. Since a domino always covers one black and one white squares, the 62 remaining squares cannot be tiled.
(B) Removal of any white and any black square allows tiling with dominoes. Proof: Find a Hamiltonian cycle among the squares, with two squares deemed adjacent iff they share an edge. In other words, cover all squares of a chessboard using a rook without covering the same square twice, and returning to the original square. Removal of one white and one black square breaks the cycle into two paths with even lengths. A path of even length can be tiled with 2x1 dominoes because successive squares in the path share an edge.
Alternative solution (thanks to Sreeram Ramachandran at Google): The smallest rectangle that includes the excluded squares must have one side odd and the other side even. Let us call this rectangle "special". Slice the large rectangle by extending those two edges of the special rectangle that are odd in length. Then slice only that rectangle that contains the special rectangle along the two edges of the special rectangle that are even in length. Now, we have (at most) five rectangles. The rectangles other than the special rectangle have at least one side that is even. So these can be tiled. It is easy to see that the special rectangle can also be tiled.
1) Use parity / coloring argument to show that a 10x10 board cannot be tiled with 1x4 pieces.
2) Show that if a 7x7 board is tiled with 1x3 pieces, then the untiled square must occupy one of the following 9 positions: the center, one of the four corners, or one of the central squares along the sides of the board.
A blog entry discusses the problem of tiling with dominoes with 4 squares removed.
Edward Dijkstra has posted a short note on the following problem: Consider tiling a chessboard with dominoes. A domino whose squares are in the same row we call a horizontal domino. We claim that the number of horizontal dominoes with a black left square and the number of horizontal dominoes with a white left square are equal. [Corollary: the number of horizontal dominoes is even.]
Free Chapter 1 (in PDF format) from "Across the Board: The Mathematics of Chessboard Problems" by John J. Watkins, 2004 — the chapter discusses several covering problems using dominoes and chess pieces.
Tilings by Federico Ardila and Richard P Stanley, Clay Public Lecture, 2004.
1) Label rows as 0, 1, ..., 9. Label columns similarly. A square in column c and row r is assigned the color (c + r) mod 4. The sum of colors covered by any 1x4 tile is 2 modulo 4. The sum of colors of 25 such tiles shall also be 2. However, the sum of colors of all 100 squares is 0.
2) Color the seven rows as 0, 1, 2, 0, 1, 2, 0. The sum of numbers covered by a tile is always divisible by 3. So the uncovered square must belong to a row labeled 0. Now repeat the same argument with 'rows' replaced by 'columns'. The intersection of these rows and columns are the 9 squares listed in the problem statement.
A goblin forewarns N gnomes as follows: "Tomorrow morning, I shall place one hat on each of you. Each hat shall be labeled with some number drawn from the range [0, N-1]. Duplicates are allowed, so two different hats might have the same label. Any gnome shall be able to see numbers on other hats but not his own! When a bell rings, all gnomes shall simultaneously announce one number each. If any gnome succeeds in announcing the number on his own hat, all gnomes shall be set free." The gnomes have assembled in the evening to discuss their predicament. Can you help them devise a strategy?
Show that a chessboard of size 2^n by 2^n can be tiled with L-shaped figures of 3 squares, such that only one square remains uncovered. In fact, the uncovered square may be any square — for every choice, there exists a tiling. In fact, the puzzle may be extended to 3D: Eight unit cubes make a cube with edge length two. We will call such a cube with one unit cube removed a "piece". A cube with edge length 2^n consists of (2^n)3 unit cubes. Prove that if one unit cube is removed from T, then the remaining solid can be decomposed into pieces.