Maths Olympiad Prep

Track / Stage 7 / 101 of 300 #2141 of 2604

Problem 2141

National Olympiad second round; IMO P1/P4
Combinatorics Difficulty 7.2 Prove it Belarusian Mathematical Olympiad · Belarus

Bob has the collection of nn coins. Each of them weights an integer number of grams, and their total weight is equal to 300300 grams. Let k,l,mk, l, m be positive integers such that k+l+m=300k + l + m = 300.
Find the smallest possible number of nn for which Bob always (independently of coin's weights and for all possible k,l,mk, l, m) can partition his collection into three groups so that the total weight of the coins in the first, second, and third groups is equal to k,lk, l, and mm grams, respectively.

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Next problem →

Official solution

Answer: 201201.

Let a1≤a2≤⋯≤ana_1 \le a_2 \le \dots \le a_n be the weights of the coins in Bob's collection. If there exists an ii such that ai≥101a_i \ge 101, and k=l=m=100k = l = m = 100, then, obviously, Bob cannot partition his collection into three equally weighted groups. It is easy to see that if n≤200n \le 200, then there can exist an ai≥101a_i \ge 101 (e.g., a1=⋯=an−1=1a_1 = \dots = a_{n-1} = 1, an=300−(n−1)≥300−200=100a_n = 300 - (n-1) \ge 300 - 200 = 100). Therefore, n≥201n \ge 201.

We now show that the smallest possible value of nn is 201201.

First, note that if n=201n = 201, then a1=⋯=ai=1a_1 = \dots = a_i = 1, where i≥102i \ge 102. Indeed, if i≤101i \le 101, then 2≤ai+1≤⋯≤an2 \le a_{i+1} \le \dots \le a_n, and in this case a1+⋯+an≥1⋅i+2⋅(201−i)=402−i≥402−101=301a_1 + \dots + a_n \ge 1 \cdot i + 2 \cdot (201 - i) = 402 - i \ge 402 - 101 = 301, contrary to the problem condition.

Without loss of generality, we suppose that k≤l≤mk \le l \le m. Thus k≤100k \le 100. So the first kk coins combine into the first group (a1+⋯+ak=ka_1 + \dots + a_k = k).

We renumber the remaining 201−k201-k weights: 1=x1=x2=⋯=xt<xt+1≤⋯≤x201−k1 = x_1 = x_2 = \dots = x_t < x_{t+1} \le \dots \le x_{201-k}. The total weight of these coins is equal to
300−k≤x201−k+(201−k−1−t)⋅2+t 300 - k \le x_{201-k} + (201 - k - 1 - t) \cdot 2 + t
which implies
t≥x201−k+100−k. t \ge x_{201-k} + 100 - k.
In particular, t≥x201−kt \ge x_{201-k} since k≤100k \le 100.

Now we show how to form the third group with the weight equal to mm.

Consider the sums:
S1=a201−k,S2=a201−k+a201−k−1,…,Si=a201−k+a201−k−1+⋯+a201−k−i+1,i=1,2,… S_1 = a_{201-k}, \quad S_2 = a_{201-k} + a_{201-k-1}, \quad \dots, \\ S_i = a_{201-k} + a_{201-k-1} + \dots + a_{201-k-i+1}, \quad i = 1, 2, \dots
If one of these sums is equal to mm, then the corresponding coins combine into the third group, and the remaining coins combine into the second group with the weight equal to ll. Otherwise, there exists a jj, such that Sj<mS_j < m and Sj+1>mS_{j+1} > m. In particular, Sj+1−Sj≥2S_{j+1} - S_j \ge 2, i.e. x201−k−j≥2x_{201-k-j} \ge 2. This means that among the numbers x201−kx_{201-k}, x201−k−1x_{201-k-1}, ..., x201−k−jx_{201-k-j} there are no 11's. Moreover, this means that m−Sj<x201−k−j≤x201−k≤tm - S_j < x_{201-k-j} \le x_{201-k} \le t. So
x1+⋯+xm−Sj+x201−k−j+1+⋯+x201−k=m, x_1 + \dots + x_{m-S_j} + x_{201-k-j+1} + \dots + x_{201-k} = m,
and the corresponding coins combine into the third group. The remaining coins combine into the second group with weight equal to ll.

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