Graphe de Soifer

Graphe de Soifer
Graphe de Soifer
Soifer graph.svg
Représentation du graphe de Soifer.
Nombre de sommets 9
Nombre d'arêtes 20
Distribution des degrés 4 (5 sommets)
5 (4 sommets)
Rayon 2
Diamètre 2
Maille 3
Automorphismes 2 (Z/2Z)
Nombre chromatique 4
Indice chromatique 5
Propriétés Hamiltonien
Planaire

Le graphe de Soifer est, en théorie des graphes, un graphe possédant 9 sommets et 20 arêtes.

Sommaire

Histoire

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 le graphe 4-chromatique de Heawood 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 sont construits : le graphe de Soifer, en 1997 est le premier découvert[7],[8]. Une année plus tard, le graphe de Fritsch, également d'ordre 9, est publié[9].

Propriétés

Propriétés générales

Le diamètre du graphe de Soifer, l'excentricité maximale de ses sommets, est 2, son rayon, l'excentricité minimale de ses sommets, est 2 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 4-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 4 arêtes.

Coloriage

Le nombre chromatique du graphe de Soifer 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 mais ce nombre est minimal. Il n'existe pas de 3-coloration valide du graphe.

L'indice chromatique du graphe de Soifer est 5. Il existe donc une 5-coloration des arêtes du graphe tels que deux arêtes incidentes à un même sommet soient toujours de couleurs différentes. Ce nombre est minimal.

Il est possible de compter les colorations distinctes d'un graphe. Cela donne une fonction dépendant du nombre de couleurs autorisé. Cette fonction est polynomiale et est qualifiée de polynôme chromatique du graphe. Ce polynôme a pour racines tous les entiers positifs ou nuls strictement inférieurs à 4 et est de degrés 9. Il est égal à : (x − 3)(x − 2)(x − 1)x(x5 − 14x4 + 83x3 − 263x2 + 445x − 317).

Propriétés algébriques

Le groupe d'automorphismes du graphe de Soifer est un groupe abélien d'ordre 2 : le groupe cyclique Z/2Z.

Le polynôme caractéristique du graphe de Soifer est : − (x + 1)(x2 − 3)(x6x5 − 16x4 − 8x3 + 39x2 + 19x − 24).

Voir aussi

Liens internes

Liens externes

Références

  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. Gethner, E. and Springer, W. M. II. "How False Is Kempe's Proof of the Four-Color Theorem?" Congr. Numer. 164, 159-175, 2003.
  9. R. Fritsch and G. Fritsch, The Four-Color Theorem, Springer, New York, 1998. MR 99i:05079.

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Graphe de Soifer de Wikipédia en français (auteurs)

Игры ⚽ Поможем решить контрольную работу

Regardez d'autres dictionnaires:

  • Graphe d'Errera — Représentation du graphe d Errera Nombre de sommets 17 Nombre d arêtes 45 Distribution des degrés 5 (12 sommets) 6 (5 sommets) Rayon …   Wikipédia en Français

  • Graphe de Fritsch — Représentation du graphe de Fritsch. Nombre de sommets 9 Nombre d arêtes 21 Distribution des degrés 4 (3 sommets) 5 (6 sommets) Rayon 2 …   Wikipédia en Français

  • Graphe de Kittell — Représentation du graphe de Kittell. Nombre de sommets 23 Nombre d arêtes 63 Distribution des degrés 5 (15 sommets) 6 (5 sommets) 7 (3 sommets) Rayon …   Wikipédia en Français

  • Graphe de Poussin — Représentation du graphe de Poussin. Nombre de sommets 15 Nombre d arêtes 39 Distribution des degrés 4 (2 sommets) 5 (8 sommets) 6 (5 sommets) Rayon …   Wikipédia en Français

  • 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}) …   Wikipédia en Français

  • Graphe de Moser — Représentation du graphe de Moser. Nombre de sommets 7 Nombre d arêtes 11 Distribution des degrés 3 (6 sommets) 4 (1 sommet) Rayon 2 …   Wikipédia en Français

  • Graphe de Golomb — Nombre de sommets 10 Nombre d arêtes 18 Distribution des degrés 3 (6 sommets) 4 (3 sommets) 6 (1 sommet) Rayon 2 Maille 3 Automorphismes 6 Nombre chromatique 4 …   Wikipédia en Français

  • Graphe distance-unité — Le graphe de Petersen est un graphe distance unité : il peut être tracé sur le plan avec des arêtes toutes de longueur 1 …   Wikipédia en Français

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   Wikipédia en Français

  • Théorie de Ramsey — La théorie de Ramsey, qui porte le nom de Frank Ramsey, pose typiquement une question de la forme : combien d éléments d une certaine structure doivent être considérés pour qu une propriété particulière se vérifie ? Un adage souvent… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”