Graphe cubique

En théorie des graphes, une branche des mathématiques, un graphe cubique est un graphe régulier de degré 3. En d'autres termes, c'est un graphe dans lequel il y a exactement trois arêtes incidentes à chaque sommet.

Le graphe de Petersen est un graphe cubique.

Exemples

Propriétés

Nombre de sommets

Une conséquence du lemme des poignées de main est que tout graphe cubique a un nombre pair de sommets.

Coloration

D'après le théorème de Brooks, les sommets d'un graphe cubique peuvent être coloriés avec trois couleurs (ou moins) de telle sorte que deux sommets adjacents ne soient pas de la même couleur, sauf dans le cas du graphe tétraédrique .

Un graphe bicubique est un graphe biparti régulier de degré 3, c'est-à-dire un graphe cubique dont les sommets peuvent être coloriés avec deux couleurs seulement.

D'après le théorème de Vizing, les arêtes d'un graphe cubique peuvent être colorées avec 3 ou 4 couleurs sans que deux arêtes de même couleur ne soient incidentes au même sommet. Les snarks sont les graphes cubiques connexes et sans isthme qui ont besoin de 4 couleurs.

Théorème de Petersen

Le théorème de Petersen précise que tout graphe cubique sans isthme possède un couplage parfait[1].

En d'autres termes, si, dans un graphe cubique, toute arête appartient à un cycle, alors il existe un ensemble d'arêtes qui sont incidentes à tous les sommets, chaque sommet n'étant l'extrémité que d'une seule de ces arêtes.

Ce théorème, un des plus anciens de la théorie des graphes, puisqu'il date de 1891, est vu de nos jours comme une application du théorème de Tutte (en).

Le théorème a été généralisé : une conjecture, formulée par Michael D. Plummer et László Lovász dit que tout graphe cubique sans isthme possède un nombre exponentiel de couplages parfaits. Cette conjecture a été démontrée par Esperet, Kardoš, King et Kráľ en 2011[2].

Chemins hamiltoniens

Dans un graphe hamiltonien, on peut passer par tous les sommets une fois et une seule.

La plupart des graphes cubiques sont hamiltoniens, mais pas tous : la probabilité d'être hamiltonien tend vers 1 quand le nombre de sommets augmente indéfiniment[3].

Les graphes cubiques peuvent même être à la fois polyédriques, cubiques et non hamiltoniens, comme le montre le graphe de Tutte. Ils peuvent aussi être à la fois bicubiques et non hamiltoniens, comme le montrent le graphe de Horton ou le 54-graphe de Ellingham-Horton. La conjecture de Barnette (en), encore non prouvée et non infirmée pour le moment, affirme que tout graphe à la fois bicubique et polyédrique serait hamiltonien.

Quand un graphe cubique est hamiltonien, la notation LCF permet de le représenter de façon concise.

Références

  1. (de) Julius Peter Christian Petersen, « Die Theorie der regulären Graphs », Acta Mathematica, no 15, , p. 193–220 (DOI 10.1007/BF02392606, lire en ligne)
  2. Louis Esperet, František Kardoš, Andrew D. King, Daniel Kráľ et Serguei Norine, « Exponentially many perfect matchings in cubic graphs », Advances in Mathematics, vol. 227, no 4, , p. 1646–1664 (DOI 10.1016/j.aim.2011.03.015, arXiv 1012.2878).
  3. (en) R. W. Robinson et N. C. Wormald, « Almost all regular graphs are Hamiltonian », Random Structures and Algorithms, vol. 5, no 2, , p. 363–374 (DOI 10.1002/rsa.3240050209).

Liens externes

  • Portail des mathématiques
  • Portail de l'informatique théorique
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.