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.
, 2021
Solution
Answer: Yes, there exists a colouring that yields a winning strategy for the hunter.
A central idea is that several colourings can be merged together into a single product colouring as follows: the colours in the product colouring are ordered tuples of colours, where is a colour used in , so that each cell gets a tuple consisting of its colours in the individual colourings . 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 and allow the tracking of the horizontal and vertical movements of the rabbit.
The colouring colours the cells according to the residue of their -coordinates modulo , which allows to determine whether the rabbit moves left, moves right, or moves vertically. Similarly, the colouring uses the residues of the -coordinates modulo , which allows to determine whether the rabbit moves up, moves down, or moves horizontally.
- Under the condition that the rabbit's -coordinate is unbounded, colouring allows to determine the exact value of the -coordinate:
In , the columns are coloured white and black so that the gaps between neighboring black columns are pairwise distinct. As the rabbit's -coordinate is unbounded, it will eventually visit two black cells in distinct columns. With the help of colouring the hunter can catch that moment, and determine the difference of -coordinates of those two black cells, hence deducing the precise column.
Symmetrically, under the condition that the rabbit's -coordinate is unbounded, there is a colouring that allows the hunter to determine the exact value of the -coordinate.
- Finally, under the condition that the sum of the rabbit's coordinates is unbounded, colouring allows to determine the exact value of this sum: The diagonal lines 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 and 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 and and computes the starting cell of the rabbit.