Maths Olympiad Prep

Library / /10 of 15

Combinatorics Difficulty 6.6 National Olympiad Prove it Zhautykov Olympiad

Problem:

The Crocodile thought of four unit squares of a 2018×20182018 \times 2018 forming a rectangle with sides 11 and 44. The Bear can choose any square formed by 99 unit squares and ask whether it contains at least one of the four Crocodile's squares. What minimum number of questions should he ask to be sure of at least one affirmative answer?

Solution

Solution:

We call checked any square chosen by the Bear, and all its unit squares. The position of a unit square in the table can be defined by the numbers of its row and column, that is, the square (x,y)(x, y) is in the xx-th row and yy-th column.

First we prove that 673212\frac{673^{2}-1}{2} questions is enough even on a 2019×20192019 \times 2019 table. Let us divide this table into 3×33 \times 3 squares and apply chess colouring to these large squares so that the corners are white. Then it is enough to check all the black 3×33 \times 3 squares: no row or column contains four consecutive white squares.

To prove that we need so many questions, we select all the unit squares with coordinates (3m+1,3n+1)(3m+1, 3n+1), where 0m,n6720 \leqslant m, n \leqslant 672. A 3×33 \times 3 square obviously can not contain two selected unit squares. On the other hand, if two selected squares lie at distance 33 (i.e., one of them is (x,y)(x, y), and another is (x,y+3)(x, y+3) or (x+3,y)(x+3, y)), the Bear must check at least one of these two squares (because if neither is checked, then so are the two unit squares between them, and the Crocodile can place his rectangle on the unchecked squares).

Thus it is enough to produce 673212\frac{673^{2}-1}{2} pairs of selected unit squares at distance 33. One can take pairs (6k+1,3n+1)(6k+1, 3n+1), (6k+4,3n+1)(6k+4, 3n+1), 0k3350 \leqslant k \leqslant 335, 0n6720 \leqslant n \leqslant 672, and (2017,6n+1)(2017, 6n+1), (2017,6n+4)(2017, 6n+4), 0n3350 \leqslant n \leqslant 335.

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.