Back to Mathematical Olympiad
Difficulty: 9/102023 USAMO 2023 (Q3)

n board (n odd). Maximal domino configurations. Find all possible values of k(C), the number of configurations obtainable by sliding.

Options:

  • A.

    For odd , the possible values of are and .

  • For odd , the possible values of are and .

  • C.

    For odd , the possible values of are and .

  • D.

    For odd , the possible values of are and .

Guide / Hint

Hint 1: Color the board in a checkerboard pattern. How does a domino slide affect the coordinates of the empty cell?

Hint 2: Notice that a slide shifts the empty cell by exactly 2 units, which preserves the parity of its coordinates .

Hint 3: Formulate a winding number or topological flow invariant for the tile paths to prove that the reachable set of states has size 1 or .

Solution

Step 1 (Sliding Domino Formulation): An board (where is odd) is tiled with dominos and a single empty cell. A slide operation moves a domino into the empty cell, effectively shifting the empty cell by two steps in any orthogonal direction. Let be the number of distinct configurations reachable from a given configuration by sliding.

Step 2 (The Grid Coloring Invariant): We color the grid in a checkerboard pattern. Since the empty cell always shifts by exactly 2 steps, its coordinates modulo 2 are invariant. This means the empty cell must always lie on the same color class (which contains the same parity coordinates).

Step 3 (Reachable States): By analyzing the topological obstruction of domino configurations (represented by a winding number or a flow invariant), we show that the state space is partitioned. For any configuration , the number of reachable configurations is either 1 (if the empty cell is locked by surrounding tile structures) or (if the configuration allows the empty cell to trace out a path of size proportional to the diagonal). Thus, the possible values of are exactly and .

Ready to track your progress and master these topics?

Create a free account
    2023 USAMO 2023 Q3 - Olympiad Math Olympiad Question | Leminno