Maths Olympiad Prep

Track / Stage 8 / 80 of 180 #1780 of 1964

Problem 1780

IMO Shortlist mid-range; USAMO P2/P5
Combinatorics Difficulty 8.3 Prove it

A frog is placed on each cell of a n×nn \times n square inside an infinite chessboard (so initially there are a total of n×nn \times n frogs). Each move consists of a frog AA jumping over a frog BB adjacent to it with AA landing in the next cell and BB disappearing (adjacent means two cells sharing a side). Prove that at least [n23] \left[\frac{n^2}{3}\right] moves are needed to reach a configuration where no more moves are possible.

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Official solution

1. Define Efficient and Inefficient Moves:
- Call a move efficient if the frog lands outside of the initial n×n n \times n square.
- Call a move inefficient if the frog lands inside the initial n×n n \times n square.

2. Initial and Final Configuration:
- Initially, there are n2 n^2 frogs in the n×n n \times n square.
- In the end, there must be at most n22 \left\lfloor \frac{n^2}{2} \right\rfloor frogs in the n×n n \times n square, as otherwise, there would be two adjacent frogs, which would allow for another move.

3. Inequality for Moves:
- Let x x be the number of efficient moves.
- Let y y be the number of inefficient moves.
- Since each move removes one frog, we have:
x+2yn22.(1) x + 2y \ge \left\lceil \frac{n^2}{2} \right\rceil. \qquad (1)

4. **Case 1: n n is even**
- Partition the n×n n \times n square into 2×2 2 \times 2 squares. There are n24 \frac{n^2}{4} such squares.
- Define a move to operate on a 2×2 2 \times 2 square if the number of frogs in the 2×2 2 \times 2 square strictly decreases as a result of the move.
- An efficient move operates on at most one 2×2 2 \times 2 square.
- An inefficient move operates on at most two 2×2 2 \times 2 squares.
- Each 2×2 2 \times 2 square must be operated on at least twice to ensure no two adjacent frogs remain.
- This implies:
2x+yn22.(2) 2x + y \ge \frac{n^2}{2}. \qquad (2)
- Adding inequalities (1) and (2):
x+2y+2x+yn22+n22 x + 2y + 2x + y \ge \left\lceil \frac{n^2}{2} \right\rceil + \frac{n^2}{2}
3x+3yn2 3x + 3y \ge n^2
x+yn23 x + y \ge \frac{n^2}{3}

5. **Case 2: n n is odd**
- For n=3 n = 3 , it is easy to verify the result.
- For n>3 n > 3 , label the squares of the grid as {1,2,,n}×{1,2,,n} \{1, 2, \cdots, n\} \times \{1, 2, \cdots, n\} .
- Partition the n×n n \times n grid as follows:
- The square (3,3)(3, 3) is its own 1×1 1 \times 1 .
- The remaining squares of the third row and column are paired, e.g., (3,1)(3, 1) and (3,2)(3, 2), (3,4)(3, 4) and (3,5)(3, 5), etc.
- The remaining squares are partitioned into 2×2 2 \times 2 squares.
- Define operates similarly as before.
- Each 2×2 2 \times 2 square must be operated on at least twice, and each 1×2 1 \times 2 pair at least once.
- Each inefficient move operates on at most two shapes, and each efficient move at most one.
- This implies:
x+2yn212.(3) x + 2y \ge \frac{n^2 - 1}{2}. \qquad (3)
- Adding inequalities (1) and (3):
x+2y+x+2yn22+n212 x + 2y + x + 2y \ge \left\lceil \frac{n^2}{2} \right\rceil + \frac{n^2 - 1}{2}
2x+4yn2 2x + 4y \ge n^2
x+2yn22 x + 2y \ge \frac{n^2}{2}
x+yn23 x + y \ge \frac{n^2}{3}

Thus, in both cases, we have shown that at least n23 \left\lfloor \frac{n^2}{3} \right\rfloor moves are needed to reach a configuration where no more moves are possible.

The final answer is n23 \boxed{ \left\lfloor \frac{n^2}{3} \right\rfloor }

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.