Heawood nummer
Heawood-tallet for en overflade er en vis øvre grænse for det maksimale antal farver, der er nødvendige for at farve enhver graf, der er indlejret i overfladen. I 1890 beviste Heawood , for alle overflader undtagen kuglen , at højst
farver er nødvendige for at farve enhver graf, der er indlejret i en overflade med Euler-karakteristik [1] . Kuglehuset svarer til den firefarvede formodning , som blev bevist af Kenneth Appel og Wolfgang Haken i 1976 [2] [3] . Nummeret blev kendt som Heawood-nummeret i 1976.
Franklin beviste, at det kromatiske tal for en graf indlejret i en Klein-flaske kan nå , men aldrig overskride det [4] . Det blev senere bevist af Gerhard Ringel og J.W.T. Youngs, at en komplet vertex-graf kan indlejres i en overflade, undtagen når det er en Klein-flaske [5] . Dette viser, at Heawood-bindingen ikke kan forbedres.
For eksempel kan en komplet graf med toppunkter indlejres i en torus som følger:
Noter
- ↑ Heawood, 1890 , s. 322-339.
- ↑ Appel, Haken, 1977 , s. 429-490.
- ↑ Appel, Haken, Koch, 1977 , s. 491-567.
- ↑ Franklin, 1934 , s. 363-379.
- ↑ Ringel, Youngs, 1968 , s. 438-445.
Litteratur
- Bela Bollobas. Grafteori: Et introduktionskursus. - Springer-Verlag, 1979. - T. bind 63. - (GTM). - ISBN 0-387-90399-2 .
- Thomas L. Saaty, Paul Chester Kainen. Firefarveproblemet: Overfald og erobring. - Dover, 1986.
- Heawood PJ Kortfarvesætninger // Quarterly J. Math. Oxford Ser .. - 1890. - T. 24 .
- Kenneth Appel, Wolfgang Haken. Hvert plan kort er fire farverigt. I. Afladning // Illinois Journal of Mathematics. - 1977. - T. 21 , no. 3 .
- Kenneth Appel, Wolfgang Haken, John Koch. Hvert plan kort er fire farverigt. II. Reducerbarhed // Illinois Journal of Mathematics. - 1977. - T. 21 , no. 3 .
- Franklin P. A Six Color Problem // Journal of Mathematics and Physics. - 1934. - T. 13 , Nr. 1-4 . - doi : 10.1002/sapm1934131363 .
- Gerhard Ringel, Youngs JWT Solution of the Heawood Map-Coloring Problem // Proceedings of the National Academy of Sciences. - 1968. - T. 60 , nr. 2 . — ISSN 0027-8424 . - doi : 10.1073/pnas.60.2.438 .