Olympiad Maths Prep

Track / Stage 9 / 76 of 80 #1956 of 2000

Problem 1956

IMO P2/P5; hard shortlist
Combinatorics Difficulty 9.3 Prove it China National Team Selection Test · China

Suppose there are 101 persons sitting around a round table in an arbitrary order. The kkth person possesses kk pieces of cards, k=1,,101k = 1, \dots, 101. We call it a *transition* if one transits one of his cards to one of his adjacent persons. Find the minimum positive number kk, such that whatever the order of the seating, there is a way of no more than kk transitions so that each person possesses 51 cards.

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

The answer is k=42925k = 42\,925.

Let the circumference of the table be 101, and the distance between two adjacent persons be 1. In the following, we consider the least transition times.

Denote the person who initially possesses ii cards by [i51][i - 51]. So, if p>0p > 0, then we can think of person [p][p] as the source who should send out pp cards; and if p<0p < 0, person [p][p] is the sink who should receive p-p cards.

Suppose that at the end of transitions, each person has 51 cards. If person BB possesses a card uu initially belonging to person AA, we can think that AA carries card uu to BB by passing through the minor arc ABAB, the length of the route is the arc length AB|AB| means the times of transitions.

Let seating order be as shown in the figure. Person [i][i] transits all his ii cards to person [i][-i] (i=1,2,,50i = 1, 2, \dots, 50) with route length ii. So there are all together 12+22++502=429251^2 + 2^2 + \dots + 50^2 = 42\,925 transitions. In the following, we will show that no less transitions can meet the requirement if persons are seated in this way.

We use the notion of "potential". Let potential at the highest position [50][50] be 50; the neighbor positions [49][49] and [48][48] each has potential 49, . . . , the lowest position [49][-49] and [50][-50] each has potential 0. Then, the total potential at the beginning is
S=101×50+(100+99)×49++(2+1)×0. S = 101 \times 50 + (100 + 99) \times 49 + \cdots + (2 + 1) \times 0.
And at the end of transitions, the total potential is
T=51×50+(51+51)×49++(51+51)×0. T = 51 \times 50 + (51 + 51) \times 49 + \cdots + (51 + 51) \times 0.
The difference is ST=42,925S - T = 42,925.

Since after each transition, the total potential changes at most 1, so at least 42,925 transitions are needed.

In the following, we show that whatever be the order of seating, there is always a way of no more than 42,925 transitions such that each person possesses 51 cards. To show this, we give two lemmas.

Lemma 1. Let c,a0,a1,,an1c, a_0, a_1, \dots, a_{n-1} be integers with their sum zero, and c0c \ge 0, a0a1an1a_0 \le a_1 \le \dots \le a_{n-1}. If n+1n+1 persons denoted by [c],[a0],[a1],,[an1][c], [a_0], [a_1], \dots, [a_{n-1}], possess N+c,N+a0,N+a1,N+c, N+a_0, N+a_1, \dots and N+an1N+a_{n-1} cards, respectively, where NN is a positive integer, such that N+a0>0N+a_0 > 0. Let the persons stand on 0, 1, ..., nn of the number axis, such that [c][c] stands at nn. Then there is a way of no more than cn+i=0n1iaicn + \sum_{i=0}^{n-1} ia_i transitions, such that each person possesses NN cards.

