Maths Olympiad Prep

Library / /45 of 61

Combinatorics Difficulty 6.2 National Olympiad Prove it Ibero-American Mathematical Olympiad

Problem:

nn and rr are positive integers. Find the smallest kk for which we can construct rr subsets A1,A2,,ArA_1, A_2, \ldots, A_r of {0,1,2,,n1}\{0,1,2, \ldots, n-1\} each with kk elements such that each integer 0m<n0 \leq m < n can be written as a sum of one element from each of the rr subsets.

Solution

Solution:

We can form at most krk^r distinct sums, so krk^r must be n\geq n.

Now consider A1={0,1,2,,k1}A_1 = \{0, 1, 2, \ldots, k-1\}, A2={0,k,2k,,(k1)k}A_2 = \{0, k, 2k, \ldots, (k-1)k\}, A3={0,k2,2k2,,(k1)k2},,Ar={0,kr1,2kr1,,(k1)kr1}A_3 = \{0, k^2, 2k^2, \ldots, (k-1)k^2\}, \ldots, A_r = \{0, k^{r-1}, 2k^{r-1}, \ldots, (k-1)k^{r-1}\}.

Then for any non-negative integer m<krm < k^r, we can write mm with rr digits in base kk (using leading zeros as necessary) and hence as a sum of one element from each AiA_i.

This subset works for (k1)kr1<nkr(k-1)k^{r-1} < n \leq k^r. For smaller nn above (k1)r(k-1)^r we cannot use all the elements given above, but we do not need them, so we just replace the elements which are too large by arbitrary elements under nn.

For example, suppose n=17n = 17, r=4r = 4. We need k=3k = 3. So we form A1={0,1,2}A_1 = \{0, 1, 2\}, A2={0,3,6}A_2 = \{0, 3, 6\}, A3={0,9,18}A_3 = \{0, 9, 18\}, A4={0,27,54}A_4 = \{0, 27, 54\}. Now 18,27,5418, 27, 54 are unnecessary, so we pad out A3A_3 and A4A_4 with other elements. We could take A3={0,1,9}A_3 = \{0, 1, 9\}, A4={0,1,2}A_4 = \{0, 1, 2\}.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.