Maths Olympiad Prep

Library / /9 of 9

, 2013

Combinatorics Difficulty 7.1 National Olympiad, round 2 Prove it Slovenia

A table tennis tournament is conducted in the following way. In each round, if the number of contestants is odd, one contestant is drawn to proceed automatically to the next round. After that, pairs are drawn from the other contestants. The contestants from each pair compete against each other, and the winner proceeds to the next round. Let f(n)f(n) denote the number of rounds in the tournament with nn contestants. (For example, f(5)=3f(5) = 3.) Determine f(2013)f(2013) and find the least positive integer nn such that f(n)=f(2013)f(n) = f(2013).

Solution

Starting with 20132013 contestants 1+20122=10071 + \frac{2012}{2} = 1007 of them go to the second round and 1+10062=5041 + \frac{1006}{2} = 504 make it to the third round. For the fourth and the fifth round we get 5042=252\frac{504}{2} = 252 and 2522=126\frac{252}{2} = 126 contestants, respectively. For the sixth and the seventh round we have 1262=63\frac{126}{2} = 63 and 1+622=321 + \frac{62}{2} = 32 contestants. For the eighth and the ninth round 322=16\frac{32}{2} = 16 and 162=8\frac{16}{2} = 8 contestants remain and for the tenth round there are 82=4\frac{8}{2} = 4. Finally, in the eleventh round only 22 contestants remain and compete for the first place. So, f(2013)=11f(2013) = 11.

If the number of contestants is less than or equal to 1024=2101024 = 2^{10} then the tournament will consist of at most 1010 rounds. Indeed, after the jjth round there will be at most 2102j=210j\frac{2^{10}}{2^j} = 2^{10-j} contestants left. So, after 1010 rounds we can have at most 21010=12^{10-10} = 1 and the tournament ends. Let us show that f(1025)=11f(1025) = 11. Since 1025=1+2101025 = 1 + 2^{10} there are 1+291+2^9 contestants in the second round, 1+281+2^8 in the third, 1+271+2^7 in the fourth and so on, all the way to the tenth round, where there are 1+21=31+2^1 = 3 contestants. The eleventh round will see two of these three contestants competing for first place. So, the smallest natural number such that f(n)=f(2013)f(n) = f(2013) is 10251025.

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.