Maths Olympiad Prep

Library / /247 of 397

Combinatorics Difficulty 6.2 National Olympiad Prove it Taiwan

Let kk be a positive integer. A tennis tournament's organizing committee needs to schedule matches for 2k2k competitors, where:
(1) any two competitors play against each other exactly once;
(2) only one match is played each day of the tournament;
(3) each competitor checks into the hotel on the day of his first match, and checks out of the hotel on the day of his last match.

For each day that a competitor stays in the hotel, the committee must pay 1 dollar, so the organizing committee hopes to minimize the total cost paid to the hotel. Find the minimum value of the total hotel cost and prove it.

Solution

Answer: The minimum value is k(4k2+k1)2\frac{k(4k^2 + k - 1)}{2}.

Let us number each day of the tournament in order as 1,2,,C22k1, 2, \dots, C_2^{2k}. Let us sort the arrival dates of each player as b1b2b2kb_1 \le b_2 \le b_{2k}, and the departure dates as e1e2e2ke_1 \ge e_2 \ge \dots \ge e_{2k} (note that here this is not indexed by competitor number; a competitor may check in on day bib_i but check out on day eje_j.) The total hotel cost is
i=12k(eibi+1). \sum_{i=1}^{2k} (e_i - b_i + 1).

(1) Estimation: For this, we need to estimate eibi+1e_i - b_i + 1. Note that before day bi+1b_{i+1} only ii competitors have checked in, so there can be at most C2iC_2^i matches, thus bi+1C2i+1b_{i+1} \le C_2^i + 1. Similarly, on day ei+1e_{i+1} only ii competitors remain, so at most C2iC_2^i matches can be played, thus eiC22kC2ie_i \ge C_2^{2k} - C_2^i. Therefore
ei+1bi+1+1C22k2C2i=k(2k1)i(i1).(1) e_{i+1} - b_{i+1} + 1 \ge C_2^{2k} - 2C_2^i = k(2k-1) - i(i-1). \quad (1)

When i>ki > k, the above can be further improved: consider the first ii competitors to arrive and the last ii competitors to leave, among which there are at least 2i2k2i - 2k duplicates. Note that the matches between these duplicated competitors are counted twice in Eq. (1), so when i>ki > k, we have
ei+1bi+1+1C22k2C2i+C22i2k=(2ki)2. e_{i+1} - b_{i+1} + 1 \geq C_2^{2k} - 2C_2^i + C_2^{2i-2k} = (2k-i)^2.
Thus the lower bound of the total hotel cost is
i=0k(k(2k1)i(i1))+i=k+12k(2ki)2=12k(4k2+k1).(2) \sum_{i=0}^{k} (k(2k-1) - i(i-1)) + \sum_{i=k+1}^{2k} (2k-i)^2 = \frac{1}{2}k(4k^2 + k - 1). \quad (2)

(2) Construction: Below we provide a construction such that all of the above equalities are satisfied. First divide all competitors into two groups of size kk, X={X1,,Xk}X = \{X_1, \cdots, X_k\} and Y={Y1,,Yk}Y = \{Y_1, \cdots, Y_k\}. Next, divide the tournament into the following four segments:
(i) First let X1,,XkX_1, \cdots, X_k check in in this order, and after XiX_i checks in, have them play against all already-checked-in XjX_j.
(ii) Next let Y1,,YkY_1, \cdots, Y_k check in in this order, and after YjY_j checks in, have them play against all Xi(i>j)X_i (i > j).
(iii) Next let Xk,,X1X_k, \cdots, X_1 check out in this order, and before XiX_i checks out, have them play against all Yj(ij)Y_j (i \le j).
(iv) Finally let Yk,,Y1Y_k, \cdots, Y_1 check out in this order, and before YiY_i checks out, have them play against all remaining YjY_j.

First, note that for 0sk10 \le s \le k-1, from the check-in of TksT_{k-s} to the check-out of SksS_{k-s}, the number of matches during this period is
j=ksk1(kj)+1+j=ksk1(kj+1)=(s+1)2.(3) \sum_{j=k-s}^{k-1} (k-j) + 1 + \sum_{j=k-s}^{k-1} (k-j+1) = (s+1)^2. \quad (3)

And when i>ki > k, bi+1b_{i+1} is the arrival day of Tik+1T_{i-k+1}, ei+1e_{i+1} is the departure day of Sik+1S_{i-k+1}, thus we have
ei+1bi+1+1=(2ki)2e_{i+1} - b_{i+1} + 1 = (2k-i)^2, which is exactly the minimum value in Eq. (2).

When iki \le k, note that the ii competitors before bi+1b_{i+1} all belong to XX, thus bi+1=C2i+1b_{i+1} = C_2^i + 1. Similarly, the ii competitors after ei+1e_{i+1} all belong to YY, thus ei+1=C22kC2ie_{i+1} = C_2^{2k} - C_2^i. Thus the equality in Eq. (1) holds. This means that this tournament schedule simultaneously makes both inequalities hold with equality, thus achieving the minimum value.

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 translated into English from zh; metadata (topic, difficulty) added by this project.