Maths Olympiad Prep

Library / IRL ABooklet /179 of 191

IRL ABooklet

Combinatorics Difficulty 7.3 National Olympiad, round 2 Prove it Ireland

Let n≥5n \ge 5 be an odd number and rr an integer such that 1≤r≤(n−1)/21 \le r \le (n-1)/2. In a sports tournament, nn players take part in a series of contests. Each contest involves 2r+12r + 1 players, and the scores obtained by the players are the numbers
−r,−(r−1),…,−1,0,1,…,r−1,r -r, -(r-1), \dots, -1, 0, 1, \dots, r-1, r
in some order. Each possible subset of 2r+12r + 1 players takes part together in exactly one contest. Let the final score of player ii be SiS_i, for each i=1,2,…,ni = 1, 2, \dots, n. Define NN to be the smallest difference between the final scores of two players, i.e.,
N=min⁡i<j∣Si−Sj∣. N = \min_{i<j} |S_i - S_j|.
Determine, with proof, the maximum possible value of NN.

Solutions — 2

Solution 1

First, note that each player will participate in (n−12r)\binom{n-1}{2r} contests. Therefore, the minimum possible score of any player is −r(n−12r)=−n−12(n−22r−1)-r\binom{n-1}{2r} = -\frac{n-1}{2}\binom{n-2}{2r-1} and the maximum possible score of any player is r(n−12r)=n−12(n−22r−1)r\binom{n-1}{2r} = \frac{n-1}{2}\binom{n-2}{2r-1}. Thus the score of each player lies in the range
−n−12(n−22r−1)≤Si≤n−12(n−22r−1). -\frac{n-1}{2}\binom{n-2}{2r-1} \le S_i \le \frac{n-1}{2}\binom{n-2}{2r-1}.
This range contains 2n−12+1=n2^{\frac{n-1}{2}} + 1 = n numbers in arithmetic progression (with common difference (n−22r−1)\binom{n-2}{2r-1}), and this arithmetic progression includes the maximum and minimum values of the range. It follows immediately that the largest value of NN is given by (n−22r−1)\binom{n-2}{2r-1}, if there is an arrangement of contests that can achieve this value.

Next we show that this set of scores is indeed achievable. Here we note that changing the scores to 0,1,…,2r0, 1, \dots, 2r does not change the problem, since it is only the difference between the scores that matters. Consider the case where the scores of the players are in the same order as their labels in {1,2,…,n}\{1, 2, \dots, n\}, i.e., if players i0,i1,…,i2ri_0, i_1, \dots, i_{2r} participate in a contest, where i0<i1<⋯<i2ri_0 < i_1 < \dots < i_{2r}, then player iji_j obtains score jj for every j=0,1,…,2rj = 0, 1, \dots, 2r. To finish the proof, we need only prove that in this case Si−Si−1=(n−22r−1)S_i - S_{i-1} = \binom{n-2}{2r-1} for every i=n,n−1,…,2i = n, n-1, \dots, 2. To prove this, observe that there are exactly (n−22r−1)\binom{n-2}{2r-1} contests that involve both players. In each of these contests, player ii scores one more point than player i−1i-1; this contributes a total of (n−22r−1)\binom{n-2}{2r-1} to the value of Si−Si−1S_i - S_{i-1}. The remaining contribution from contests that involve only one of the players ii and i−1i-1 is equal to zero; this can be explained as follows.

Consider any set of players N\mathcal{N} of size 2r2r that does not include ii or i−1i-1; the contest that involves player ii and the players in N\mathcal{N} can be paired with the contest that involves player i−1i-1 and the players in N\mathcal{N}; in these two contests, players ii and i−1i-1 have the same ranking and therefore both players achieve the same score. Considering all possible subsets N\mathcal{N}, we find that the contribution from these contests to Si−Si−1S_i - S_{i-1} is equal to zero.

Thus it is indeed possible to have a set of nn scores where neighbouring scores are separated by (n−22r−1)\binom{n-2}{2r-1}, and this completes the proof.

