RU-ALLRUSSIAN 1980 Problem 7
There are several settlements around Big Lake. Some pairs of settlements are directly connected by a regular shipping service. For all , settlement A is directly connected to X iff B is not directly connected to Y, where B is the next settlement to A counterclockwise and Y is the next settlement to X counterclockwise. Show that you can move between any two settlements with at most 3 trips.
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.