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 complet K4 est le plus petit graphe cubique. Le graphe biparti complet K3,3 est le plus petit graphe cubique non-planaire. Le graphe de Petersen est le plus petit graphe cubique de maille 5. Le graphe de Heawood est le plus petit graphe cubique de maille 6. Le graphe de Frucht est le plus petit graphe cubique à être un graphe asymétrique. Le 110-graphe de Iofinova-Ivanov est un graphe 3-régulier cubique biparti et hamiltonien. Une conséquence du lemme des poignées de main est que tout graphe cubique a un nombre pair de sommets. 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. Complete graph K4 4COL.svg|Le graphe complet K_4 est le seul graphe cubique nécessitant 4 couleurs Frucht graph 3COL.svg|Coloration du [[graphe de Frucht]] avec 3 couleurs Graph K3-3.svg|K_{3,3} est un graphe bicubique, 2 couleurs suffisent PetersenBarveniHran.svg|Les arêtes du graphe de Petersen, un snark, ont besoin de 4 couleurs 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. Le théorème de Petersen précise que tout graphe cubique sans isthme possède un couplage parfait. 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.