Maths Olympiad Prep

Library / /19 of 22

Combinatorics Difficulty 7.0 National olympiad Prove it Turkey

Between any two cities of a country consisting of 20132013 cities one-way flights are organized so that there is at least one departure from each city. Determine the maximal possible value of kk such that no matter how these flights are arranged there are kk cities reachable from any city of a country by using at most two flights.

Solution

The answer is k=3k = 3.

We will write ABA \to B if flight is from AA to BB. The flight arrangement where ABCAA \to B \to C \to A and all other flights incident to A,B,CA, B, C are directed to A,B,CA, B, C shows that k3k \le 3.

If a city AA is reachable from any other city by using at most two flights we will say that AA is 2-reachable. Now we show that in any flight arrangement there are at least three cities 2-reachable from any city.

The problem can be reformulated in terms of graph theory: Let GG be a directed complete graph with 20132013 vertices. If the incoming degree degin(A)\deg_{\text{in}}(A) of each vertex AA is at most n2n-2, then there are 33 vertices 2-reachable from any other vertex.

First of all, let us show that a vertex with maximal incoming degree, say A1A_1, is 2-reachable. Let U1U_1 be the set of all vertices XX with A1XA_1 \to X and W1W_1 be the set of all vertices YY with YA1Y \to A_1. A1A_1 is reachable from any YW1Y \in W_1 directly. If A1A_1 is not 2-reachable from some X0U1X_0 \in U_1, then for any YW1Y \in W_1 we have YX0Y \to X_0; otherwise A1A_1 is 2-reachable from X0X_0: X0YA1X_0 \to Y \to A_1. But then deginX0=degin(A1)+1\deg_{\text{in}} X_0 = \deg_{\text{in}}(A_1) + 1, which contradicts the maximality of deginA1\deg_{\text{in}} A_1.

Now let A2A_2 be a vertex in U1U_1 with maximal incoming degree deginA2\deg_{\text{in}} A_2 (note that U1U_1 is not empty). Let U2U_2 be the set of all vertices XX with A2XA_2 \to X and W2W_2 be the set of all vertices YY with YA2Y \to A_2. A2A_2 is reachable from any YW2Y \in W_2 directly. If A2A_2 is not 2-reachable from some X0U2X_0 \in U_2, then for any YW2Y \in W_2 we have YX0Y \to X_0; otherwise A2A_2 is 2-reachable from X0X_0: X0YA2X_0 \to Y \to A_2. But then deginX0=degin(A2)+1\deg_{\text{in}} X_0 = \deg_{\text{in}}(A_2) + 1, which contradicts the maximality of deginA2\deg_{\text{in}} A_2.

Now let A3A_3 be a vertex in U2U_2 with maximal incoming degree deginA3\deg_{\text{in}} A_3 (note that U2U_2 is not empty). Let U3U_3 be the set of all vertices XX with A3XA_3 \to X and W3W_3 be the set of all vertices YY with YA3Y \to A_3. A3A_3 is reachable from any YW3Y \in W_3 directly. If A3A_3 is not 2-reachable from some X0U3X_0 \in U_3, then for any YW3Y \in W_3 we have YX0Y \to X_0; otherwise A3A_3 is 2-reachable from X0X_0: X0YA3X_0 \to Y \to A_3. But then deginX0=degin(A3)+1\deg_{\text{in}} X_0 = \deg_{\text{in}}(A_3) + 1, which contradicts the maximality of deginA3\deg_{\text{in}} A_3.

Thus, we have found three vertices 2-reachable from any other city. A1,A2,A3A_1, A_2, A_3 are distinct and the proof is completed (if we proceed the same way, the new found point A4A_4 may coincide with A1A_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 and solution reproduced as published; topic and difficulty added by this site.