2013 USAJMO Problems/Problem 2
Problem
Each cell of an board is filled with some nonnegative integer. Two numbers in the filling are said to be adjacent if their cells share a common side. (Note that two numbers in cells that share only a corner are not adjacent). The filling is called a garden if it satisfies the following two conditions:
(i) The difference between any two adjacent numbers is either or .
(ii) If a number is less than or equal to all of its adjacent numbers, then it is equal to .
Determine the number of distinct gardens in terms of and .
Solution
We claim that any configuration of 's produces a distinct garden. To verify this claim, we show that, for any cell that is nonzero, the value of that cell is its distance away from the nearest zero, where distance means the shortest chain of adjacent cells connecting two cells. Now, since we know that any cell with a nonzero value must have a cell adjacent to it that is less than its value, there is a path that goes from this cell to the that is decreasing, which means that the value of the cell must be its distance from the as the path must end. From this, we realize that, for any configuration of 's, the value of each of the cells is simply its distance from the nearest , and therefore one garden is produced for every configuration of 's.
However, we also note that there must be at least one in the garden, as otherwise the smallest number in the garden, which is less than or equal to all of its neighbors, is , which violates condition . There are possible configurations of and not in the garden, one of which has no 's, so our total amount of configurations is