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. I. megoldás. Számozzuk meg az oszlopokat és a sorokat, és ha egy bábu az -edik oszlopban (vagy sorban) áll, akkor mondjuk azt, hogy ez a bábu lefogja az -edik oszlopot (vagy sort). bábut kell kiválasztanunk úgy, hogy minden sort és minden oszlopot pontosan egy bábu fogjon le. Ezt lépésben tesszük. A -adik lépésben az első sorból választunk ki egy-egy bábut úgy, hogy azok összesen oszlopot fogjanak le. Így a lépésben olyan bábuhoz jutunk, amelyek közt minden sorból és minden oszlopból is egy bábu szerepel. Az 1. lépésben az 1. sor egy tetszőleges bábuját kiválasztjuk. A lépésben tegyük fel, hogy és a -edik lépésben már kiválasztottunk az első sorból egy-egy bábut úgy, hogy a kiválasztott bábu összesen oszlopot fog le. 1. ESET: Ha a le nem fogott oszlopok valamelyikének -adik sorában áll bábu, akkor a -adik lépésben ezt a bábut (vagy ha több ilyen van, egyet tetszőlegesen ezek közül) és a -edik lépésben kiválasztott bábut választjuk. Így kiválasztottunk egy-egy bábut az első sorból úgy, hogy a kiválasztott bábu oszlopot fog le.
1. ábra 2. ESET: Ha a le nem fogott oszlopok egyikének -adik sorában sem áll bábu, akkor a -adik sorban álló bábu mindegyike olyan oszlopban áll, amelyet a bábu lefog. Legyenek a -adik sorban álló bábuk , , , , oszlopszámaik legyenek rendre , , , . Az -edik oszlopot lefogó bábu legyen , sorának sorszáma legyen , , , . , , , a -edik lépésben kiválasztott bábu közül való, így az -k és közé esnek. Minthogy az -k különbözők, azért a -k is különböznek. Másrészt a -edik lépésben egy sorból csak egy bábut választottunk, így az -k is mind különbözők. Tekintsük most valamelyik olyan oszlopot, amelyet a kiválasztott bábu nem fog le. (Ilyen oszlop van.) A feltétel szerint ebben is bábu áll, másrészt a -adik sorában esetszétválasztásunknak megfelelően nem áll bábu. A bábunak tehát a fennmaradó sorban kell állnia, így az , , , sorok valamelyikében kell állnia bábunak. Mondjuk az -edik sorban áll bábu, ez a bábu . A -edik lépésben kiválasztott bábuk közül most kihagyjuk -t és hozzáválasztjuk -t és -t ( ábra). Így az első sorból egy-egy bábut választottunk ki, és ez a bábu lefogja az összes, a -edik lépésben lefogott oszlopot, valamint egy új oszlopot, összesen tehát oszlopot. Ezzel a -adik lépést, és az állítás bizonyítását is befejeztük. Csere Kálmán (Veszprém, Lovassy L. Gimn., IV. o. t.)
II. megoldás. Szemléltessük az oszlopokat és a sorokat egy-egy ponttal, az -edik oszlopot az pont, a -edik sort az pont képviselje ( ábra).
2. ábra Ha az -edik oszlop -edik sorában áll bábu, akkor kössük össze egy szakasszal az és pontokat. Így olyan alakzathoz jutunk, ahol minden pontból pontosan szakasz indul ki, hiszen minden sorban és minden oszlopban pontosan bábu áll. Továbbá semelyik két pont nincs összekötve és semelyik két pont sincs összekötve. Ezt az alakzatot (gráfot) jelöljük -vel. A gráf minden szakasza egy-egy bábunak felel meg a sakktáblán. Ki kell választanunk olyan bábut a táblán, hogy minden sorból és minden oszlopból pontosan egy bábu legyen kiválasztva. Ez a gráfban azt jelenti, hogy ki kell választani olyan szakaszt, hogy minden és minden pont pontosan egy kiválasztott szakasznak legyen a végpontja ( ábra).
3. ábra A feladat állítása tehát így fogalmazható át: ha a gráfban minden és pontból szakasz indul ki, pontok csak pontokkal, pontok csak pontokkal vannak összekötve, akkor van a gráfban olyan alakú szakasz, hogy minden -pont és minden -pont pontosan egy kiválasztott szakasznak a végpontja. Ezt az állítást fogjuk most bebizonyítani. A gráfból készítünk egy új gráfot, amelynek kétszer annyi pontja lesz, és minden pontból pontosan két szakasz fog kiindulni. Húzzunk szét minden pontot két ponttá: a két új pont legyen ; és . Az -ból kiinduló szakaszt osszuk szét a két új pont között, kettő -ből, kettő -ből induljon az új gráfban. Húzzuk ugyanígy szét az -pontokat is, és osszuk kétfelé a belőlük induló szakaszokat is! ( ábra).
4. ábra Így kapunk egy gráfot, ahol darab és alakú pont (röviden: -pont) és darab és alakú pont (röviden: -pont) van. Minden - és -pontból két-két szakasz indul ki, -pontok csak -pontokkal, -pontok csak -pontokkal vannak összekötve. Az olyan zárt törtvonalat, amelynek csúcsai -pontok vagy -pontok, és ahol a csúcsokat a gráfban szereplő szakaszok kötik össze, a gráf "körének'' nevezzük ( ábra).
5. ábra A törtvonal persze metszheti magát az - és -pontoktól különböző pontokban, ezeket azonban nem tekintjük csúcsoknak. Minthogy gráfunkban minden pontból pontosan két szakasz indul ki, nyilvánvalóan ilyen "körökre'' bomlik úgy, hogy semelyik két "körnek'' nincsen közös csúcsa, és a "körök'' együttesen a gráf összes szakaszát lefedik (egyrétűen). Egyetlen ilyen "körben'' sem lehet két szomszédos -pont vagy két szomszédos -pont, így minden "körnek'' páros sok csúcsa és páros sok szakasza van. Minden egyes "kör'' csúcsokat összekötő szakaszai kiszínezhetők tehát felváltva piros és kék színnel. Így minden csúcsból egy piros és egy kék szakasz indul ki. A gráf szakaszai megszínezhetők tehát piros és kék színnel úgy, hogy minden -pontból és minden -pontból pontosan egy piros színű él és pontosan egy kék színű él indul ki. (A piros élek is, a kék élek is a ábráéhoz hasonló alakzatot képeznek, csak nem , hanem ponton). Keressük meg a piros szakaszok megfelelőit a gráfban és színezzük ki őket pirossal. A ki nem színezett szakaszokat dobjuk ki -ből. Így egy gráfhoz jutunk. Minden pontnak két -pont, és minden pontnak két -pont felel meg -ben, másrészt -ben minden -pontból és minden -pontból pontosan egy piros szakasz indul ki, így -ban minden és pontból pontosan két-két szakasz indul ki. -ban is igaz, hogy alakú pontból csak alakú pontba megy szakasz, alakúból pedig csak alakúba. A -re alkalmazott gondolatmenet tehát -ra is alkalmazható: szakaszai is átszínezhetők két színnel, mondjuk feketével és fehérrel úgy, hogy minden és pontból pontosan egy fekete és egy fehér szakasz induljon ki. Így a fekete szakaszok külön, és a fehér szakaszok külön is olyan szakaszt adnak, amilyet keresünk. Minthogy szakaszai -nek is szakaszai, dőlt betűs állításunkat, és ezzel a feladat állítását is, bebizonyítottuk. Bali János (Budapest, Fazekas M. Gyak. Gimn., IV. o. t.) Megjegyzések. Az I. megoldás gondolatmenete könnyen kiterjeszthető a következő általános állítás bizonyítására is: Egy -es sakktáblára bábut helyeztünk el úgy, hogy minden sorban és minden oszlopban pontosan bábu álljon. Ekkor kiválasztható darab bábu úgy, hogy minden oszlopból és minden sorból pontosan egy bábu legyen kiválasztva. 2. A II. megoldás gondolatmenete egy másik általánosítás bizonyítását adja: Egy -es sakktáblára bábut helyeztünk el úgy, hogy minden sorban és minden oszlopban pontosan bábu álljon. Ekkor kiválasztható bábu úgy, hogy minden oszlopból és minden sorból pontosan egy bábu legyen kiválasztva. 3. A II. megoldás valójában még ennél is többet mond: azt mondja, hogy kiválasztható bábu a kívánt tulajdonsággal, majd a maradó bábukból kiválasztható még egyszer bábu a kívánt tulajdonsággal. (Nemcsak a fekete, hanem a fehér élek is megfelelnek céljainkra.) Ha most még meggondoljuk, hogy kék éleinek megfelelőire is ugyanez a gondolatmenet alkalmazható, akkor azt kapjuk, hogy a szakasz ( bábu) felbontható szakaszra (bábura) úgy, hogy mindegyik szakasz (bábu) külön-külön megfelel a feltételeknek. Általában pedig a következő állítást kapjuk: Egy -es sakktáblára bábut helyeztünk el úgy, hogy minden sorban és minden oszlopban pontosan bábu álljon. Ekkor a bábu darab -es csoportba osztható úgy, hogy egy-egy csoport bábuja minden sorból és minden oszlopból pontosan egy bábut tartalmazzon. 4. Igaz (de nehezebben bizonyítható) az , , és megjegyzésben kimondott állítások következő közös általánosítása: Egy -es sakktáblára bábut helyeztünk el úgy, hogy minden sorban és minden oszlopban pontosan bábu álljon. Ekkor a bábu db -es csoportba osztható úgy, hogy egy-egy csoport bábuja minden sorból és minden oszlopból pontosan egy bábut tartalmazzon. 5. Ha egy gráf csúcsai két osztályba sorolhatók úgy, hogy egy osztályon belüli csúcsok nincsenek szakasszal összekötve, akkor a gráfot páros gráfnak nevezzük. A II. megoldásban csupa páros gráf szerepel (a két osztály mindig az -pontok és az -pontok osztálya volt). Láttuk a megoldás folyamán, hogy egy páros gráf minden "körének'' páros sok csúcsa van (innen ered nevük is). Ha egy gráfban vannak olyan, a csúcsokat összekötő szakaszok, amelyek közül a gráf minden csúcsa pontosan egynek a végpontja, akkor ezeket a szakaszokat együtt a gráf -faktorának nevezzük ( ábra). A II. megoldás során bizonyított (dőltbetűs) állítás tehát a következő formában mondható ki: Ha egy páros gráf két osztályában (vagy áltálában ) csúcs van, minden csúcsból szakasz indul ki, akkor a gráfban van -faktor. Az is igaz, hogy a gráfban szereplő (általános esetben ) szakasz darab -faktorra bontható. Belátható az is (de nehezebben bizonyítható), hogy ez az állítás helyett tetszőleges -ra is igaz. Ha egy páros gráf két osztályában csúcs van, minden csúcsból szakasz indul ki, akkor a gráfban van -faktor is, és a gráfban szereplő szakasz darab -faktorra bontható. Ez az állítás ekvivalens a megjegyzés állításával. 6. A II. megoldás egyik lépéseként a gráfból szakaszok elhagyásával előállítottunk egy olyan gráfot, amelyben minden csúcsból pontosan két szakasz indul ki. Ha most csak az elhagyott szakaszokat tekintjük, ezek is egy olyan gráfot alkotnak, amelyben minden csúcsból két szakasz indul ki (hiszen összesen minden csúcsból szakasz indult ki). Vagyis igaz a következő állítás: Ha egy páros gráf minden csúcsából pontosan szakasz indul ki, akkor a gráf felbontható két olyan gráfra, amelyek mindegyikében két-két szakasz indul ki minden csúcsból. Ez az állítás azonban nemcsak páros gráfokra, hanem tetszőleges gráfokra igaz. Általában igaz a következő: Ha egy gráfban minden csúcsból pontosan szakasz indul ki, akkor a gráf felbontható a gráfokra úgy, hogy minden egyes -ben minden csúcsból pontosan szakasz indul ki. 7. A legtöbb megoldó beleesett abba a tévedésbe, hogy bábut a -as sakktáblán csak egyféleképpen lehet úgy elhelyezni, hogy minden sorban és minden oszlopban pontosan bábu álljon. Ez nem igaz, amint azt a ábra is mutatja.
6. ábra |