Maths Olympiad Prep

Library / /41 of 56

Combinatorics Difficulty 6.0 National Olympiad Prove it Singapore

Let nn be a positive integer. Find the smallest positive integer kk with the property that for any colouring of the squares of a 2n×k2n \times k chessboard with nn colours, there are 2 columns and 2 rows such that the 4 squares in their intersections have the same colour.

Solution

The answer is 2n2n+12n^2 - n + 1.

Consider an nn-colouring of the 2n×k2n \times k chessboard. A vertical-pair is a pair of squares in the same column that are coloured the same. In every column there are at least nn vertical-pairs. Let PP be the total number of vertical-pairs and PiP_i be the number of vertical-pairs with colour ii. Then P=P1++PnnkP = P_1 + \dots + P_n \ge nk. Thus there is colour ii with PikP_i \ge k. There are (2n2)=2n2n\binom{2n}{2} = 2n^2 - n pairs of rows. Thus if k2n2n+1k \ge 2n^2 - n + 1, there is a pair of rows that contains two vertical-pairs with colour ii.

Next for k=2n2nk = 2n^2 - n, exhibit an nn-colouring where no such sets of 4 squares exists. Note that it suffices to find such an nn-colouring for the 2n×(2n1)2n \times (2n-1) board. We can then rotate the colours to obtain nn of these boards which can then be put together to obtain the requiring nn-colouring of the 2n×(2n2n)2n \times (2n^2 - n) board. For each i=1,2,,2n1i = 1, 2, \dots, 2n-1, let Ai={(i,2n1+i),(i+1,2n2+i),,(n1+i,n+i)}A_i = \{(i, 2n-1+i), (i+1, 2n-2+i), \dots, (n-1+i, n+i)\}, where 2n+k,k>02n+k, k > 0, is taken to be kk. Note that the pairs in each AiA_i give a partition of {1,2,,2n}\{1, 2, \dots, 2n\}. Moreover, each pair of elements appears in exactly one AiA_i. Now colour the squares of column ii using nn colours so that the two squares in each pair of AiA_i receive the same colour and the colours the 2n2n pairs are mutually distinct. This gives an nn-colouring of the 2n×2n12n \times 2n - 1 board with the required property and we are done.

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.