There are players in a chess tournament played a game. Every pair of players played a game against each other. At the end of the tournament, it turned out that if two players and drew the game between them, then every other player either lost to or to . Suppose that there are at least two draws in the tournament. Prove that all players can be lined up in a single file from left to right in the such a way that every play won the game against the person immediately to his right.
Problem 1426
Official solution
Let's look at the problem using graph theory. We can represent the tournament as a directed graph where each player is a vertex, and there is a directed edge from vertex to vertex if player beats player . We need to prove that the maximal oriented path contains all the vertices.
1. Assume the contrary: Suppose the maximal oriented path does not contain all the vertices. Then, we can divide the set of vertices into two disjoint sets, and , where contains the vertices from the maximal path and contains the others. Denote the path as .
2. **Properties of vertices in **: Every player in either loses or draws with and beats or draws with due to the maximality of the path.
3. No player can have two draws: Suppose a player draws with both and . If defeats , then for the drawing pair , we have a vertex who does not lose to either or , which is impossible. Therefore, a player cannot have two draws.
4. **No draws within **: Suppose draw. Then must lose to one of them, and we can find a longer path , contradicting the maximality of the path.
5. Constructing the path: Start from . Check if beats someone from . If not, move to and so on. If beats someone from , say , then cannot have drawn with (since ) for obvious reasons. Therefore, must have won against , allowing us to extend our path, which is impossible.
6. **Reaching **: If we never stop, we reach and find that nobody from won over someone from . Since cannot lose to someone from , must draw with everyone from . However, can have at most one draw, so has exactly one vertex, .
7. **Analyzing **: cannot draw with since no player can have two draws. cannot lose to because that would allow us to find a longer path. Therefore, must lose to .
8. **Draw within **: If there is a draw within , say between and , then one of or must defeat (since cannot take any more draws), which is impossible because we are in case 2.
Thus, our assumption that the maximal oriented path does not contain all the vertices is wrong, and we are done.