Maths Olympiad Prep

Library / /61 of 84

, 2013

Combinatorics Difficulty 5.6 AIME, harder Prove it United States

Problem:

For an even positive integer nn, Kevin has a tape of length 4n4n with marks at 2n,2n+1,,2n1,2n-2n, -2n+1, \ldots, 2n-1, 2n. He then randomly picks nn points in the set n,n+1,n+2,,n1,n-n, -n+1, -n+2, \ldots, n-1, n, and places a stone on each of these points. We call a stone 'stuck' if it is on 2n2n or 2n-2n, or either all the points to the right, or all the points to the left, all contain stones. Then, every minute, Kevin shifts the unstuck stones in the following manner:

- He picks an unstuck stone uniformly at random and then flips a fair coin.
- If the coin came up heads, he then moves that stone and every stone in the largest contiguous set containing that stone one point to the left. If the coin came up tails, he moves every stone in that set one point right instead.
- He repeats until all the stones are stuck.

Let pkp_{k} be the probability that at the end of the process there are exactly kk stones in the right half. Evaluate
pn1pn2+pn3+p3p2+p1pn1+pn2+pn3++p3+p2+p1 \frac{p_{n-1}-p_{n-2}+p_{n-3}-\ldots+p_{3}-p_{2}+p_{1}}{p_{n-1}+p_{n-2}+p_{n-3}+\ldots+p_{3}+p_{2}+p_{1}}
in terms of nn.

Solution

Solution:

Answer: 1n1\frac{1}{n-1}

After we have selected the positions of the initial nn stones, we number their positions: a1<a2<<ana_{1} < a_{2} < \ldots < a_{n}. The conditions on how we move the stones imply that the expected value of (aiaj)\left(a_{i}-a_{j}\right) after tt minutes is still equal to aiaja_{i}-a_{j}. In addition, if bib_{i} is the final position of the iith stone, E(bi+1bi)=E(ai+1ai)E\left(b_{i+1}-b_{i}\right) = E\left(a_{i+1}-a_{i}\right). But this quantity is also equal to (3n+2)pi+1(1pi)(3n+2) \cdot p_{i} + 1 \cdot (1-p_{i}).

Now, let's calculate the expected value of ai+1aia_{i+1}-a_{i}. This is the sum over g=ai+1aig = a_{i+1} - a_{i}, and jj, the number of spaces before aia_{i} of g(ji1)(2njgni+1)g \cdot \binom{j}{i-1} \binom{2n-j-g}{n-i+1}, so we get
1(2n+1n)ggj(ji1)(2njgni1) \frac{1}{\binom{2n+1}{n}} \sum_{g} g \cdot \sum_{j} \binom{j}{i-1} \binom{2n-j-g}{n-i-1}
But j(ji1)(2njgni1)\sum_{j} \binom{j}{i-1} \binom{2n-j-g}{n-i-1} is just (2ng+1n1)\binom{2n-g+1}{n-1}. Therefore the expected value of ai+1aia_{i+1}-a_{i} is independent of ii, so pip_{i} is constant for all i0,ni \neq 0, n. It follows that the answer is 1n1\frac{1}{n-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.