Maths Olympiad Prep

Library / Team Selection Test for JBMO /18 of 20

Team Selection Test for JBMO

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 A→BA \to B if flight is from AA to BB. The flight arrangement where A→B→C→AA \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 k≤3k \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 deg⁡in(A)\deg_{\text{in}}(A) of each vertex AA is at most n−2n-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 A1→XA_1 \to X and W1W_1 be the set of all vertices YY with Y→A1Y \to A_1. A1A_1 is reachable from any Y∈W1Y \in W_1 directly. If A1A_1 is not 2-reachable from some X0∈U1X_0 \in U_1, then for any Y∈W1Y \in W_1 we have Y→X0Y \to X_0; otherwise A1A_1 is 2-reachable from X0X_0: X0→Y→A1X_0 \to Y \to A_1. But then deg⁡inX0=deg⁡in(A1)+1\deg_{\text{in}} X_0 = \deg_{\text{in}}(A_1) + 1, which contradicts the maximality of deg⁡inA1\deg_{\text{in}} A_1.

Now let A2A_2 be a vertex in U1U_1 with maximal incoming degree deg⁡inA2\deg_{\text{in}} A_2 (note that U1U_1 is not empty). Let U2U_2 be the set of all vertices XX with A2→XA_2 \to X and W2W_2 be the set of all vertices YY with Y→A2Y \to A_2. A2A_2 is reachable from any Y∈W2Y \in W_2 directly. If A2A_2 is not 2-reachable from some X0∈U2X_0 \in U_2, then for any Y∈W2Y \in W_2 we have Y→X0Y \to X_0; otherwise A2A_2 is 2-reachable from X0X_0: X0→Y→A2X_0 \to Y \to A_2. But then deg⁡inX0=deg⁡in(A2)+1\deg_{\text{in}} X_0 = \deg_{\text{in}}(A_2) + 1, which contradicts the maximality of deg⁡inA2\deg_{\text{in}} A_2.

Now let A3A_3 be a vertex in U2U_2 with maximal incoming degree deg⁡inA3\deg_{\text{in}} A_3 (note that U2U_2 is not empty). Let U3U_3 be the set of all vertices XX with A3→XA_3 \to X and W3W_3 be the set of all vertices YY with Y→A3Y \to A_3. A3A_3 is reachable from any Y∈W3Y \in W_3 directly. If A3A_3 is not 2-reachable from some X0∈U3X_0 \in U_3, then for any Y∈W3Y \in W_3 we have Y→X0Y \to X_0; otherwise A3A_3 is 2-reachable from X0X_0: X0→Y→A3X_0 \to Y \to A_3. But then deg⁡inX0=deg⁡in(A3)+1\deg_{\text{in}} X_0 = \deg_{\text{in}}(A_3) + 1, which contradicts the maximality of deg⁡inA3\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,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.