Maths Olympiad Prep

Library / Harvard-MIT Mathematics Tournament /339 of 352

Harvard-MIT Mathematics Tournament

Combinatorics Difficulty 5.9 AIME, harder Prove it United States

Problem:

Let nn be a positive integer, and let Pushover be a game played by two players, standing squarely facing each other, pushing each other, where the first person to lose balance loses. At the HMPT, 2n+12^{n+1} competitors, numbered 1 through 2n+12^{n+1} clockwise, stand in a circle. They are equals in Pushover: whenever two of them face off, each has a 50%50\% probability of victory. The tournament unfolds in n+1n+1 rounds. In each round, the referee randomly chooses one of the surviving players, and the players pair off going clockwise, starting from the chosen one. Each pair faces off in Pushover, and the losers leave the circle. What is the probability that players 1 and 2n2^{n} face each other in the last round? Express your answer in terms of nn.

Solution

Solution:

At any point during this competition, we shall say that the situation is living if both players 1 and 2n2^{n} are still in the running. A living situation is far if those two players are diametrically opposite each other, and near otherwise, in which case (as one can check inductively) they must be just one person shy of that maximal separation. At the start of the tournament, the situation is living and near. In each of rounds 1 to nn, a far situation can never become near, and a near situation can stay near or become far with equal likelihood.

In each of rounds 1 to n−1n-1, a living situation has a 1/41/4 probability of staying living. Therefore, at the end of round kk, where 1≤k≤n−11 \leq k \leq n-1, the situation is near with probability 1/8k1/8^{k}, and far with probability 1/4k−1/8k1/4^{k} - 1/8^{k}. In round nn, a far situation has a 1/41/4 probability of staying living, whereas a near situation has only a 1/81/8 probability of staying living. But if the situation is living at the beginning of the last round, it can only be far, so we can say with complete generality that, at the end of round kk, where 1≤k≤n1 \leq k \leq n, the situation is living and far with probability 1/4k−1/8k1/4^{k} - 1/8^{k}.

We are interested in finding the probability that the situation is living at the end of round nn (and hence far); that probability is thus
14n−18n=2n−18n. \frac{1}{4^{n}} - \frac{1}{8^{n}} = \frac{2^{n} - 1}{8^{n}}.

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.