Maths Olympiad Prep

Library / Turkey — Team Selection Test /63 of 66

Turkey — Team Selection Test

Combinatorics Difficulty 8.8 Shortlist Prove it Turkey

Alice and Bob play a game on a 1×m1 \times m board using 20122012 cards numbered from 11 through 20122012. At each step, Alice chooses a card and Bob places it on an empty square of the board. Bob wins the game when numbers on the cards on the board are in an increasing order after kk steps where 1≤k≤20121 \leq k \leq 2012, otherwise Alice wins. Find all pairs (k,m)(k, m) for which Bob can guarantee to win the game.

Solution

Bob wins for all pairs of (k,m≥2k−1)(k, m \ge 2^k - 1) if k=1,2,…,10k = 1, 2, \dots, 10 and for all pairs (k,m≥2012)(k, m \ge 2012) if 2012≥k≥112012 \ge k \ge 11.

Let us show that Bob wins in all cases listed above. If k=1k = 1 then 2k−1=12^k - 1 = 1 and the result is trivial. Suppose that Bob wins for k−1≤9k - 1 \le 9 when m≥2k−1−1m \ge 2^{k-1} - 1. Bob places the first card on a square numbered 2k−12^k - 1. The square 2k−12^k - 1 divides the whole board into two parts. Let LL be the number on the first card chosen by Alice. After the first move all cards numbered less than LL will be placed to the left part and all cards numbered greater than LL will be placed to the right part. Note that both parts having sizes not less than 2k−1−12^{k-1} - 1 and by assumption Bob has a winning strategy for remaining k−1k - 1 moves and we are done.

If k≥11k \ge 11 and m≥2012m \ge 2012, then Bob just places the card numbered LL to the square numbered LL.

Now we show that Alice wins in all remaining cases. Alice's strategy: Let us line the cards in increasing order. Suppose Alice's ii-th move is a card numbered LL. Bob places the card numbered LL into some square. After Bob's i−1i - 1-th move, the set of all vacant squares of the board 1×m1 \times m is naturally decomposed into connected components. The card LL divides the connected component II into two parts, say IleftI_{left} and IrightI_{right}. Alice chooses the part I′I' not exceeding the other one in length. The set of remaining cards is also naturally decomposed into connected components. If the part I′I' is IleftI_{left} then Alice will choose a card from connected component of remaining cards ending at L−1L - 1 for the next step, if the part I′I' is IrightI_{right} then Alice will choose a card from the connected component of remaining cards starting at L+1L + 1 for the next step. In her i+1i + 1-th move, if she needs to choose a card from component [N,M][N, M] she chooses a card numbered [(N+M)/2][(N + M)/2]. It can be readily seen that Alice wins in all remaining cases if she starts with a card numbered 10061006.

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.