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 1 of 4: Lower bound from a -cycle
Detailed analysis
The flights form a directed graph on vertices in which every vertex has out-degree . If contains a directed cycle of length , then any two cities on this cycle can reach each other using at most flights (going the shorter way around the -cycle), so no two of them may share a group. Since Starways can realize such a configuration, at least groups are always needed, i.e. .