Maths Olympiad Prep

Library / /375 of 383

, 2021

Combinatorics Difficulty 9.2 IMO level Prove it IMO

A hunter and an invisible rabbit play a game on an infinite square grid. First the hunter fixes a colouring of the cells with finitely many colours. The rabbit then secretly chooses a cell to start in. Every minute, the rabbit reports the colour of its current cell to the hunter, and then secretly moves to an adjacent cell that it has not visited before (two cells are adjacent if they share a side). The hunter wins if after some finite time either
- the rabbit cannot move; or
- the hunter can determine the cell in which the rabbit started.
Decide whether there exists a winning strategy for the hunter.

Solution

Answer: Yes, there exists a colouring that yields a winning strategy for the hunter.

A central idea is that several colourings C1,C2,,CkC_{1}, C_{2}, \ldots, C_{k} can be merged together into a single product colouring C1×C2××CkC_{1} \times C_{2} \times \cdots \times C_{k} as follows: the colours in the product colouring are ordered tuples (c1,,cn)(c_{1}, \ldots, c_{n}) of colours, where cic_{i} is a colour used in CiC_{i}, so that each cell gets a tuple consisting of its colours in the individual colourings CiC_{i}. This way, any information which can be determined from one of the individual colourings can also be determined from the product colouring.

Now let the hunter merge the following colourings:
- The first two colourings C1C_{1} and C2C_{2} allow the tracking of the horizontal and vertical movements of the rabbit.
The colouring C1C_{1} colours the cells according to the residue of their xx-coordinates modulo 33, which allows to determine whether the rabbit moves left, moves right, or moves vertically. Similarly, the colouring C2C_{2} uses the residues of the yy-coordinates modulo 33, which allows to determine whether the rabbit moves up, moves down, or moves horizontally.
- Under the condition that the rabbit's xx-coordinate is unbounded, colouring C3C_{3} allows to determine the exact value of the xx-coordinate:
In C3C_{3}, the columns are coloured white and black so that the gaps between neighboring black columns are pairwise distinct. As the rabbit's xx-coordinate is unbounded, it will eventually visit two black cells in distinct columns. With the help of colouring C1C_{1} the hunter can catch that moment, and determine the difference of xx-coordinates of those two black cells, hence deducing the precise column.
Symmetrically, under the condition that the rabbit's yy-coordinate is unbounded, there is a colouring C4C_{4} that allows the hunter to determine the exact value of the yy-coordinate.
- Finally, under the condition that the sum x+yx+y of the rabbit's coordinates is unbounded, colouring C5C_{5} allows to determine the exact value of this sum: The diagonal lines x+y=constx+y=\text{const} are coloured black and white, so that the gaps between neighboring black diagonals are pairwise distinct.
Unless the rabbit gets stuck, at least two of the three values x,yx, y and x+yx+y must be unbounded as the rabbit keeps moving. Hence the hunter can eventually determine two of these three values; thus he does know all three. Finally the hunter works backwards with help of the colourings C1C_{1} and C2C_{2} and computes the starting cell of the rabbit.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.