Problem

Source: 2024 Brazil Olympic Revenge Problem 5

Tags: combinatorics, game



Régis, Ed and Rafael are at the IMO. They are going to play a game in Bath, and there are $2^n$ houses in the city. Régis and Ed will team up against Rafael. The game operates as follows: First, Régis and Ed think on a strategy and then let Rafael know it. After this, Régis and Ed no longer communicate, and the game begins. Rafael decides on an order to visit the houses and then starts taking Régis to them in that order. At each house, except for the last one, Régis choose a number between $1$ and $n$ and places it in the house. In the last house, Rafael chooses a number from $1$ to $n$ and places it there. Afterwards, Ed sees all the houses and the numbers in them, and he must guess in which house Rafael placed the number. Ed is allowed $k$ guesses. What is the smallest $k$ for which there exists a strategy for Ed and Régis to ensure that Ed correctly guess the house where Rafael placed the number?