MathDB
The frog must be blocked

Source: 2021 ISL C7

July 12, 2022
combinatoricsISL 2021frogboard

Problem Statement

Consider a checkered 3m×3m3m\times 3m square, where mm is an integer greater than 1.1. A frog sits on the lower left corner cell SS and wants to get to the upper right corner cell F.F. The frog can hop from any cell to either the next cell to the right or the next cell upwards.
Some cells can be sticky, and the frog gets trapped once it hops on such a cell. A set XX of cells is called blocking if the frog cannot reach FF from SS when all the cells of XX are sticky. A blocking set is minimal if it does not contain a smaller blocking set.[*]Prove that there exists a minimal blocking set containing at least 3m23m3m^2-3m cells. [*]Prove that every minimal blocking set containing at most 3m23m^2 cells.