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. Tekintsünk egy csúcsú gráfot, amelyet a feltételeknek megfelelően kiszíneztünk színnel. A gráf minden csúcsához hozzárendelünk egy hosszúságú, nullákból és egyesekből álló sorozatot. Legyen a gráf egy csúcsa . Ehhez rendeljük a csupa 0-ból álló sorozatot. Egy tetszőleges, -tól különböző csúcshoz rendelt sorozat -edik eleme legyen 0, ha az élen szerepel az -edik szín, és 1, ha nem szerepel. Ha és két, -tól és egymástól különböző csúcs, és a hozzájuk rendelt sorozatban az -edik elem megegyezik, akkor az -edik szín vagy az és éleken is szerepel, vagy egyiken sem; mivel az háromszögben a (3) feltétel miatt páratlan sokszor kell szerepelnie, mindenképpen szerepelnie kell a élen. Ha pedig a -hez és -hez rendelt sorozatban az -edik elemek különbözőek, akkor az -edik szín az és élek közül pontosan az egyiken szerepel, tehát -n nem szerepel. Összefoglalva, a (3) feltételből következik, hogy tetszőleges élen akkor és csak akkor szerepel az -edik szín, ha a hozzájuk rendelt sorozatban az -edik elem ugyanaz. Ennek a megfordítása is igaz: ha tetszőleges élen akkor és csak akkor szerepel az -edik szín, ha a hozzájuk rendelt sorozatban az -edik elem ugyanaz, akkor bármely háromszögben a csúcsokhoz rendelt sorozatok -edik eleme vagy megegyezik (ebben az esetben mindhárom színen szerepel az -edik szín), vagy pontosan két egyenlő van (és akkor a háromszögnek pontosan egy élén szerepel az -edik szín). A (2) feltétel azzal ekvivalens, hogy nem rendeltük két csúcshoz ugyanazt a számot. Az (1) feltétel pedig azt jelenti, hogy nincs két olyan csúcs, amelyekhez rendelt sorozat egymás komplementere (azaz a 0-kat 1-esekre cseréljük és fordítva). A feltételek tehát azzal ekvivalensek, hogy a | | sorozat-párok mindegyikéből legfeljebb egy szerepel a csúcsokon. Mivel a sorozatpárok száma , ebből következik, hogy . Megfordítva, ha , akkor kiválasztható a szükséges darab ( hosszúságú) számsorozat, és azokból a megfelelő színezés. A színezhetőség szükséges és elégséges feltétele tehát, hogy , azaz legyen.
Kiss Tamás és Lippner Gábor (Fazekas M. Főv. Gyak. Gimn., III. o.t.) |
|