Aller au contenu

Graphe de Moser

Un article de Wikipédia, l'encyclopédie libre.

Graphe de Moser
Image illustrative de l’article 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
Diamètre 2
Maille 3
Automorphismes 8
Nombre chromatique 4
Indice chromatique 4
Propriétés Hamiltonien
Planaire
Distance-unité

Le graphe de Moser (ou fuseau de Moser) est, en théorie des graphes, un graphe possédant 7 sommets et 11 arêtes.

Il est nommé d'après les mathématiciens canadiens Leo et William Moser, deux frères, qui l'ont mentionné dans un article paru en 1961[1].

Propriétés[modifier | modifier le code]

Propriétés générales[modifier | modifier le code]

Le diamètre du graphe de Moser, 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 2-sommet-connexe et d'un graphe 3-arête-connexe, c'est-à-dire qu'il est connexe et que pour le rendre déconnecté il faut le priver au minimum de 2 sommets ou de 3 arêtes.

Il est possible de tracer le graphe de Moser sur un plan sans qu'aucune de ses arêtes se croisent. Le graphe de Moser est donc planaire. C'est également un graphe distance-unité : il peut s'obtenir à partir d'une collection de points du plan euclidien en reliant par une arête toutes les paires de points étant à une distance de 1.

Coloration[modifier | modifier le code]

Le nombre chromatique du graphe de Moser 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 et que ce nombre est minimal.

Le problème de Hadwiger-Nelson, introduit en 1944 par Hugo Hadwiger et Edward Nelson, concerne le nombre minimal de couleurs qu'il faut pour colorier le plan de façon que deux points à une distance de 1 ne soient jamais de la même couleur[2]. Il peut être formalisé en théorie des graphes de la façon suivante : quel est le nombre chromatique maximal d'un graphe distance-unité ? Le problème est toujours ouvert mais le graphe de Moser[1], avec son nombre chromatique égal à 4, fournit une borne inférieure, la meilleure connue jusqu'en 2018. Un autre exemple connu ayant le même nombre chromatique est le graphe de Golomb. En , des graphes de nombre chromatique 5 (comportant plusieurs milliers de sommets) ont été découverts par Aubrey de Grey et contrôlés par ordinateur[3],[4].

L'indice chromatique du graphe de Moser est 4. Il existe donc une 4-coloration des arêtes du graphe telle 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 du graphe de Moser. Cela donne une fonction dépendant du nombre de couleurs autorisé. C'est une fonction polynomiale et le polynôme qui lui est associé est qualifiée de polynôme chromatique. Ce polynôme de degré 7 admet pour racines tous les entiers positifs ou nuls strictement inférieurs à 4. Il est égal à : .

Propriétés algébriques[modifier | modifier le code]

Le groupe d'automorphismes du graphe de Moser est un groupe d'ordre 8.

Le polynôme caractéristique de la matrice d'adjacence du graphe de Moser est : . Le graphe de Moser est déterminé de façon unique par son spectre de graphe, l'ensemble des valeurs propres de sa matrice d'adjacence.

Notes et références[modifier | modifier le code]

  1. a et b Leo Moser et William Moser, « Solution to Problem 10 », Can. Math. Bull., no 4,‎ , p. 187-189
  2. (en) Joseph O'Rourke, « Problem 57: Chromatic Number of the Plane », sur The Open Problems Project
  3. Aubrey D. N. J. de Grey, The chromatic number of the plane is at least 5.
  4. David Madore, Le progrès récent sur le problème de Hadwiger-Nelson.

Lien externe[modifier | modifier le code]

  • Alexander Soifer, The Mathematical Coloring Book: Mathematics of Coloring and the Colorful Life of Its Creators, New York, Springer, , p. 19-20.
  • (en) Eric W. Weisstein, « Moser Spindle », sur MathWorld