Maths Olympiad Prep

Library / /14 of 14

Combinatorics Difficulty 7.2 National olympiad, round 2 Prove it Singapore

Colour a 20000×2000020000 \times 20000 square grid using 20002000 different colours with 11 colour in each square. Two squares are neighbours if they share a vertex. A path is a sequence of squares so that 22 successive squares are neighbours. Mark kk of the squares. For each unmarked square xx, there is exactly 11 marked square yy of the same colour so that xx and yy are connected by a path of squares of the same colour. For any 22 marked squares of the same colour, any path connecting them must pass through squares of all the colours. Find the maximum value of kk.

Solution

The maximum value is k=20000k = 20000. Define a region as a maximal set of same-colour squares such that there is a path of the same colour between any 22 squares in the region. From the first condition, there is exactly one marked square in a region and so there are kk regions. Two regions are neighbours if they have a vertex in common.

Now suppose that k>20000k > 20000. Form a graph whose vertices are the regions and whose edges join neighbouring regions. Since there are only 20002000 colours, there are 22 regions P,QP, Q with the same colour. Thus there is a path P=A0,A1,,Ai=QP = A_0, A_1, \dots, A_i = Q, with i2000i \ge 2000 by the second condition. Consider the longest path in the graph: B0,B1,,BjB_0, B_1, \dots, B_j. Then ji2000j \ge i \ge 2000. Suppose there is a vertex CC not in the path but is adjacent to a vertex BkB_k in the path. Then k0,jk \ne 0, j, else there is a longer path. Consider the 20012001 vertices C,Bp,Bp+1,,Bp+1999C, B_p, B_{p+1}, \dots, B_{p+1999} where p<k<p+1999jp < k < p+1999 \le j. Two of them have the same colour but their distance apart is <2000< 2000, contradicting the second condition. So B0,B1,,BjB_0, B_1, \dots, B_j are all the regions and j=k1j = k-1. Thus to move from a square in BmB_m to a square in Bm+xB_{m+x}, where the index is taken mod kk, at least xx moves or kxk-x moves (if m+x>km+x > k) are needed. (Here a move is moving from a square to a neighbouring square.) Also 22 neighbouring squares belong to the same region or 22 adjacent regions.

Let XX be the 2×22 \times 2 square in the centre of the grid. Since the 44 squares in XX are mutually adjacent, XBmBm+1X \subseteq B_m \cup B_{m+1} for some mm. Take YBm+(k+1)/2Y \in B_{m+\lfloor(k+1)/2\rfloor}. Suppose the square in XX that is nearest to YY can move to YY in a minimum number of ss moves. Then, since that square can be in BmB_m or Bm+1B_{m+1}, 9999m(k1)/29999 \ge m \ge \lfloor(k-1)/2\rfloor or 20000k20000 \ge k.

There is a colouring that gives 2000020000 regions. Colour all the squares in row ii with colour jj if ij(mod2000)i \equiv j \pmod{2000}.

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.