Browse · MathNet
PrintIMO2024 Shortlisted Problems
2024 counting and probability
Problem
On a board with rows and columns, Turbo the snail tries to move from the first row to the last row. On each attempt, he chooses to start on any cell in the first row, then moves one step at a time to an adjacent cell sharing a common side. He wins if he reaches any cell in the last row. However, there are predetermined, hidden monsters in of the cells, one in each row except the first and last rows, such that no two monsters share the same column. If Turbo unfortunately reaches a cell with a monster, his attempt ends and he is transported back to the first row to start a new attempt. The monsters do not move. Suppose Turbo is allowed to take attempts. Determine the minimum value of for which he has a strategy that guarantees reaching the last row, regardless of the locations of the monsters. (Hong Kong)
Comment. One of the main difficulties of solving this question is in determining the correct expression for . Students may spend a long time attempting to prove bounds for the wrong value for before finding better strategies. Students may incorrectly assume that Turbo is not allowed to backtrack to squares he has already visited within a single attempt. Fortunately, making this assumption does not change the answer to the problem, though it may make it slightly harder to find a winning strategy.


Comment. One of the main difficulties of solving this question is in determining the correct expression for . Students may spend a long time attempting to prove bounds for the wrong value for before finding better strategies. Students may incorrectly assume that Turbo is not allowed to backtrack to squares he has already visited within a single attempt. Fortunately, making this assumption does not change the answer to the problem, though it may make it slightly harder to find a winning strategy.
Solution
First we demonstrate that there is no winning strategy if Turbo has attempts. Suppose that is the first cell in the second row that Turbo reaches on his first attempt. There can be a monster in this cell, in which case Turbo must return to the first row immediately, and he cannot have reached any other cells past the first row.
Next, suppose that is the first cell in the third row that Turbo reaches on his second attempt. Turbo must have moved to this cell from , so we know . So it is possible that there is a monster on , in which case Turbo also fails on his second attempt. Therefore Turbo cannot guarantee to reach the last row in attempts.
Next, we exhibit a strategy for . On the first attempt, Turbo travels along the path This path meets every cell in the second row, so Turbo will find the monster in row and his attempt will end.
If the monster in the second row is not on the edge of the board (that is, it is in cell with ), then Turbo takes the following two paths in his second and third attempts: The only cells that may contain monsters in either of these paths are and . At most one of these can contain a monster, so at least one of the two paths will be successful.
Figure 1: Turbo's first attempt, and his second and third attempts in the case where the monster on the second row is not on the edge. The cross indicates the location of a monster, and the shaded cells are cells guaranteed to not contain a monster.
If the monster in the second row is on the edge of the board, without loss of generality we may assume it is in . Then, on the second attempt, Turbo takes the following path:
Figure 2: Turbo's second and third attempts in the case where the monster on the second row is on the edge. The light gray cells on the right diagram indicate cells that were visited on the previous attempt. Note that not all safe cells have been shaded.
If there are no monsters on this path, then Turbo wins. Otherwise, let be the first cell on which Turbo encounters a monster. We have that or . Then, on the third attempt, Turbo takes the following path: Now note that - The cells from to do not contain monsters because they were reached earlier than on the previous attempt. - The cells for do not contain monsters because there is only one monster in row , and it lies in or . - The cells for do not contain monsters because there is at most one monster in column , and it lies in . Therefore Turbo will win on the third attempt.
Next, suppose that is the first cell in the third row that Turbo reaches on his second attempt. Turbo must have moved to this cell from , so we know . So it is possible that there is a monster on , in which case Turbo also fails on his second attempt. Therefore Turbo cannot guarantee to reach the last row in attempts.
Next, we exhibit a strategy for . On the first attempt, Turbo travels along the path This path meets every cell in the second row, so Turbo will find the monster in row and his attempt will end.
If the monster in the second row is not on the edge of the board (that is, it is in cell with ), then Turbo takes the following two paths in his second and third attempts: The only cells that may contain monsters in either of these paths are and . At most one of these can contain a monster, so at least one of the two paths will be successful.
Figure 1: Turbo's first attempt, and his second and third attempts in the case where the monster on the second row is not on the edge. The cross indicates the location of a monster, and the shaded cells are cells guaranteed to not contain a monster.
If the monster in the second row is on the edge of the board, without loss of generality we may assume it is in . Then, on the second attempt, Turbo takes the following path:
Figure 2: Turbo's second and third attempts in the case where the monster on the second row is on the edge. The light gray cells on the right diagram indicate cells that were visited on the previous attempt. Note that not all safe cells have been shaded.
If there are no monsters on this path, then Turbo wins. Otherwise, let be the first cell on which Turbo encounters a monster. We have that or . Then, on the third attempt, Turbo takes the following path: Now note that - The cells from to do not contain monsters because they were reached earlier than on the previous attempt. - The cells for do not contain monsters because there is only one monster in row , and it lies in or . - The cells for do not contain monsters because there is at most one monster in column , and it lies in . Therefore Turbo will win on the third attempt.
Final answer
3
Techniques
Games / greedy algorithmsColoring schemes, extremal arguments