Maths Olympiad Prep

Library / /13 of 24

, 2016

Combinatorics Difficulty 6.5 National olympiad Prove it Argentina

One of the numbers 11, 22, ..., nn is written in each cell of a 17×1717 \times 17 table for a certain nNn \in \mathbb{N}; all of these numbers are used. If a row contains two cells C1C_1 and C2C_2 with equal numbers kk and C1C_1 is to the left of C2C_2 then there are no numbers kk in the column of C1C_1 that are above C1C_1. Determine the minimal nn for which such a table exists.

Solution

The minimal nn in question is n=9n=9.
First we show that each number k{1,2,...,n}k \in \{1, 2, ..., n\} occurs in the table at most 3434 times. Let a row contain at least two kk's. Underline all of them except the rightmost one. The remaining numbers in the table are not underlined. By hypothesis kk does not occur above an underlined number. It follows that the underlined numbers are in different columns, hence there are at most 1717 of them. In addition, by construction each row without underlined kk's contains at most one kk, so there are also at most 1717 numbers kk that are not underlined. In summary the table has at most 17+17=3417+17=34 numbers kk, as stated.

Since each k{1,2,...,n}k \in \{1, 2, ..., n\} occurs in the table xk34x_k \le 34 times, the equality x1++xn=172x_1 + \ldots + x_n = 17^2 yields n17234n \ge \frac{17^2}{34}, meaning that n9n \ge 9.

For an example with n=9n=9 consider the diagonals parallel to the main diagonal containing the bottom left and the top right cell. Label them consecutively 11, 22, ..., 3333 so that the top left cell is diagonal 11 and the bottom right cell is diagonal 3333. For each k=1,2,...,9k=1, 2, ..., 9 write kk in all cells of diagonals 2k12k-1 and 2k2k; for each k=1,2,...,7k=1, 2, ..., 7 write kk in all cells of diagonals 2k+12k+1 and 2k+182k+18; finally write 88 in the only cell of diagonal 3333. In every row and column there are at most two numbers equal to a given k{1,2,...,9}k \in \{1, 2, ..., 9\}; and if there are two of them then they are adjacent. It follows that the table satisfies the given conditions.

Figure 1

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 and solution reproduced as published; topic and difficulty added by this site.