Solution 2

Same as Solution 1, except that the proof of Si−Si−1=(n−22r−1)S_i - S_{i-1} = \binom{n-2}{2r-1} for every i=n,n−1,…,2i = n, n-1, \dots, 2 proceeds as follows. Consider the final score of any player i∈{1,2,…,n}i \in \{1, 2, \dots, n\}. How many times does a score of j∈{0,1,…,2r}j \in \{0, 1, \dots, 2r\} occur? Each score of jj arises from choosing as competitors jj players from the i−1i-1 players with a lower ranking than player ii, and 2r−j2r - j players from the n−in-i players with a higher ranking than player ii. Thus, for any i∈{1,2,…,n}i \in \{1, 2, \dots, n\}
Si=∑j=02rj(i−1j)(n−i2r−j) S_i = \sum_{j=0}^{2r} j \binom{i-1}{j} \binom{n-i}{2r-j}
and so
Si−1=∑j=02rj(i−2j)(n−i+12r−j). S_{i-1} = \sum_{j=0}^{2r} j \binom{i-2}{j} \binom{n-i+1}{2r-j} .
It follows that
Si−Si−1=∑j=02rj[(i−1j)(n−i2r−j)−(i−2j)(n−i+12r−j)]=∑j=02rj{[t](n−i2r−j)[(i−1j)−(i−2j)]−(i−2j)[(n−i+12r−j)−(n−i2r−j)]}=∑j=02rj(n−i2r−j)(i−2j−1)−∑j=02rj(n−i2r−j−1)(i−2j)=∑j=−12r−1(j+1)(n−i2r−j−1)(i−2j)−∑j=02rj(n−i2r−j−1)(i−2j)=∑j=02r−1(j+1)(n−i2r−j−1)(i−2j)−∑j=02r−1j(n−i2r−j−1)(i−2j)=∑j=02r−1(n−i2r−j−1)(i−2j)=(n−22r−1). \begin{align*} S_i - S_{i-1} &= \sum_{j=0}^{2r} j \left[ \binom{i-1}{j} \binom{n-i}{2r-j} - \binom{i-2}{j} \binom{n-i+1}{2r-j} \right] \\ &= \sum_{j=0}^{2r} j \left\{ \begin{aligned}[t] & \binom{n-i}{2r-j} \left[ \binom{i-1}{j} - \binom{i-2}{j} \right] \\ & - \binom{i-2}{j} \left[ \binom{n-i+1}{2r-j} - \binom{n-i}{2r-j} \right] \end{aligned} \right\} \\ &= \sum_{j=0}^{2r} j \binom{n-i}{2r-j} \binom{i-2}{j-1} - \sum_{j=0}^{2r} j \binom{n-i}{2r-j-1} \binom{i-2}{j} \\ &= \sum_{j=-1}^{2r-1} (j+1) \binom{n-i}{2r-j-1} \binom{i-2}{j} - \sum_{j=0}^{2r} j \binom{n-i}{2r-j-1} \binom{i-2}{j} \\ &= \sum_{j=0}^{2r-1} (j+1) \binom{n-i}{2r-j-1} \binom{i-2}{j} - \sum_{j=0}^{2r-1} j \binom{n-i}{2r-j-1} \binom{i-2}{j} \\ &= \sum_{j=0}^{2r-1} \binom{n-i}{2r-j-1} \binom{i-2}{j} \\ &= \binom{n-2}{2r-1}. \end{align*}
Note that here binomial coefficients of the form (pq)\binom{p}{q} where q<0q < 0 are equal to zero. Also, in the third line we have used the fact that (p+1q)−(pq)=(pq−1)\binom{p+1}{q} - \binom{p}{q} = \binom{p}{q-1}, which is valid even when q=0q = 0. Also, in the final line we have used the observation that the expression in the penultimate line is counting the number of subsets of size 2r−12r - 1 of a set SS of size n−2n - 2, by partitioning according to the number of elements that are chosen from the first i−2i - 2 elements of SS.

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

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