Graphe 4-chromatique de Heawood

graphe aux 25 sommets et 69 arêtes

Le graphe 4-chromatique de Heawood est, en théorie des graphes, un graphe possédant 25 sommets et 69 arêtes.

Graphe 4-chromatique de Heawood
Nombre de sommets 25
Nombre d'arêtes 69
Distribution des degrés 5 (17 sommets)
6 (3 sommets)
7 (5 sommets)
Rayon 3
Diamètre 5
Maille 3
Automorphismes 1 ({id})
Nombre chromatique 4
Propriétés Hamiltonien
Planaire
Asymétrique

Histoire

modifier

En 1879, Alfred Kempe publie une preuve du théorème des quatre couleurs, une des grandes conjectures de la théorie des graphes[1]. Bien que le théorème soit vrai, la démonstration de Kempe, basée sur les propriétés d'une chaine particulière, est erronée. Heawood le prouve en 1890[2] (avec son graphe 4-chromatique comme exemple) et Vallée Poussin arrive au même résultat en 1896 (avec le graphe de Poussin comme exemple)[3].

Bien que la preuve de Kempe soit fausse, les chaines de Kempe restent utiles en théorie des graphes et les exemples la contredisant intéressent toujours les mathématiciens. Par la suite d'autres graphes contre-exemples furent donc exhibés : d'abord le graphe d'Errera en 1921[4],[5], puis le graphe de Kittell en 1935, avec 23 sommets[6], enfin deux contre-exemples minimaux (le graphe de Soifer en 1997 et le graphe de Fritsch en 1998, tous deux d'ordre 9)[7],[8],[9].

Propriétés

modifier

Propriétés générales

modifier

Le diamètre du graphe 4-chromatique de Heawood, l'excentricité maximale de ses sommets, est 5, son rayon, l'excentricité minimale de ses sommets, est 3 et sa maille, la longueur de son plus court cycle, est 3. Il s'agit d'un graphe 4-sommet-connexe et d'un graphe 5-arête-connexe, c'est-à-dire qu'il est connexe et que pour le rendre déconnecté il faut le priver au minimum de 4 sommets ou de 5 arêtes.

Coloration

modifier

Le nombre chromatique du graphe 4-chromatique de Heawood est 4. C'est-à-dire qu'il est possible de le colorer avec 4 couleurs de telle façon que deux sommets reliés par une arête soient toujours de couleurs différentes. Ce nombre est minimal.

Propriétés algébriques

modifier

Le groupe d'automorphismes du graphe 4-chromatique de Heawood ne contienne que l'élément neutre. Il est donc d'ordre 1. Cela fait du graphe 4-chromatique de Heawood un graphe asymétrique.

Voir aussi

modifier

Liens internes

modifier

Liens externes

modifier

Références

modifier
  1. Kempe, A. B. "On the Geographical Problem of Four-Colors." Amer. J. Math. 2, 193-200, 1879.
  2. P. J. Heawood, "Map colour theorem", Quart. J. Pure Appl. Math. 24 (1890), 332–338.
  3. R. A. Wilson, Graphs, colourings and the four-colour theorem, Oxford University Press, Oxford, 2002. MR 2003c:05095 Zbl 1007.05002.
  4. Errera, A. "Du coloriage des cartes et de quelques questions d'analysis situs." Ph.D. thesis. 1921.
  5. Peter Heinig. Proof that the Errera Graph is a narrow Kempe-Impasse. 2007.
  6. Kittell, I. "A Group of Operations on a Partially Colored Map." Bull. Amer. Math. Soc. 41, 407-413, 1935.
  7. A. Soifer, “Map coloring in the victorian age: problems and history”, Mathematics Competitions 10 (1997), 20–31.
  8. R. Fritsch and G. Fritsch, The Four-Color Theorem, Springer, New York, 1998. MR 99i:05079.
  9. Gethner, E. and Springer, W. M. II. "How False Is Kempe's Proof of the Four-Color Theorem?" Congr. Numer. 164, 159-175, 2003.