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 1 of 4: Lower bound from a 5757-cycle
k≥57k\ge57
Detailed analysis

The flights form a directed graph GG on 20162016 vertices in which every vertex has out-degree 11. If GG contains a directed cycle of length 5757, then any two cities on this cycle can reach each other using at most 2828 flights (going the shorter way around the 5757-cycle), so no two of them may share a group. Since Starways can realize such a configuration, at least 5757 groups are always needed, i.e. k≥57k\ge57.