Feladat: Pontversenyen kívüli P.295 Korcsoport: 16-17 Nehézségi fok: átlagos
Füzet: 1981/február, 71 - 72. oldal  PDF  |  MathML 
Témakör(ök): Kombinációk, Pontversenyen kívüli probléma
Hivatkozás(ok):Feladatok: 1978/január: Pontversenyen kívüli P.295

A szöveg csak Firefox böngészőben jelenik meg helyesen. Használja a fenti PDF file-ra mutató link-et a letöltésre.

Megmutatjuk, hogy már 9 nyelv is kiválasztható a kívánt módon. Bármekkora is a feladatban szereplő n, és bárhogy veszünk is ki (n+1)-et a szóban forgó nyelvek közül, biztosan mindenki beszéli ezek valamelyikét, hiszen a választottakon kívül n-nél kevesebb nyelv van, és mindenki n nyelvet beszél. Az n<9 esetben ebből már következik állításunk, hiszen veszünk (n+1)-et a szóban forgó nyelvek közül, és ha ez kisebb 9-nél, hozzájuk veszünk tetszés szerint (8-n) nyelvet.
Ha n9, tekintsük a 2n nyelvből kiválasztható 9 elemű részhalmazokat. Nevezzük ezeket blokkoknak, a számuk (2n9). Mondjuk azt, hogy egy dolgozó elront egy blokkot, ha a benne szereplő nyelvek egyikét sem beszéli. Készen vagyunk, ha megmutatjuk, hogy az összes dolgozó együttesen sem tudja elrontani az összes blokkot. Mivel egy dolgozó legfeljebb n nyelvet nem beszél, egy dolgozó legfeljebb (n9) blokkot ronthat el. Ha mind különböző blokkot rontanak is el, ez összesen legfeljebb 500(n9) blokk. Azt kell tehát megmutatnunk, hogy ha n9, akkor

500(n9)<(2n9)
ami valóban igaz, hiszen (2n9)/(n9)>29>500.