Maths Olympiad Prep

Library / /112 of 740

, 2024

Combinatorics Difficulty 4.7 AIME Find the answer United States

Problem:
A grid is called groovy if each cell of the grid is labeled with the smallest positive integer that does not appear below it in the same column or to the left of it in the same row. Compute the sum of the entries of a groovy 14×1414 \times 14 grid whose bottom left entry is 11.

A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.

Solution

Solution:
The following diagram is the entire 16×1616 \times 16 groovy grid computed out. However, one will not need to write out every single entry to obtain the answer.

16151413121110987654321
15161314111291078563412
14131615109121165872143
13141516910111256781234
12111091615141343218765
11129101516131434127856
10912111413161521436587
91011121314151612345678
87654321161514131211109
78563412151613141112910
65872143141316151091211
56781234131415169101112
43218765121110916151413
34127856111291015161314
21436587109121114131615
12345678910111213141516

We prove the following key claim.

Claim 1. In the 2n×2n2^{n} \times 2^{n} groovy grid, each row and column is a permutation of the numbers from 11 to 2n2^{n}.

Proof. We use induction on nn. The base case n=0n=0 is clear. Now, assume that we know this for a 2n×2n2^{n} \times 2^{n} groovy grid, and we will prove it for a 2n+1×2n+12^{n+1} \times 2^{n+1} grid. To that end, we divide the 2n+1×2n+12^{n+1} \times 2^{n+1} grid into four subgrids of size 2n×2n2^{n} \times 2^{n}.

Figure 1

The subgrid labeled AA is the groovy grid of size 2n×2n2^{n} \times 2^{n}, so by induction, each row and column is a permutation of {1,,2n}\{1, \ldots, 2^{n}\}. Thus, the bottom left corner of the subgrid labeled BB is 2n+12^{n}+1, and so the subgrid labeled BB is the groovy grid where each entry is added by 2n2^{n}. Hence, by induction hypothesis, each row and column of the subgrid labeled BB is a permutation of {2n+1,2n+2,,2n+2n}\{2^{n}+1,2^{n}+2, \ldots, 2^{n}+2^{n}\}. The same argument applies for the subgrid labeled CC.

Finally, the subgrid labeled DD has enough numbers from 1,2,,2n1,2, \ldots, 2^{n} and does not need any number greater than 2n2^{n}. The bottom left corner is 11. Hence, it must be a groovy grid. Thus, the induction hypothesis applies, and each row and column of the subgrid labeled DD is a permutation of {1,2,,2n}\{1,2, \ldots, 2^{n}\}. By considering all subgrids together, we find that each row and column of the entire grid is a permutation of {1,2,,2n+1}\{1,2, \ldots, 2^{n+1}\}.

In particular, we have that every row and column of the 16×1616 \times 16 grid is a permutation of {1,2,,16}\{1,2, \ldots, 16\}. To compute the sum of entries of the 14×1414 \times 14 grid, we can take out 22 rows and 22 columns and add back the top right 2×22 \times 2 which we know entries 1,2,2,11,2,2,1 by following the proof of the claim. This gives the final answer of
1616172216172216172+(1+2+2+1)=1638. 16 \cdot \frac{16 \cdot 17}{2}-2 \cdot \frac{16 \cdot 17}{2}-2 \cdot \frac{16 \cdot 17}{2}+(1+2+2+1)=1638.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.