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 4 of 4: Remove and reinsert
Detailed analysis
Remove ; by the inductive hypothesis the remaining graph splits into at most valid groups. Vertex has in-degree and out-degree each at most in the original graph, so it is adjacent to at most other vertices, occupying at most of the groups. Hence some group contains none of its neighbors, and can be placed there, completing the induction. Therefore groups always suffice, so .