Maths Olympiad Prep

Library / /26 of 33

Combinatorics Difficulty 8.4 Shortlist Prove it Turkey

Graph Air (GA) is running two way flights between some cities of a country so that it is possible to travel between any two cities using GA flights. It turned out that after adding one flight, one may travel between any two cities by using at most 17 GA flights. Determine the maximal possible number (if exists) of GA flights necessary to use for traveling between any two cities of a country before adding the flight.

Solution

The answer is 3434.
Let A1,A2,,A35A_1, A_2, \dots, A_{35} be cities so that only AiA_i and Ai+1A_{i+1} are connected for i=1,2,,34i = 1, 2, \dots, 34. The travel between A1A_1 and A35A_{35} uses at least 3434 flights. After adding flights between A1A_1 and A35A_{35}, it is possible to travel between any pair of cities by using at most 1717 flights. Therefore, the answer is at least 3434.

Let us show that 3434 flights are sufficient. Let ρ(X,Y)\rho(X, Y) denote the minimal possible number of flights between the cities XX and YY. On the contrary, suppose that ρ(A,B)>34\rho(A, B) > 34 for some cities AA and BB and a path with minimal number of flights before adding a flight between the cities TT and SS is (A=A0,A1,,A17,A18,,B=Ak)(A = A_0, A_1, \dots, A_{17}, A_{18}, \dots, B = A_k). After adding the flight between TT and SS, ρ(A,A18)17\rho(A, A_{18}) \le 17 and ρ(A17,B)17\rho(A_{17}, B) \le 17. By definitions, both of the paths with minimal number of flights from AA to A18A_{18} and from A17A_{17} to BB have to use the flight between TT and SS. Without loss of generality we may assume that the path from AA to A18A_{18} is (A0,,T,S,,A18)(A_0, \dots, T, S, \dots, A_{18}). Then note that l1+l216l_1 + l_2 \le 16 where ρ(A,T)=l1\rho(A, T) = l_1, ρ(S,A18)=l2\rho(S, A_{18}) = l_2.

Similarly, the path from A17A_{17} to BB is (A17,,T,S,,B)(A_{17}, \dots, T, S, \dots, B) with ρ(A17,T)=m1\rho(A_{17}, T) = m_1, ρ(S,B)=m2\rho(S, B) = m_2 and m1+m216m_1 + m_2 \le 16, or the path from A17A_{17} to BB is (A17,,S,T,,B)(A_{17}, \dots, S, T, \dots, B) with ρ(A17,S)=k1\rho(A_{17}, S) = k_1, ρ(T,B)=k2\rho(T, B) = k_2 and k1+k216k_1 + k_2 \le 16. Then there exists a travel from AA to BB (A,,T,,A18,A17,,S,,B)(A, \dots, T, \dots, A_{18}, A_{17}, \dots, S, \dots, B) using at most l1+m1+1+l2+m2<34l_1 + m_1 + 1 + l_2 + m_2 < 34 flights or (A,,T,,B)(A, \dots, T, \dots, B) using at most l1+k2<34l_1 + k_2 < 34 flights. Contradiction.

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 and solution reproduced as published; topic and difficulty added by this site.