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. 6. feladat. Adott a síkban egy véges sok rácspontból álló halmaz. Döntsük el, vajon minden esetben lehetséges-e ezek közül a pontok közül néhányat pirosra, a többit pedig fehérre színezni úgy, hogy minden olyan egyenesen, amely párhuzamos valamelyik koordináta-tengellyel, a rajta lévő piros pontok száma legfeljebb -gyel térjen el az ugyancsak rajta lévő fehér pontok számától. Megoldás. A pontok számára vonatkozó teljes indukcióval bebizonyítjuk, hogy mindig létezik a kívánt színezés. Egy pont esetén az állítás nyilvánvaló. Tegyük fel tehát, hogy , és -nél kevesebb pont esetén kiszínezhetők a pontok az előírt módon, és megadjuk az pontnak egy megfelelő színezését. Könnyű dolgunk van, ha található olyan pont, melynek sorában további pont már nincs. Ekkor -t elhagyva a megmaradt () pontot színezzük ki a megfelelő módon, és ha oszlopában legalább annyi piros pont van, mint fehér, akkor -t színezzük fehérre, ha eggyel több fehér pont van, mint piros, akkor pedig pirosra. Ekkor az pontnak egy jó színezését kaptuk, hiszen sorában és oszlopában teljesül a feltétel, a többi sorban és oszlopban pedig nem történt változás. Hasonló a helyzet, ha van olyan pont, melynek oszlopában nincs további pont. Vizsgáljuk tehát azt a fennmaradó esetet, amikor minden pont sorában és oszlopában is van további pont. Ekkor egy tetszőleges pontból kiindulva, annak sorában választhatunk egy tőle különböző pontot, oszlopában -t, sorában -t, és így tovább felváltva. Minthogy véges sok pontunk van, véges sok lépés után az , , pontsorozatban olyan tagot kell választanunk, amely már szerepelt. Legyen tehát az első ilyen ismétlődés. Ha páros, akkor az , , , sorozatban minden tag az egyik szomszédjával egy sorban, a másikkal egy oszlopban van (ha -t és -t is szomszédoknak tekintjük). Gondoljunk utána, hogy ha páratlan, akkor ugyanez mondható az , , sorozatról. Hagyjuk el tehát ezen sorozat pontjait, a maradékot az indukciós feltétel szerint kiszínezhetjük a kívánt módon, a sorozat pontjait pedig színezzük ezután felváltva pirosra, ill. fehérre. Ekkor az pontnak egy jó színezését kapjuk, hiszen minden sorban és oszlopban ugyanannyival változtatjuk meg a piros, ill. fehér pontok számát. Ezzel az indukciós lépést elvégeztük, a feladat kérdésére igenlő választ adhatunk. |