Browse · MathNet
Print75th NMO Selection Tests
Romania counting and probability
Problem
Turbo the snail is in the lower left cell of an array, , and aims to reach the upper right cell by moving one cell rightwards or one cell upwards. Some cells contain monsters, visible to Turbo, and they must be avoided. Assume there is a unique way for Turbo to achieve his goal. In terms of , determine the smallest possible number of monsters such an array may contain. (The minimum is over all configurations satisfying the unique path condition.)
Solution
Let denote the cell on the -th row and the -th column, where is the lower left cell. The required minimum is and is achieved by placing the monsters in the cells , to force Turbo move rightwards from to and thence upwards to .
To prove that the array must contain at least monsters, induct on . The base case, , is trivial.
For the inductive step, let . If necessary, switch rows and columns to assume that Turbo first moves upwards to . Note that Turbo enters either from or from .
Case 1. Turbo visits . Consider the subarray . As it inherits uniqueness of a safe path for Turbo, it contains at least monsters, by the induction hypothesis. Furthermore, the path from to lying outside the subarray must contain at least one monster, for otherwise it would have offered an alternative to Turbo, contradicting uniqueness. Consequently, the array contains at least monsters, as desired. This establishes Case 1.
Case 2. Turbo visits . Note that and are separated by the diagonal joining the lower left cell to the upper right cell, so Turbo's safe path must cross this diagonal at some (unique) cell , where .
Consider the subarrays and . They both inherit uniqueness of a safe path for Turbo, so the former contains at least monsters and the latter at least , accounting for at least monsters in the array, as desired. This establishes Case 2 and completes the solution.
To prove that the array must contain at least monsters, induct on . The base case, , is trivial.
For the inductive step, let . If necessary, switch rows and columns to assume that Turbo first moves upwards to . Note that Turbo enters either from or from .
Case 1. Turbo visits . Consider the subarray . As it inherits uniqueness of a safe path for Turbo, it contains at least monsters, by the induction hypothesis. Furthermore, the path from to lying outside the subarray must contain at least one monster, for otherwise it would have offered an alternative to Turbo, contradicting uniqueness. Consequently, the array contains at least monsters, as desired. This establishes Case 1.
Case 2. Turbo visits . Note that and are separated by the diagonal joining the lower left cell to the upper right cell, so Turbo's safe path must cross this diagonal at some (unique) cell , where .
Consider the subarrays and . They both inherit uniqueness of a safe path for Turbo, so the former contains at least monsters and the latter at least , accounting for at least monsters in the array, as desired. This establishes Case 2 and completes the solution.
Final answer
n-1
Techniques
Induction / smoothingColoring schemes, extremal arguments