Olympiad Maths Prep

Track / Stage 7 / 26 of 300 #1426 of 2000

Problem 1426

National olympiad second round; IMO P1/P4
Combinatorics Difficulty 7.0 Prove it

There are 20052005 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 AA and BB drew the game between them, then every other player either lost to AA or to BB. 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.

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

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 AA to vertex BB if player AA beats player BB. 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, UU and VV, where UU contains the vertices from the maximal path and VV contains the others. Denote the path as A1A2AkA_1 \rightarrow A_2 \rightarrow \ldots \rightarrow A_k.

2. **Properties of vertices in VV**: Every player in VV either loses or draws with A1A_1 and beats or draws with AkA_k due to the maximality of the path.

3. No player can have two draws: Suppose a player AA draws with both BB and CC. If BB defeats CC, then for the drawing pair A,CA, C, we have a vertex BB who does not lose to either AA or CC, which is impossible. Therefore, a player cannot have two draws.

4. **No draws within VV**: Suppose X,YVX, Y \in V draw. Then A1A_1 must lose to one of them, and we can find a longer path VA1AkV \rightarrow A_1 \rightarrow \ldots \rightarrow A_k, contradicting the maximality of the path.

5. Constructing the path: Start from AkA_k. Check if AkA_k beats someone from VV. If not, move to Ak1A_{k-1} and so on. If AiA_i beats someone from VV, say XX, then XX cannot have drawn with Ai+1A_{i+1} (since i<ki < k) for obvious reasons. Therefore, XX must have won against Ai+1A_{i+1}, allowing us to extend our path, which is impossible.

6. **Reaching A1A_1**: If we never stop, we reach A1A_1 and find that nobody from UU won over someone from VV. Since A1A_1 cannot lose to someone from VV, A1A_1 must draw with everyone from VV. However, A1A_1 can have at most one draw, so VV has exactly one vertex, YY.

7. **Analyzing YY**: YY cannot draw with AkA_k since no player can have two draws. YY cannot lose to AkA_k because that would allow us to find a longer path. Therefore, AkA_k must lose to YY.

8. **Draw within UU**: If there is a draw within UU, say between LL and MM, then one of LL or MM must defeat VV (since VV 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.

\blacksquare

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.