Browse · MathNet
PrintArgentine National Olympiad 2016
Argentina 2016 counting and probability
Problem
One of the numbers , , ..., is written in each cell of a table for a certain ; all of these numbers are used. If a row contains two cells and with equal numbers and is to the left of then there are no numbers in the column of that are above . Determine the minimal for which such a table exists.

Solution
The minimal in question is . First we show that each number occurs in the table at most times. Let a row contain at least two 's. Underline all of them except the rightmost one. The remaining numbers in the table are not underlined. By hypothesis does not occur above an underlined number. It follows that the underlined numbers are in different columns, hence there are at most of them. In addition, by construction each row without underlined 's contains at most one , so there are also at most numbers that are not underlined. In summary the table has at most numbers , as stated.
Since each occurs in the table times, the equality yields , meaning that .
For an example with consider the diagonals parallel to the main diagonal containing the bottom left and the top right cell. Label them consecutively , , ..., so that the top left cell is diagonal and the bottom right cell is diagonal . For each write in all cells of diagonals and ; for each write in all cells of diagonals and ; finally write in the only cell of diagonal . In every row and column there are at most two numbers equal to a given ; and if there are two of them then they are adjacent. It follows that the table satisfies the given conditions.
Since each occurs in the table times, the equality yields , meaning that .
For an example with consider the diagonals parallel to the main diagonal containing the bottom left and the top right cell. Label them consecutively , , ..., so that the top left cell is diagonal and the bottom right cell is diagonal . For each write in all cells of diagonals and ; for each write in all cells of diagonals and ; finally write in the only cell of diagonal . In every row and column there are at most two numbers equal to a given ; and if there are two of them then they are adjacent. It follows that the table satisfies the given conditions.
Final answer
9
Techniques
Counting two waysPigeonhole principleColoring schemes, extremal arguments