BALTIC-WAY 2016 Problem 15
The Baltic Sea has 2016 harbours. There are two-way ferry connections between some of them. It is impossible to make a sequence of direct voyages where all the harbours are distinct. Prove that there exist two disjoint sets and of 477 harbours each, such that there is no harbour in with a direct ferry connection to a harbour in .
Dataset text NuminaMath olympiads. Quoted with source.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.