Graphe hexaédrique
Le graphe hexaédrique est, en théorie des graphes, un graphe 3-régulier possédant 8 sommets et 12 arêtes. C'est le squelette du cube, un solide de Platon ayant 6 faces, toutes carrées.
Graphe hexaédrique | |
Représentation du graphe hexaédrique. | |
Nombre de sommets | 8 |
---|---|
Nombre d'arêtes | 12 |
Distribution des degrés | 3-régulier |
Rayon | 3 |
Diamètre | 3 |
Maille | 4 |
Automorphismes | 48 |
Nombre chromatique | 2 |
Indice chromatique | 3 |
Propriétés | Arête-transitif Biparti Cubique Distance-régulier Distance-unité Hamiltonien Parfait Planaire Régulier Sommet-transitif |
Construction
Il existe cinq graphes correspondant aux squelettes des cinq solides de Platon. Le graphe hexaédrique est l'un d'eux. Les quatre autres sont le graphe tétraédrique, le graphe octaédrique, le graphe dodécaédrique et le graphe icosaédrique.
Le graphe hexaédrique est également isomorphe au graphe de Petersen généralisé G(4,1) et au graphe biparti de Kneser . C'est un cas de graphe couronne.
Une autre façon de construire le graphe hexaédrique est de le considérer comme un hypercube en dimension 3. On peut alors le définir comme le produit cartésien[1] de 3 graphes complets , soit :
Le line graph du graphe hexaédrique est le graphe cuboctaédrique.
Propriétés
Propriétés générales
Le diamètre du graphe hexaédrique, l'excentricité maximale de ses sommets, est 3, son rayon, l'excentricité minimale de ses sommets, est 3 et sa maille, la longueur de son plus court cycle, est 4. Il s'agit d'un graphe 3-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 3 sommets ou de 3 arêtes.
Le graphe hexaédrique est planaire. Il a la particularité de pouvoir se représenter sur un plan sans qu'aucune arête n'en croise une autre. À partir de cette représentation, il est possible de définir son graphe dual. C'est le graphe dont les sommets correspondent aux faces du graphe hexaédrique et où deux sommets sont adjacents s'ils correspondent à deux faces adjacentes. Ce dual est isomorphe au graphe octaédrique.
Coloration
Le nombre chromatique du graphe hexaédrique est 2. C'est-à-dire qu'il est possible de le colorer avec 2 couleurs de telle façon que deux sommets reliés par une arête soient toujours de couleurs différentes. Ce nombre est minimal.
L'indice chromatique du graphe hexaédrique est 3. Il existe donc une 3-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 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 admet pour racines tous les entiers positifs ou nuls strictement inférieurs à 2 et est de degré 8. Il est égal à : .
Propriétés algébriques
Le graphe hexaédrique est 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 hexaédrique est l'unique graphe cubique symétrique à 8 sommets et sa notation dans le Foster Census est F8A[2],[3].
Le groupe d'automorphisme du graphe hexaédrique est d'ordre 48 et est isomorphe au produit en couronne des groupes symétriques et : [4]. Le produit en couronne de A et B étant défini comme le produit semi-direct où est l'ensemble des fonctions de A dans B et où A agit sur par décalage d'indice :
L'hypercube est un graphe de Cayley Cay(G, S) avec :
Cela découle d'une propriété plus générale statuant que tous les graphes de Hamming sont des graphes de Cayley[5].
Le polynôme caractéristique de la matrice d'adjacence du graphe hexaédrique est : . Il n'admet que des racines entières. Le graphe hexaédrique est donc un graphe intégral, un graphe dont le spectre est constitué d'entiers.
Voir aussi
Liens internes
Liens externes
- (en) Eric W. Weisstein, Cubical Graph (MathWorld)
Références
- (fr) J-C. Bermond, P. Fraigniaud, A. Germa, M-C. Heydemann, E. Lazard, P. Michallon, A. Raspaud, D. Sotteau, M. Syska et D. Trystram - Communications dans les réseaux de processeurs, Masson, 1994, (ISBN 2225844100). Paru sous le pseudonyme Jean de Rumeur.
- (en) Conder, M. and Dobcsányi, P. "Trivalent Symmetric Graphs Up to 768 Vertices." J. Combin. Math. Combin. Comput. 40, 41-63, 2002
- (en) Royle, G. "Cubic Symmetric Graphs (The Foster Census)."
- (en) F. Harary - The Automorphism Group of a Hypercube, Journal of Universal Computer Science, volume 6, pages 136-138, 2000.
- (en) Cai Heng Li - Cayley graph in Encyclopaedia of Mathematics, Springer, (ISBN 1402006098). on-line
- Portail des mathématiques