MathLabs

Problem 4

The country Dreamland consists of 20162016 cities. The airline Starways wants to establish some one-way flights between pairs of cities in such a way that each city has exactly one flight out of it. Find the smallest positive integer kk such that no matter how Starways establishes its flights, the cities can always be partitioned into kk groups so that from any city it is not possible to reach another city in the same group by using at most 2828 flights.
Step 2 of 4: Auxiliary graph of short reachability
H: u→v  ⟺  v reaches u in≤28 flights,deg⁡H+≤28H:\ u\to v \iff v \text{ reaches } u \text{ in} \le28 \text{ flights},\quad \deg^+_H\le28
Detailed analysis

To show 5757 groups always suffice, build an auxiliary directed graph HH on the same 20162016 cities with an edge from uu to vv whenever uu is reachable from vv using at most 2828 flights in GG. Since GG has out-degree 11 everywhere, each vertex has at most 2828 out-neighbors in HH (one for each flight-count from 11 to 2828). Partitioning the cities into 5757 groups with no HH-edge inside a group solves the original problem.