Maths Olympiad Prep

Library / /9 of 18

Combinatorics Difficulty 6.4 National olympiad Prove it Argentina

One of the numbers 11, 22, 33 is written in each cell of a rectangular table with 44 rows and nn columns. For every three different columns there is a row that intersects them at cells with different numbers. Find the maximum nn for which there exists such a table.

Solution

The maximum nn is 99. An example with n=9n = 9 is the table to the right.

Suppose that there is such a table TT with n10n \ge 10 columns. Let 33 be the least represented number in row 44. Then 11 and 22 combined occur at least 77 times in row 44. So we can select 77 columns whose intersections with row 44 are only 11s and 22s. Delete the remaining columns. The new table 4×74 \times 7 has the same property like the original one. Every three distinct columns in it intersect some row at three different numbers. Moreover such a row is 11, 22 or 33 because row 44 intersects the 77 columns only at cells with 11s and 22s. Hence deleting row 44 yields a 3×73 \times 7 table T1T_1 which is also admissible.

Apply the same reasoning to T1T_1. The two most represented numbers in row 33 occur at least 55 times in it, so we can reduce T1T_1 to an admissible table 3×53 \times 5 with no more than two different numbers in row 33. Hence every triple of columns in it is intersected at three different numbers by row 11 or by row 22. Thus row 33 can be deleted, leading to an admissible 2×52 \times 5 table T2T_2.

The two most represented numbers in row 22 of T2T_2 occur at least 44 times, so T2T_2 can be reduced to an admissible table 2×42 \times 4 with at most two different numbers in row 22. Then every three of its 44 columns must be intersected by row 11 at three different numbers. This is impossible since 11, 22 or 33 occurs twice in row 11. The desired contradiction follows.

111222333
123123123
231312123
312231123

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.