Maths Olympiad Prep

Library / /99 of 105

Combinatorics Difficulty 7.2 National Olympiad, round 2 Prove it JBMO

Problem:

The cells of a 8×88 \times 8 table are initially white. Alice and Bob play a game. First Alice paints nn of the fields in red. Then Bob chooses 4 rows and 4 columns from the table and paints all fields in them in black. Alice wins if there is at least one red field left. Find the least value of nn such that Alice can win the game no matter how Bob plays.

Solution

Solution:

We will show that the least value of nn is n=13n=13.
If n12n \leq 12, Bob wins by painting black the 4 rows containing the highest numbers of red cells. Indeed, if at least 5 red cells remain, then one of the rows not blackened contains at least 2 red cells. Thus, each one of the rows blackened contained at least 2 red cells, and then all blackened cells were at least 8. However, in this case, at most 4 would be not blackened, a contradiction. It follows that at most 4 red cells remain which can be easily blackened by Bob choosing the 4 columns that they are in.

Now let n=13n=13. Enumerate the rows and the columns from 1 to 8 and each field will be referred to by the pair (row,column) it is in. Let Alice paint in red the fields
(1,1),(1,2),(2,1),(2,3),(3,2),(3,4),(4,3),(4,5),(5,4),(5,5),(6,6),(7,7),(8,8) (1,1),(1,2),(2,1),(2,3),(3,2),(3,4),(4,3),(4,5),(5,4),(5,5),(6,6),(7,7),(8,8)
as in the following figure.
Figure 1

Suppose that Bob has managed to paint all red fields in black. The cells (6,6),(7,7),(8,8)(6,6),(7,7),(8,8) are painted black by three different lines (rows or columns) containing no other red felds, so the remaining 10 red fields have to be painted black by the remaining 5 lines. As no line contains more than 2 red fields, each red field has to be contained in exactly one of these lines. Assume that (1,1)(1,1) is painted black by a row, that is, row 1 is painted black. Let kk be the least positive integer such that row kk has not been painted black, where 2k52 \leq k \leq 5. Then field (k,k1)(k, k-1) should be painted black by column k1k-1. However, in this column there is another red field (j,k1)(j, k-1) contained in the painted row with number j<kj<k, which is a contradiction. Similar reasoning works if (1,1)(1,1) is painted black by a column.

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.