Graphe de Petersen - Définition
La liste des auteurs de cet article est disponible ici.
Introduction
| Graphe de Petersen | |
|---|---|
| |
| Nombre de sommets | 10 |
| Nombre d'arêtes | 15 |
| Distribution des degrés | 3-régulier |
| Rayon | 2 |
| Diamètre | 2 |
| Maille | 5 |
| Automorphismes | 120 (S5) |
| Nombre chromatique | 3 |
| Indice chromatique | 4 |
| Propriétés | Cage Cubique Distance-transitif Distance-unité Fortement régulier Graphe de Moore Hypohamiltonien Graphe de Moore Snark Symétrique |
| modifier | |
Le graphe de Petersen est, en théorie des graphes, un graphe particulier possédant 10 sommets et 15 arêtes.
Il s'agit d'un petit graphe qui sert d'exemple et de contre-exemple pour plusieurs problèmes de la théorie des graphes. Il porte le nom du mathématicien Julius Petersen qui l'introduisit en 1898 en tant que plus petit graphe cubique sans isthme dont les arêtes ne peuvent être coloriées avec trois couleurs. Il a cependant été mentionné pour la première fois 12 ans auparavant, en 1886.
Donald Knuth explique dans L'art de la programmation que le graphe de Petersen est "une configuration remarquable qui sert de contre-exemple à de nombreuses prédictions optimistes sur ce qui devrait être vrai pour tous les graphes".
Constructions
Le graphe de Petersen est le complémentaire du graphe ligne du graphe complet K5. C'est également le graphe de Kneser KG5,2; il est donc possible de construire le graphe de Petersen en considérant un sommet pour chaque couple d'un ensemble de 5 éléments, et en reliant deux sommets si les couples correspondants sont disjoints.
Géométriquement, le graphe de Petersen est le graphe formé par les sommets et les arêtes de l'hémi-dodécaèdre, un dodécaèdre dont les sommets, arêtes et faces opposés sont identifiés deux à deux.
Propriétés
Propriétés générales
Le graphe de Petersen est une (3,5)-cage, c'est-à-dire un graphe minimal en nombres de sommets ayant une maille de 5 et étant cubique. Il s'agit de l'unique (3,5)-cage et sa taille coïncide avec la borne de Moore, une borne inférieure sur le nombre de sommets que peut avoir une cage. Un tel graphe est qualifié de graphe de Moore.
Le diamètre du graphe de Petersen, l'excentricité maximale de ses sommets, ainsi que son rayon, l'excentricité minimale de ses sommets, sont égaux à 2. Cela entraîne que tous ses sommets appartiennent à son centre. C'est aussi le plus grand graphe cubique de diamètre 2.
Le graphe de Petersen est 3-sommet-connexe et 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 3 sommets ou de 3 arêtes. Comme il est régulier de degré 3, ce nombre est optimal. Le graphe de Petersen est donc un graphe optimalement connecté.
Le graphe de Petersen possède 2 000 arbres couvrants, le maximum parmi les graphes cubiques à 10 sommets.
Plongements
Le graphe de Petersen n'est pas planaire. Tout graphe non-planaire possède comme mineur soit le graphe complet K5, soit le graphe biparti complet K3,3; le graphe de Petersen possède les deux.
Le dessin plan le plus courant schématise le graphe de Petersen sous la forme d'un pentagramme inclus dans un pentagone, et possède cinq croisements. Ce dessin ne minimise pas le nombre de croisements ; il est possible de représenter le graphe de Petersen avec seulement deux croisements. Sur un tore, le graphe de Petersen peut être représenté sans croisement ; c'est donc un graphe torique et son genre est égal à 1.
La plus simple surface non-orientable sur laquelle le graphe de Petersen peut être plongé sans croisement est le plan projectif. Ce plongement est donné par la construction à partir de l'hémi-dodécaèdre.
Le graphe de Petersen 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. Dans une telle représentation, plusieurs arêtes se croisent.
Propriétés algébriques
Le graphe de Petersen est fortement régulier. Il est également symétrique, c'est-à-dire que son groupe d'automorphismes agit transitivement sur ses arêtes, ses sommets et ses arcs. Il est donc également arête-transitif et sommet-transitif. Le graphe de Petersen est l'unique graphe cubique symétrique à 10 sommets et sa notation dans le Foster Census, le catalogue classifiant tous les graphes cubiques symétriques, est F10A.
Le groupe d'automorphismes du graphe de Petersen est le groupe symétrique S5 ; un groupe d'ordre 120. L'action de S5 sur le graphe de Petersen découle de sa construction comme graphe de Kneser. Tout homomorphisme du graphe de Petersen sur lui-même qui n'identifie pas des sommets adjacents est un automorphisme. Les représentations planaires du graphe de Petersen ne peuvent pas représenter la totalité de son groupe symétrique.
Malgré son degré de symétrie élevé, le graphe de Petersen n'est pas un graphe de Cayley, le plus petit graphe sommet-transitif à ne pas l'être.
Le polynôme caractéristique du graphe de Petersen est : (x − 3)(x − 1)5(x + 2)4. Ce polynôme caractéristique n'admet que des racines entières. Le graphe Petersen est donc un graphe intégral, un graphe dont le spectre est constitué d'entiers.
Chemins et cycles hamiltoniens
Le graphe de Petersen possède 240 chemins hamiltoniens distincts mais n'est pas hamiltonien, donc n'a pas de cycle hamiltonien. C'est le plus petit graphe cubique sans pont à ne pas être hamiltonien. Il est également hypohamiltonien, c'est-à-dire que la suppression de n'importe quel sommet du graphe de Petersen suffit à le rendre hamiltonien. Il s'agit du plus petit graphe hypohamiltonien.
En tant que graphe connexe fini sommet-transitif et non-hamiltonien, il offre une contre-exemple à une variante de la conjecture de Lovász qui affirme que tous les graphes sommet-transitifs sont hamiltoniens. Mais la formulation canonique de la conjecture ne demande qu'un chemin hamiltonien et est donc vérifiée par le graphe de Petersen.
Seuls cinq graphes finis sommet-transitifs et non-hamiltoniens sont connus : le graphe complet K2, le graphe de Petersen, le graphe de Coxeter et les deux graphes obtenus à partir du graphe de Petersen et du graphe Coxeter en remplaçant chaque sommet par un triangle.
Si un graphe est 2-connexe, r-régulier avec au plus 3r + 1 sommets, alors G est hamiltonien ou G est le graphe de Petersen.
Prouver que le graphe de Petersen n'admet pas de cycle hamiltonien C peut se faire en décrivant les graphes 3-réguliers hamiltoniens et en prouvant qu'aucun d'eux n'est le graphe de Petersen car ils seront tous de maille inférieure à 5. Tout graphe cubique hamiltonien à dix sommets est constitué d'un cycle C et de cinq cordes. Si une corde relie deux sommets qui sont à une distance deux ou trois dans le cycle C, alors le graphe considéré admet un 3-cycle ou un 4-cycle. Si deux cordes relient deux sommets opposés dans C à des sommets qui sont tous deux à une distance de 4, alors il y a de nouveau un 4-cycle. Le seul cas restant est l'échelle de Möbius, le graphe formé en reliant chaque sommet de C au sommet qui lui est opposé (c'est-à-dire à une distance de 5). Mais l'échelle de Möbius admet aussi un 4-cycle. Le graphe de Petersen est de maille 5, c'est-à-dire que la longueur de son plus court cycle est 5. En conséquence il n'est pas Hamiltonien
Coloriage
Le nombre chromatique du graphe de Petersen est 3. C'est-à-dire qu'il est possible de colorier ses sommets avec 3 couleurs, de telle façon que deux sommets reliés par une arête soient d'une couleur différente. Ce nombre est minimal.
L'indice chromatique du graphe de Petersen 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. Le graphe de Petersen est donc un snark, un graphe connexe, sans pont, cubique, de maille au moins 5 et d'indice chromatique 4. Il s'agit du plus petit snark possible et ce fut le seul snark connu de 1898 à 1946, jusqu'à ce que la Danilo Blanuša exhibe deux autres exemples, le premier snark de Blanuša et le second snark de Blanuša.
Le théorème du snark, un résultat conjecturé par W. T. Tutte et prouvé en 2001 par Robertson, Sanders, Seymour et Thomas, affirme que tout snark admet le graphe de Petersen comme mineur.
Il est possible de compter les colorations distinctes du graphe de Petersen. 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é 10 admet pour racines tous les entiers positifs ou nuls strictement inférieurs à 3. Il est égal à : (x − 2)(x − 1)x(x7 − 12x6 + 67x5 − 230x4 + 529x3 − 814x2 + 775x − 352).
Le graphe possède un indice chromatique fractionnel de 3, montrant que la différence entre l'index chromatique et l'index chromatique fractionnel d'un graphe peut être égale à 1. La conjecture de Goldberg-Seymour suppose qu'il s'agit de la plus grande différence possible.
Le nombre de Thue (une variante de l'indice chromatique) du graphe de Petersen est égale à 5.
