Heawood szám
Egy felület Heawood-száma a felületbe ágyazott grafikonok színezéséhez szükséges színek maximális számának egy bizonyos felső határa . Heawood 1890-ben a gömb kivételével minden felületre bebizonyította, hogy legfeljebb
színek szükségesek bármely Euler-karakterisztikával rendelkező felületbe ágyazott gráf színezéséhez [1] . A gömbeset a négyszínű sejtésnek felel meg , amelyet Kenneth Appel és Wolfgang Haken igazolt be 1976-ban [2] [3] . A szám Heawood számként vált ismertté 1976-ban.
Franklin bebizonyította, hogy egy Klein-palackba ágyazott gráf kromatikus száma elérheti , de soha nem haladja meg [4] . Később Gerhard Ringel és J.W.T. Youngs bebizonyította, hogy egy teljes csúcsgráf beágyazható egy felületbe, kivéve ha Klein-palackról van szó [5] . Ez azt mutatja, hogy a Heawood-kötés nem javítható.
Például egy teljes gráf csúcsokkal beágyazható egy tóruszba a következőképpen:
Jegyzetek
- ↑ Heawood, 1890 , p. 322–339.
- ↑ Appel, Haken, 1977 , p. 429–490.
- ↑ Appel, Haken, Koch, 1977 , p. 491–567.
- ↑ Franklin, 1934 , p. 363–379.
- ↑ Ringel, Youngs, 1968 , p. 438–445.
Irodalom
- Bollobas Béla. Gráfelmélet: bevezető tanfolyam. - Springer-Verlag, 1979. - T. 63. kötet - (GTM). - ISBN 0-387-90399-2 .
- Thomas L. Saaty, Paul Chester Kainen. A négyszínű probléma: támadások és hódítás. – Dover, 1986.
- Heawood PJ Térképszínezési tételek // Quarterly J. Math. Oxford Ser .. - 1890. - T. 24 .
- Kenneth Appel, Wolfgang Haken. Minden síkbeli térkép négy színezhető. I. Kisütés // Illinois Journal of Mathematics. - 1977. - T. 21 , sz. 3 .
- Kenneth Appel, Wolfgang Haken, John Koch. Minden síkbeli térkép négy színezhető. II. Csökkenthetőség // Illinois Journal of Mathematics. - 1977. - T. 21 , sz. 3 .
- Franklin P. Hat szín probléma // Journal of Mathematics and Physics. - 1934. - T. 13 , sz. 1–4 . - doi : 10.1002/sapm1934131363 .
- Gerhard Ringel, Youngs JWT Heawood térképszínezési probléma megoldása // Proceedings of the National Academy of Sciences. - 1968. - T. 60 , 2. sz . — ISSN 0027-8424 . - doi : 10.1073/pnas.60.2.438 .