Maths Olympiad Prep

Track / Stage 7 / 95 of 300 #1495 of 1964

Problem 1495

National olympiad second round; IMO P1/P4
Combinatorics Difficulty 7.2 Prove it Hellenic Mathematical Olympiad · Greece

Let A1,A2,,A160A_1, A_2, \dots, A_{160} be set such that Ai=i|A_i|=i, i=1,2,,160i=1, 2, \dots, 160. Using the elements of these sets we construct new sets M1,M2,,MnM_1, M_2, \dots, M_n with the following procedure: At the first step we choose some of the sets A1,A2,,A160A_1, A_2, \dots, A_{160} and we subtract from each of them the same number of elements. All these elements are the elements of the set M1M_1. At the second step we repeat the same procedure to the remaining sets after the application of the first step and we define the set M2M_2. We continue in this way until all sets A1,A2,,A160A_1, A_2, \dots, A_{160} become the empty set and we define the sets M3,,MnM_3, \dots, M_n. Find the minimal value of nn.

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.

Official solution

We suppose that at the first step we select from all sets k1k_1 elements, at the second step we select from the remaining sets k2k_2 elements and similarly at the nn-th step we select knk_n elements. After the depletion of the elements of all sets A1,A2,,AnA_1, A_2, \dots, A_n, then each i=Aii = |A_i|, i=1,2,,160i = 1, 2, \dots, 160, must be the sum of some of the numbers k1,k2,,knk_1, k_2, \dots, k_n. We observe that the number of all possible sums with terms some of the numbers of the set {k1,k2,,kn}\{k_1, k_2, \dots, k_n\} is 2n2^n, because for the creation of these sums for each term there are only two possible cases, that is a term must be or not to be in the sum. Therefore we must have 2n1602^n \ge 160, and so n8n \ge 8 with minimal possible value of nn to be 88.

Next we are going to prove that the value n=8n=8 can be obtained because we can apply the procedure at 88 steps.

At the first step we consider the sets A81,,A160A_{81}, \dots, A_{160} and we subtract from each of them 8080 elements. Therefore the set M1M_1 will consist of 8080=640080 \cdot 80 = 6400 elements.

After subtracting the 8080 elements, we denote the remaining sets as A811,,A1601A_{81}^1, \dots, A_{160}^1. Now the sets AiA_i, that is A80+i1A_{80+i}^1, i=1,2,,80i=1, 2, \dots, 80 contain ii elements. At the second step we consider the sets A41,,A80A_{41}, \dots, A_{80}, A1211,,A1601A_{121}^1, \dots, A_{160}^1 and we subtract from each of them 4040 elements. Therefore the set M2M_2 will consist of 8040=320080 \cdot 40 = 3200 elements.

We continue in this way to obtain the set M3M_3 with 8020=160080 \cdot 20 = 1600 elements, and the sets M4,M5,M6,M7M_4, M_5, M_6, M_7 and M8M_8 with 16001600, 800800, 400400, 288288, 128128 and 6464 elements, respectively.

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