Päevaülesanne

Juhuslik

Harjutuskomplekt

Balti Tee 2011 · Valikvooru ülesanne

Kombinatoorika

Math competition is held in 88 different levels of difficulty. The organizing committee has to prepare 55 problems for each level. The same problem can be used for more than one level, but each two levels can have at most one common problem. What is the least number of problems that is sufficient for the organizers?

Muuda valikut

Kui oled valmis

Ülevaatematerjal muutub kättesaadavaks järgmise päevaülesannete komplektiga.

Ülevaade

Teemad

Loendamine

Lahendused

Lahendus

1818 problems are enough. The following table shows how to arrange problems for 88 levels:

Level 1 1 2 3 4 5
Level 2 1 6 7 8 9
Level 3 2 6 10 11 12
Level 4 3 7 10 13 14
Level 5 4 8 11 13 15
Level 6 5 9 12 14 15
Level 7 1 10 15 16 17
Level 8 2 8 14 16 18

Further we show that 1818 is indeed the smallest possible number of problems that is sufficient. Denote by aia_i the number of problems that are common for ii levels. As there are in total 4040 problems then

a1+2a2+3a3+4a4+5a5+6a6+7a7+8a8=40(1)a_1 + 2a_2 + 3a_3 + 4a_4 + 5a_5 + 6a_6 + 7a_7 + 8a_8 = 40 \quad (1)

If we consider all the pairs of these 4040 problems then at most 8⋅72=28\frac{8 \cdot 7}{2} = 28 of them can be equal. Each problem that is common for ii levels defines (i2)\binom{i}{2} such pairs, therefore

(22)a2+(32)a3+(42)a4+(52)a5+(62)a6+(72)a7+(82)a8≤28(2)\binom{2}{2}a_2 + \binom{3}{2}a_3 + \binom{4}{2}a_4 + \binom{5}{2}a_5 + \binom{6}{2}a_6 + \binom{7}{2}a_7 + \binom{8}{2}a_8 \le 28 \quad (2)

We must prove that a1+a2+⋯+a8≥18a_1 + a_2 + \dots + a_8 \ge 18 which given (1) is equivalent to

a2+2a3+3a4+4a5+5a6+6a7+7a8≤22(3)a_2 + 2a_3 + 3a_4 + 4a_5 + 5a_6 + 6a_7 + 7a_8 \le 22 \quad (3)

From (1) we can also get that

2a2+3a3+4a4+5a5+6a6+7a7+8a8≤40(4)2a_2 + 3a_3 + 4a_4 + 5a_5 + 6a_6 + 7a_7 + 8a_8 \le 40 \quad (4)

By adding (4) and (2) and dividing the result by 33 we obtain

a2+2a3+103a4+5a5+7a6+283a7+12a8≤2223(5)a_2 + 2a_3 + \frac{10}{3}a_4 + 5a_5 + 7a_6 + \frac{28}{3}a_7 + 12a_8 \le 22\frac{2}{3} \quad (5)

(3) then is a trivial consequence of (5) (coefficients for aia_i in (5) are greater or equal than those in (3) and the result for the expression in (3) has to be an integer).