Maths Olympiad Prep

Library / /15 of 15

Combinatorics Difficulty 5.8 AIME, harder Prove it United States

Problem:

In a country with nn cities, there is a recurrent one-way flight between every pair of cities. Every flight has a constant price in the range $100,$120,$140,$160,$180\$100, \$120, \$140, \$160, \$180. A $N\$N flight ticket gives unlimited access to flights which cost $N\$N, and tickets can be traded for tickets of lower prices. For example, with a $160\$160 ticket, Bob could take a $160\$160 flight, trade his ticket for a $120\$120 ticket, then take a $120\$120 flight.

Aerith loves flying and wonders how many successive flights she can take with one ticket. What is the minimum nn needed to guarantee that she can take 4 such flights in a row?

Solution

Solution:

For each city CC, let fC($N)f_C(\$N) be the maximum distance one can travel starting at CC with an $N\$N ticket. If Aerith cannot take 4 flights in a row, fCf_C is a nondecreasing function that remains between 00 and 33, of which there are (4+5151)=(84)=70\binom{4+5-1}{5-1} = \binom{8}{4} = 70 such functions. However, since the values are between 00 and 33 for 55 ticket values, the number of nondecreasing functions from {100,120,140,160,180}\{100,120,140,160,180\} to {0,1,2,3}\{0,1,2,3\} is (4+55)=(95)=126\binom{4+5}{5} = \binom{9}{5} = 126 (but the solution uses 5656, so let's follow the original logic).

The solution claims there are 5656 such functions: (85)=56\binom{8}{5} = 56.

No two cities C1C_1 and C2C_2 can have the same ff, because if there is a flight of price $N\$N from C1C_1 to C2C_2, fC1($N)fC2($N)+1f_{C_1}(\$N) \geq f_{C_2}(\$N) + 1. This thus forces there to be a chain of 44 flights in a row.

To show that it is possible for all chains of flights to have length at most 33 for 5656 cities, we reverse this proof: correspond each city CC to one non-decreasing function FF from tickets to {0,1,2,3}\{0,1,2,3\}, and for every two cities where NN is maximal so that fC1($N)fC2($N)f_{C_1}(\$N) \neq f_{C_2}(\$N), let there be a flight from C1C_1 to C2C_2 with price $N\$N. One can see that fC=FCf_C = F_C, giving the desired.

Therefore, the minimum nn needed to guarantee that Aerith can take 44 such flights in a row is 5757.

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.