Maths Olympiad Prep

Library / Mediterranean Mathematical Competition /16 of 16

Mediterranean Mathematical Competition

Combinatorics Difficulty 7.6 National Olympiad, round 2 Prove it Spain

Consider a 25×2525 \times 25 chessboard with cells C(i,j)C(i, j) for 1≤i,j≤251 \le i, j \le 25. Find the smallest possible number nn of colors with which these cells can be colored subject to the following condition: For 1≤i<j≤251 \le i < j \le 25 and for 1≤s<t≤251 \le s < t \le 25, the three cells C(i,s)C(i, s), C(j,s)C(j, s), C(j,t)C(j, t) carry at least two different colors.

Solution

The forbidden configuration is given by
Figure 1

For a 3×33 \times 3 chessboard, the minimum number is given by 2. Indeed:
Figure 2

If we deal with a 5×55 \times 5 chessboard, it is sufficient to consider 3 colours:
Figure 3

It seems that mn=n−12m_n = \frac{n-1}{2} colours is sufficient for an n×nn \times n chessboard for any odd nn. So we will prove that 13 colours are sufficient for the 25×2525 \times 25 chessboard. We consider the colours {1,2,3,…,11,12,0}\{1, 2, 3, \dots, 11, 12, 0\} and the chessboard coloured as:

Figure 4

which satisfies the condition at first sight. In fact, it is easy that C[i,j]=⌊i+j2⌋(mod13)C[i, j] = \lfloor \frac{i+j}{2} \rfloor \pmod{13} for any 1≤i,j≤251 \le i, j \le 25. So if the condition fails, then C[i,s]=C[j,s]=C[j,t]C[i, s] = C[j, s] = C[j, t] for some 1≤i<j≤251 \le i < j \le 25 and 1≤s<t≤251 \le s < t \le 25, which implies that
⌊i+s2⌋(mod13)=⌊j+s2⌋(mod13)=⌊j+t2⌋(mod13). \left\lfloor \frac{i+s}{2} \right\rfloor \pmod{13} = \left\lfloor \frac{j+s}{2} \right\rfloor \pmod{13} = \left\lfloor \frac{j+t}{2} \right\rfloor \pmod{13}.
From C[i,s]=C[j,s]C[i, s] = C[j, s] it is clear that ⌊j+s2⌋=⌊i+s2⌋\left\lfloor \frac{j+s}{2} \right\rfloor = \left\lfloor \frac{i+s}{2} \right\rfloor since 0≤⌊j+s2⌋−⌊i+s2⌋<j+s2−(i+s2−1)=j−i2+1≤242+1=130 \le \left\lfloor \frac{j+s}{2} \right\rfloor - \left\lfloor \frac{i+s}{2} \right\rfloor < \frac{j+s}{2} - \left(\frac{i+s}{2} - 1\right) = \frac{j-i}{2} + 1 \le \frac{24}{2} + 1 = 13, so ⌊i+s2⌋−⌊j+s2⌋≤12\left\lfloor \frac{i+s}{2} \right\rfloor - \left\lfloor \frac{j+s}{2} \right\rfloor \le 12 and the remainders must coincide. Analogously, from C[j,s]=C[j,t]C[j, s] = C[j, t] we have that [j+s2]=[j+t2][\frac{j+s}{2}] = [\frac{j+t}{2}], so we conclude that [i+s2]=[i+t2][\frac{i+s}{2}] = [\frac{i+t}{2}], which is impossible since
[i+s2]≤i+s2≤j+t2−1<[j+t2]. \left[ \frac{i+s}{2} \right] \le \frac{i+s}{2} \le \frac{j+t}{2} - 1 < \left[ \frac{j+t}{2} \right].

Now we prove that 13 colours are necessary. Fix a 25×2525 \times 25 chessboard with a configuration satisfying the condition. We fix any colour, for instance colour number 2. We will call 2-cells that ones which are coloured with colour number 2. The total number of 2-cells will be denoted by c2c_2. We delete all the colours and only remain 2-cells. From any 2-cell, we draw horizontal arrows from left to right and vertical arrows from down to up joining consecutive 2-cells. These arrows will be called 2-arrows.
Figure 5

Any 2-cell cannot have two or more out-going 2-arrows since otherwise the forbidden configuration would occur:
Figure 6

Therefore, the total number of 2-arrows a2a_2 satisfies c2≥a2c_2 \ge a_2. It is clear that in any row, if there are kk 2-cells, then there are k−1k-1 2-arrows in that row, so the total number of horizontal 2-arrows equals to c2−25c_2 - 25 because there are 25 rows. Analogously, looking at the columns, the total number of vertical 2-arrows also equals to c2−25c_2 - 25. So the total number of 2-arrows is a2=2(c2−25)a_2 = 2(c_2 - 25) and we obtain c2≥a2≥2c2−50c_2 \ge a_2 \ge 2c_2 - 50, so c2≤50c_2 \le 50. Since there are 25×25=62525 \times 25 = 625 cells and 625/50>12625/50 > 12, we need at least 13 colours to get the configuration.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.