Maths Olympiad Prep

Library / /168 of 169

Combinatorics Difficulty 8.1 Shortlist Prove it United States

Let kk be a positive integer. Two players AA and BB play a game on an infinite grid of regular hexagons. Initially all the grid cells are empty. Then the players alternately take turns with AA moving first. In his move, AA may choose two adjacent hexagons in the grid which are empty and place a counter in both of them. In his move, BB may choose any counter on the board and remove it. If at any time there are kk consecutive grid cells in a line all of which contain a counter, AA wins. Find the minimum value of kk for which AA cannot win in a finite number of moves, or prove that no such minimum value exists.

Solution

The answer is k=6k = 6. First we show that AA cannot win for k6k \ge 6. Color the grid in three colors so that no two adjacent spaces have the same color, and arbitrarily pick one color CC. BB will play by always removing a counter from a space colored CC that AA just played. If there is no such counter, BB plays arbitrarily. Because AA cannot cover two spaces colored CC simultaneously, it is possible for BB to play in this fashion. Now note that any line of six consecutive squares contains two spaces colored CC. For AA to win he must cover both, but BB's strategy ensures at most one space colored CC will have a counter at any time.

Now we show that AA can obtain 5 counters in a row. Take a set of cells in the grid forming the shape shown below. We will have AA play counters only in this set of grid cells until this is no longer possible. Since BB only removes one counter for every two AA places, the number of counters in this set will increase each turn, so at some point it will be impossible for AA to play in this set anymore. At that point any two adjacent grid spaces in the set have at least one counter between them.

Figure 1

Consider only the top row of cells in the set, and take the lengths of each consecutive run of cells. If there are two adjacent runs that have a combined length of at least 4, then AA gets 5 counters in a row by filling the space in between. Otherwise, a bit of case analysis shows that there exists a run of 1 counter which is neither the first nor last run. This single counter has an empty space on either side of it on the first row. As a result, the four spaces of the second row touching these two empty spaces all must have counters. Then AA can play in the 5th cell on either side of these 4 to get 5 counters in a row. So in all cases AA can win with k5k \le 5.

Figure 1

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.