Consider an n -by- n board and L -tetrominoes ( 4 squares...

Consider an $n$ -by- $n$ board and $L$ -tetrominoes ( 4 squares joined in the shape of an L). Show that if there is a perfect cover of the $n$ -by- $n$ board with $L$ -tetrominoes, then $n$ is divisible by 4 . What about $m$ -by- $n$ -boards?

Key Concepts

Polyomino Tiling

Polyomino tiling involves covering a given board with shapes made of connected unit squares without overlaps or gaps. This concept is fundamental in discrete mathematics and combinatorics, where tiling puzzles challenge one to decide whether and how a board, subject to its dimensions, can be exactly tiled by copies of a given polyomino. It requires considering both the area and the geometry of the shapes involved.

Invariant Methods in Tiling

Invariant methods are powerful tools in proving tiling impossibilities or necessary conditions. By assigning colors or weights to board squares, one can define an invariant—a property that remains unchanged by the placement of a tile. If the invariant calculated for the entire board does not match the sum of the invariants of the tiles, then a perfect tiling cannot be achieved. This method is especially useful in analyzing tilings with shapes that have asymmetrical properties.

Parity and Coloring Arguments

Parity and coloring arguments involve partitioning the board into regions (often using alternating colors like in a checkerboard) and analyzing how the tiles cover these regions. This analysis can reveal imbalances created by the shape of a tile, leading to necessary conditions on the board dimensions. Such methods are integral in proving why certain board sizes are impossible to cover perfectly with specific tiles.

Divisibility and Structural Constraints in Tiling

Beyond simple area considerations, tiling problems often require that the dimensions of the board satisfy particular divisibility conditions relative to the properties of the tiles. In some problems, the shape of the tile imposes additional structural constraints that force the board dimensions to be multiples of a certain number, thus ensuring a match between the tile’s geometry and the board’s structure. This concept is key in deducing why an n-by-n board might need its size to be divisible by 4 when tiled with L-shaped tetrominoes.

Transcript

Please give Ace some feedback