INMO 2021 Problem 4
A Magician and a Detective play a game. The Magician lays down cards numbered from to face-down on a table. On each move, the Detective can point to two cards and inquire if the numbers on them are consecutive. The Magician replies truthfully. After a finite number of moves, the Detective points to two cards. She wins if the numbers on these two cards are consecutive, and loses otherwise.
Prove that the Detective can guarantee a win if and only if she is allowed to ask at least questions.
Proposed by Anant Mudgal
Dataset text AI-MO AoPS. Quoted with source.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.
Similar problems
These problems have the most words in common with this statement.