Try it on paper first. A hint, the key idea and the worked solution are here when you need them.
In a round-robin tournament every two teams play each other exactly once, and every match has a winner: there are no draws. Three teams form a cycle when each of them beats exactly one of the other two. For example, teams , , form a cycle when beats , beats and beats . The figure shows the results of a small tournament of teams to : an arrow from one team to another means that the first team won that match.
Now take a tournament of teams, and let be the numbers of matches won by the nine teams.
Have you tried it?
Work it out on paper first. It is fine to get stuck or make a mistake: that is how we learn. When you are ready, go through the solution one step at a time, and check each step against your own.
Plan. Count the triples that are not cycles by their winners. Then the number of cycles depends only on the numbers of wins, and making it large means making small.
(a) Each pair of teams plays once: matches. In the figure the numbers of wins are . Using the formula of (b) for teams, the number of cycles is . Listing them: ; ; ; .
(b) Proof. Take any three teams. The three matches among them give three wins in all. If each team has one of these wins, the three teams form a cycle. Otherwise some team won both of its matches inside the triple, and only one team can do that, because two such teams would each have beaten the other. So every triple that is not a cycle has exactly one top team, which beat the other two. Conversely, a team together with two of the teams it beat is a triple that is not a cycle, with that team on top. Team beat teams, so it is the top team of exactly triples. Hence the number of triples that are not cycles is , and the number of cycles is .
(c) , so there are cycles.
(d) The wins add up to the number of matches: . By the Cauchy-Schwarz inequality (or the mean of squares being at least the square of the mean), . So , and the number of cycles is at most . To reach it, number the teams to and let team beat teams , , and , with the numbers taken modulo . For two teams whose numbers differ by modulo , exactly one of and is in , so every match has exactly one winner. Every team wins matches, so and there are cycles.
(e) Now there are triples and . The same Cauchy-Schwarz step gives only and a bound of cycles, which cannot be reached, because the are whole numbers. Instead, suppose two of the numbers satisfy . Replacing them by and keeps the sum and changes by . So at the least value of over whole numbers with sum , no two of the numbers differ by or more. Ten whole numbers with sum that differ by at most must be five numbers and five numbers , giving . Hence there are at most cycles. To reach it, take the tournament of (d) and add a tenth team that beats teams to and loses to teams to . Teams to keep wins, teams to now have , and the new team has . So the greatest number is .
Check. All tournaments of teams and all tournaments of teams were listed: the formula of (b) held for every one. A tournament with the wins of (c) was built and its cycles counted directly, and the tournaments described in (d) and (e) have exactly 30 and 40 cycles.
Log in to join the discussion.
Loading…
With Standard, you also open 12 more problems, 2 Python labs and 1 extra course. Everything you have used here stays free, always.