Maths Olympiad Prep

Library / /5 of 5

Combinatorics Difficulty 8.6 Shortlist Prove it Bulgaria

Problem:

After a volleyball tournament (every two teams played exactly once) with nn teams it turned out that for any two teams AA and BB, such that BB wins over AA, there exist positive integer tt and teams C1,C2,,CtC_{1}, C_{2}, \ldots, C_{t}, such that AA wins over C1,C1C_{1}, C_{1} wins over C2,,CtC_{2}, \ldots, C_{t} wins over BB.
Prove that for any k=3,4,,nk=3,4, \ldots, n there exist kk teams A1,A2,,AkA_{1}, A_{2}, \ldots, A_{k}, such that A1A_{1} wins over A2,A2A_{2}, A_{2} wins over A3,,Ak1A_{3}, \ldots, A_{k-1} wins over AkA_{k} and AkA_{k} wins over A1A_{1}.

Solution

Solution:

We first show that there exist teams A,BA, B and CC, such that AA wins over B,BB, B wins over CC and CC wins over AA. Suppose the contrary and take the shortest cycle of m4m \geq 4 teams A,B,C1,,CtA, B, C_{1}, \ldots, C_{t} (i.e. t2t \geq 2), such that AA wins over C1,C1C_{1}, C_{1} wins over C2,,CtC_{2}, \ldots, C_{t} wins over BB and BB wins over AA. Consider the game between C2C_{2} and AA. If C2C_{2} is the winner then we have the desired triple and if AA is the winner then we have a shorter cycle.

Now we shall use induction on kk. The case k=3k=3 was considered above. Suppose that the teams A1,A2,,AkA_{1}, A_{2}, \ldots, A_{k} satisfy the condition of the problem for 3k<n3 \leq k < n. There are two cases to be considered.

Case 1. There exists a team U{A1,A2,,Ak}U \notin \{A_{1}, A_{2}, \ldots, A_{k}\}, for which there are two teams AiA_{i} and AjA_{j} such that AiA_{i} wins over UU and UU wins over AjA_{j}. Without loss of generality assume that A1A_{1} wins over UU. Let AA_{\ell} be the team of the least index that loses from UU. Then the following k+1k+1 teams
A1,,A1,U,A,,Ak A_{1}, \ldots, A_{\ell-1}, U, A_{\ell}, \ldots, A_{k}
have the desired property.

Case 2. For any two teams AiA_{i} and AjA_{j} and any team UU either AiA_{i} loses from UU or AiA_{i} and AjA_{j} both win over UU.

Partition all teams apart from A1,A2,,AkA_{1}, A_{2}, \ldots, A_{k} in two sets SS and TT, such that all teams from SS win over A1,A2,,AkA_{1}, A_{2}, \ldots, A_{k}, and all teams from TT lose from A1,A2,,AkA_{1}, A_{2}, \ldots, A_{k}. It is clear that ST=S \cap T = \varnothing and none of SS and TT is the empty set.

Let USU \in S and VTV \in T be such that VV wins over UU (such a pair exists due to the condition of the problem). Now the following k+1k+1 teams
U,A1,,Ak1,V U, A_{1}, \ldots, A_{k-1}, V
have the desired property.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.