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 4 of 4: Remove and reinsert vv
deg⁡−(v)≤28, deg⁡+(v)≤28  ⟹  v has≤56 neighbours\deg^-(v)\le28,\ \deg^+(v)\le28 \implies v \text{ has} \le56 \text{ neighbours}
Detailed analysis

Remove vv; by the inductive hypothesis the remaining graph splits into at most 5757 valid groups. Vertex vv has in-degree and out-degree each at most 2828 in the original graph, so it is adjacent to at most 5656 other vertices, occupying at most 5656 of the 5757 groups. Hence some group contains none of its neighbors, and vv can be placed there, completing the induction. Therefore 5757 groups always suffice, so k=57k=57.