Problem 4
The country Dreamland consists of 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 such that no matter how Starways establishes its flights, the cities can always be partitioned into groups so that from any city it is not possible to reach another city in the same group by using at most flights.
Step 2 of 4: Auxiliary graph of short reachability
Detailed analysis
To show groups always suffice, build an auxiliary directed graph on the same cities with an edge from to whenever is reachable from using at most flights in . Since has out-degree everywhere, each vertex has at most out-neighbors in (one for each flight-count from to ). Partitioning the cities into groups with no -edge inside a group solves the original problem.