Proof of Lemma 1. Suppose that an1as>0as1a0a_{n-1} \ge \cdots \ge a_s > 0 \ge a_{s-1} \ge \cdots \ge a_0, then induction on M=an1++asM = a_{n-1} + \cdots + a_s. If M=0M=0, then [c][c] passes cc cards to [ai][a_i], such that [ai][a_i] obtains ai-a_i cards (0is10 \le i \le s-1). Suppose that person [ai][a_i] stands at xix_i (0in10 \le i \le n-1), then x0,x1,,xn1x_0, x_1, \dots, x_{n-1} is a permutation of 0, 1, ..., n1n-1. Thus, a card that passes from [c][c] to [ai][a_i] needs nxin-x_i transitions. So the total transitions needed are
i=0s1(nxi)(ai)=cn+i=0s1xiaicn+i=0s1iai=cn+i=0n1iai. \sum_{i=0}^{s-1} (n - x_i) (-a_i) = cn + \sum_{i=0}^{s-1} x_i a_i \le cn + \sum_{i=0}^{s-1} ia_i = cn + \sum_{i=0}^{n-1} ia_i.
Now suppose that the conclusion is true for integers smaller than MM. Consider the case of integer MM. Suppose that
an1==ans>ans1,al>al1==a0. a_{n-1} = \cdots = a_{n-s} > a_{n-s-1}, \quad a_l > a_{l-1} = \cdots = a_0.
Then there is a person in [an1][a_{n-1}], ..., [ans][a_{n-s}] and a person in [a0][a_0], ..., [al1][a_{l-1}] such that their distance is no more than nsl+1n-s-l+1. We may suppose that the distance between [ans][a_{n-s}] and [al1][a_{l-1}] is no more than nsl+1n-s-l+1, then let person [ans][a_{n-s}] pass a card uu to [al1][a_{l-1}] by no more than nsl+1n-s-l+1 transitions. Next, by induction on cc and
an1ans+1>ans1ans1alal1+1>al2a0, \begin{align*} a_{n-1} &\ge \dots \ge a_{n-s+1} > a_{n-s} - 1 \ge a_{n-s-1} \\ &\ge \dots \ge a_l \ge a_{l-1} + 1 > a_{l-2} \ge \dots \ge a_0, \end{align*}
we see that by taking no more than
L=cn+(n1)an1++(ns+1)ans+1+(ns)(ans1)+(ns1)ans1++lal+(l1)(al1+1)+(l2)al2++0a0 \begin{align*} L &= cn + (n-1)a_{n-1} + \dots + (n-s+1)a_{n-s+1} + \\ & \quad (n-s)(a_{n-s}-1) + (n-s-1)a_{n-s-1} + \dots + \\ & \quad la_l + (l-1)(a_{l-1}+1) + (l-2)a_{l-2} + \dots + 0 \cdot a_0 \end{align*}
transitions, each person possesses NN cards. Addition of the transitions of card uu, we know that there are no more than
L+(nsl+1)=cn+i=0n1iai L + (n - s - l + 1) = cn + \sum_{i=0}^{n-1} ia_i
transitions. The proof of Lemma 1 is completed.

Lemma 2. For any permutation of [50][-50], [49][-49], ..., [49][49], [50][50] on a circle, there always exists a person [c][c], denote the line passing through [c][c] and the origin by ll, such that the sum of each side of ll (include cc) in the brackets has the same sign of cc.

Proof of Lemma 2. Let the permutation on the circle be [a1][a_1], [a2][a_2], ..., [a101][a_{101}] clockwise. Then there is a directed diameter ll of the circle such that [a1][a_1], [a2][a_2], ..., [a50][a_{50}] are on one side of ll and [a51][a_{51}], [a52][a_{52}], ..., [a101][a_{101}] are on the other side.

If i=150ai=0\sum_{i=1}^{50} a_i = 0, then take c=a51c = a_{51}; else, if i=150ai0\sum_{i=1}^{50} a_i \neq 0, then the sums of each side of ll have different sign. If we rotate ll 180° clockwise, we see that the sum of each side changes sign. So there exists a [c][c] which meets the requirement of Lemma 2.

Take [c][c] in Lemma 2. Suppose that c0c \ge 0 (else change each [ai][a_i] by [ai][-a_i] and change all the directions of the arc). Let c=c1+c2,c1,c20c = c_1 + c_2, c_1, c_2 \ge 0, such that the sum of c1c_1 and the numbers on one side of (not include cc) ll is zero. Denote 50 numbers on this side by a0a1a49a_0 \le a_1 \le \dots \le a_{49}, and denote 50 numbers on the other side by b0b1b49b_0 \le b_1 \le \dots \le b_{49}. Then the sum of c2c_2 and b0,b1,,b49b_0, b_1, \dots, b_{49} is also zero. Using Lemma 1 to c1,a0,a1,,a49c_1, a_0, a_1, \dots, a_{49} and c2,b0,b1,,b49c_2, b_0, b_1, \dots, b_{49}, respectively, we obtain that the transition times are no more than
L=50c1+j=049jaj+50c2+j=049jbj. L = 50c_1 + \sum_{j=0}^{49} ja_j + 50c_2 + \sum_{j=0}^{49} jb_j.
Since c,a0,,a49,b0,,b49c, a_0, \dots, a_{49}, b_0, \dots, b_{49} is a permutation of 50,49,,50-50, -49, \dots, 50, by the order inequality
L=50c+j=049j(aj+bj)502+j=049j(2j50+2j49)=42925. \begin{align*} L &= 50c + \sum_{j=0}^{49} j(a_j + b_j) \\ &\le 50^2 + \sum_{j=0}^{49} j(2j - 50 + 2j - 49) \\ &= 42\,925. \end{align*}
Summing up, the least positive integer k=42925k = 42\,925. \square

Figure 1

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.