Maths Olympiad Prep

Library / /16 of 21

Combinatorics Difficulty 6.9 National olympiad Prove it Czech-Polish-Slovak Mathematical Match

Each of the 4n24n^2 unit squares of a 2n×2n2n \times 2n board (n1n \ge 1) has been colored blue or red. A set of four different unit squares of the board is called *pretty* if these squares can be labeled A,B,C,DA, B, C, D in such a way that AA and BB lie in the same row, CC and DD lie in the same row, AA and CC lie in the same column, BB and DD lie in the same column, AA and DD are blue, and BB and CC are red. Determine the largest possible number of different pretty sets on such a board.

(Poland)

Solution

Let us index the unit squares of the board by pairs of integers (a,b)(a, b) with 1a,b2n1 \le a, b \le 2n. We prove that the largest possible number of pretty sets is n4n^4.

For the upper bound, consider coloring all the unit squares (a,b)(a, b) with a,bna, b \le n or a,bn+1a, b \ge n+1 blue, and all the other unit squares red. It is straightforward to verify that this coloring yields n4n^4 pretty sets. Thus we are left with proving that no coloring yields more pretty sets.

Call an unordered pair of distinct unit squares {A,B}\{A, B\} *mixed* if AA and BB are in the same row and AA and BB have different colors. Clearly, if a row contains aa blue squares and bb red squares (a+b=2na + b = 2n), then it contains abn2ab \le n^2 mixed pairs. Therefore, there are at most 2n32n^3 mixed pairs in total.

Let every mixed pair {A,B}\{A, B\} *charge* the unordered pair {i,j}\{i, j\} of distinct columns such that AA is in column ii and BB is in column jj. Denote by charge(i,j)\text{charge}(i, j) the number of times the pair of columns {i,j}\{i, j\} is charged.

Obviously, every pair of columns is charged at most 2n2n times, i.e., charge(i,j)2n\text{charge}(i, j) \le 2n. Moreover, since there are at most 2n32n^3 mixed pairs in total, we have {i,j}charge(i,j)2n3\sum_{\{i,j\}} \text{charge}(i, j) \le 2n^3 where the summation is over pairs of distinct columns {i,j}\{i, j\}.

Observe that if a pair of distinct columns {i,j}\{i, j\} is charged k=charge(i,j)k = \text{charge}(i, j) times, then there are at most k24\frac{k^2}{4} pretty sets with squares contained in these columns. This is because for some a,ba, b with a+b=ka + b = k there are aa red-blue and bb blue-red mixed pairs within these columns, yielding abk24ab \le \frac{k^2}{4} pretty sets. Therefore, the total number of pretty sets is at most
14{i,j}charge(i,j)2n2{i,j}charge(i,j)n4, \frac{1}{4} \sum_{\{i,j\}} \text{charge}(i,j)^2 \le \frac{n}{2} \cdot \sum_{\{i,j\}} \text{charge}(i,j) \le n^4,
where again the summation is over unordered pairs of distinct columns. This concludes the proof. \square

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.