Maths Olympiad Prep

Library / /25 of 115

Combinatorics Difficulty 6.8 National olympiad Find the answer

For a nonempty set SS of integers, let σ(S)\sigma(S) be the sum of the elements of SS . Suppose that A={a1,a2,,a11}A = \{a_1, a_2, \ldots, a_{11}\} is a set of positive integers with a1<a2<<a11a_1 < a_2 < \cdots < a_{11} and that, for each positive integer n1500n \le 1500 , there is a subset SS of AA for which σ(S)=n\sigma(S) = n . What is the smallest possible value of a10a_{10} ?

A number or a short expression. Spacing and $ signs are ignored.

Solution

Let's a nn - pp set be a set ZZ such that Z={a1,a2,,an}Z=\{a_1,a_2,\cdots,a_n\} , where i<n\forall i<n , iZ+i\in \mathbb{Z}^+ , ai<ai+1a_i<a_{i+1} , and for each xpx\le p , xZ+x\in \mathbb{Z}^+ , YZ\exists Y\subseteq Z , σ(Y)=x\sigma(Y)=x , σ(Y)=p+1\nexists \sigma(Y)=p+1 .
(For Example {1,2}\{1,2\} is a 22 - 33 set and {1,2,4,10}\{1,2,4,10\} is a 44 - 88 set)
Furthermore, let call a nn - pp set a nn - pp good set if anpa_n\le p , and a nn - pp bad set if anp+1a_n\ge p+1 (note that σ(Y)=p+1\nexists \sigma(Y)=p+1 for any nn - pp set. Thus, we can ignore the case where an=p+1a_n=p+1 ).
Furthermore, if you add any amount of elements to the end of a nn - pp bad set to form another nn - pp set (with a different nn ), it will stay as a nn - pp bad set because an+x>an>p+1a_{n+x}>a_{n}>p+1 for any positive integer xx and σ(Y)=p+1\nexists \sigma(Y)=p+1 .
Lemma ) If ZZ is a nn - pp set, p2n1p\leq 2^n-1 .
For n=1n=1 , p=0p=0 or 11 because a1=1p=1a_1=1 \rightarrow p=1 and a11p=0a_1\ne1\rightarrow p=0 .
Assume that the lemma is true for some nn , then 2n2^n is not expressible with the nn - pp set. Thus, when we add an element to the end to from a n+1n+1 - rr set, an+1a_{n+1} must be p+1\le p+1 if we want r>pr>p because we need a way to express p+1p+1 . Since p+1p+1 is not expressible by the first nn elements, p+1+an+1p+1+a_{n+1} is not expressible by these n+1n+1 elements. Thus, the new set is a n+1n+1 - rr set, where rp+1+an+12n+11r\leq p+1+a_{n+1} \leq 2^{n+1}-1
Lemma Proven
The answer to this question is max(a10)=248\max{(a_{10})}=248 .
The following set is a 1111 - 15001500 set:
{1,2,4,8,16,32,64,128,247,248,750}\{1,2,4,8,16,32,64,128,247,248,750\}
Note that the first 8 numbers are power of 22 from 00 to 77 , and realize that any 88 or less digit binary number is basically sum of a combination of the first 88 elements in the set. Thus, Y{1,2,4,8,16,32,64,128}\exists Y\subseteq\{1,2,4,8,16,32,64,128\} , σ(Y)=x1x255\sigma(Y)=x \forall 1\le x\leq 255 .
248σ(y)+a9502248\le\sigma(y)+a_9\le502 which implies that A{1,2,4,8,16,32,64,128,247}\exists A\subseteq\{1,2,4,8,16,32,64,128,247\} , σ(A)=x1x502\sigma(A)=x \forall 1\le x\leq 502 .
Similarly B{1,2,4,8,16,32,64,128,247,248}\exists B\subseteq\{1,2,4,8,16,32,64,128,247,248\} , σ(A)=x1x750\sigma(A)=x \forall 1\le x\le750 and C{1,2,4,8,16,32,64,128,247,248,750}\exists C\subseteq\{1,2,4,8,16,32,64,128,247,248,750\} , σ(A)=x1x1500\sigma(A)=x \forall 1\leq x\leq 1500 .
Thus, {1,2,4,8,16,32,64,128,247,248,750}\{1,2,4,8,16,32,64,128,247,248,750\} is a 1111 - 15001500 set.
Now, let's assume for contradiction that a10247\exists a_{10}\leq 247 such that a1,a2,,a11{a_1, a_2, \dots, a_{11}} is a 1111 - qq set where q1500q\geq 1500
a1,a2,a8{a_1, a_2, \dots a_8} is a 88 - aa set where a255a\leq 255 (lemma).
max(a9)=a101246max{(a_9)}=a_{10}-1\leq 246
Let a1,a2,,a10{a_1, a_2, \dots, a_{10}} be a 1010 - bb set where the first 88 elements are the same as the previous set. Then, 256+a9+a10256+a_9+a_{10} is not expressible as σ(Y)\sigma(Y) . Thus, b255+a9+a10748b\leq 255+a_9+a_{10}\leq 748 .
In order to create a 1111 - dd set with d>748d>748 and the first 1010 elements being the ones on the previous set, a11749a_{11}\leq 749 because we need to make 749749 expressible as σ(Y)\sigma(Y) . Note that b+1+a11b+1+a_{11} is not expressible, thus d<b+1+a111498d<b+1+a_{11}\leq 1498 .
Done but not elegant...

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: Omni-MATH, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.