Maths Olympiad Prep

Library / /25 of 28

, 2024

Combinatorics Difficulty 5.8 AIME, harder Prove it United States

Problem:
A deck of 100 cards is labeled 1,2,,1001, 2, \ldots, 100 from top to bottom. The top two cards are drawn; one of them is discarded at random, and the other is inserted back at the bottom of the deck. This process is repeated until only one card remains in the deck. Compute the expected value of the label of the remaining card.

Solutions — 2

Solution 1

Solution:
Note that we can just take averages: every time you draw one of two cards, the expected value of the resulting card is the average of the expected values of the two cards. This average must be of the form
21+22+23++2100 2^{\bullet} \cdot 1 + 2^{\bullet} \cdot 2 + 2^{\bullet} \cdot 3 + \cdots + 2^{\bullet} \cdot 100
where the 22^{\bullet}s add up to 11. Clearly, the cards further down in the deck get involved in one less layer of averaging, and therefore 11 through 7272 are weighted 272^{-7} while the rest are weighted 262^{-6}. To compute the average now, we just add it up to get 4678\frac{467}{8}.

Solution 2

Solution:
We see that in a deck with 2n2^{n} cards, after repeating the process 2n12^{n-1} times, each card has a chance of 12\frac{1}{2} of remaining in the deck. This means that the average of the cards in the deck doesn't change between 2n2^{n} and 2n12^{n-1} cards. Thus, by repeating this process, we determine that the expected value of the last card is the average of all cards whenever we start with 2n2^{n} cards.

Suppose we instead start with 27=1282^{7} = 128 cards in the following order:
73,73,74,74,,100,100,1,2,3,,72 73, 73, 74, 74, \ldots, 100, 100, 1, 2, 3, \ldots, 72
Thus, after 2828 steps, we will be left with the original configuration. Since a power of 22 cards are in the deck, we expect that the final card will be the average of these numbers. This is 4678\frac{467}{8}.

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.