Feladat: B.4233 Korcsoport: 16-17 Nehézségi fok: nehéz
Megoldó(k):  Kiss Dóra 
Füzet: 2010/december, 536 - 537. oldal  PDF  |  MathML 
Témakör(ök): Feladat, Egyéb feladványok, Részhalmazok
Hivatkozás(ok):Feladatok: 2010/január: B.4233

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.

Megoldás. 1. Három szín elegendő a kívánt színezéshez. Legyen a hételemű halmaz {1,2,3,4,5,6,7}. Az 1-et tartalmazó háromelemű részhalmazok színe legyen piros, az 1-et nem, de a 2-t tartalmazóké kék, a többi pedig legyen sárga. Ekkor bármely két piros részhalmaz tartalmazza az 1-et, ezért nem lehetnek diszjunktak. Hasonlóan bármely két kék részhalmaznak közös eleme a 2. Tekintsünk két sárga részhalmazt; ezeknek nem eleme sem az 1, sem a 2, így elemeik legfeljebb ötfélék lehetnek: 3, 4, 5, 6 vagy 7. Két ilyen háromelemű halmaz tehát nem lehet diszjunkt, hiszen ahhoz 3+3=6 különböző elemre lenne szükség.
2. Megmutatjuk, hogy két színnel a színezés nem valósítható meg. Tegyük fel, hogy az lenne, és tekintsük a H1={1,2,3}, H2={4,5,6}, H3={1,2,7}, H4={3,5,6}, H5={2,4,7}, H6={1,3,6}, H7={4,5,7} halmazokat. Ebben a sorrendben bármely két szomszédos helyen álló halmaz egymástól diszjunkt, ezért ha például H1 piros, akkor H2 kék, H3 piros, H4 kék, H5 piros, H6 kék és H7 ismét piros. Azonban H7 és H1 is egymástól diszjunktak, tehát nem lehetnek egyszerre pirosak, ellentmondás.

 

Megjegyzés. Énekes Péter és Zsakó Balázs megemlíti a feladat következő általánosítását: Legyen n pozitív egész. Egy 2n+1 elemű halmaz n elemű részhalmazait színezzük úgy, hogy bármely két diszjunkt részhalmaz különböző színű legyen. Ez legkevesebb három színnel valósítható meg. A közölt megoldás első része változatlan formában, a második része némi módosítással alkalmas ennek az általánosabb állításnak az igazolására.