Brainteasers & Logic
Symmetry, Invariants & Coloring Arguments
Overview
Invariance arguments produce short, elegant proofs of impossibility. The method: find a property of 'legal game states' that is preserved by every legal move. If the goal state violates this property starting from the initial state, the goal is unreachable โ no matter how clever you are. The checkerboard coloring is the most famous example; parity arguments are the most versatile.
How to Recognize
- โ'Prove that X is impossible' โ find an invariant
- โTiling or domino problems on a modified board
- โParity arguments: can you reach position B from position A?
- โTwo-player games where the first player wins by mirroring
Step-by-Step Approach
- 1.Invariant method: find f(state) that every valid move preserves. If start โ goal under f: impossible.
- 2.Coloring: assign colors to a grid/sequence. Each valid move changes colors in a predictable way.
- 3.Parity: count something mod 2. If start parity โ goal parity: impossible.
- 4.Symmetry strategy: first player takes the 'center', then mirrors every opponent move.
Key Formulas
Worked Examples
Problem
An 8ร8 chessboard has two diagonally opposite corners removed. Can the remaining 62 squares be tiled by 31 dominoes (1ร2 tiles)?
Solution
Color the board black and white alternately. Standard 8ร8: 32 black, 32 white.
Two opposite corners: both are the SAME color. (Top-left = black, bottom-right = black on standard coloring.)
After removing both: 30 black, 32 white squares remain.
Each domino covers exactly 1 black + 1 white (dominoes span adjacent squares = opposite colors).
31 dominoes need 31 black + 31 white squares. But we have 30 black and 32 white.
Impossible. The coloring invariant provides a 2-line proof.
Answer
Impossible. Coloring invariant: dominoes always cover equal black and white. Removing two same-color corners creates imbalance (30B vs 32W) โ no perfect tiling.
Common Mistakes
- !
Trying to construct a solution when the invariant proves it's impossible. Two lines of invariant argument beats hours of failed construction attempts.
- !
For parity arguments: carefully count how many elements change per move. 'Each move flips 3' โ odd change โ parity flips.
- !
Symmetry games: the center placement is critical โ if the table had no center (e.g., rectangle with even dimensions and no center lattice point), the argument needs rethinking.
Practice Problems
Click "Show Answer" to revealCan you tile a 10ร10 board (minus two opposite corners) with 1ร2 dominoes?
An ant starts at corner (0,0) of an nรn grid and wants to reach (n,n). It can only move right (+1,0) or up (0,+1). Color squares like a chessboard. How does the coloring help determine the number of valid paths?
Prove it's impossible to rearrange the numbers 1โ9 in a 3ร3 grid such that every row, column, and diagonal sums to the same value UNLESS the center is 5.