Automorphisme de graphe
En mathĂ©matiques et en particulier en thĂ©orie des graphes, un automorphisme de graphe est une bijection de l'ensemble des sommets vers lui-mĂȘme qui prĂ©serve l'ensemble des arĂȘtes.
On peut voir l'automorphisme de graphes comme un isomorphisme de graphes du graphe dans lui-mĂȘme. On peut en gĂ©nĂ©ral s'arranger pour mettre en Ă©vidence visuellement les automorphismes de graphes sous forme de symĂ©tries dans le tracĂ© du graphe.
DĂ©finition formelle
Un automorphisme f d'un graphe G = (V, E) est une permutation dans l'ensemble des sommets V telle qu'une paire de sommets (u, v) forme une arĂȘte si et seulement si (f(u), f(v)) forme aussi une arĂȘte.
Les automorphismes peuvent ĂȘtre dĂ©finis ainsi Ă la fois dans le cas des graphes orientĂ©s et des graphes non orientĂ©s.
Propriétés
Tout graphe possĂšde au moins un automorphisme, l'identitĂ©, qui transforme chaque sommet en lui-mĂȘme.
Si f est un automorphisme dans un graphe G et si u est un sommet de ce graphe, alors :
Autrement dit, un automorphisme de graphe ne modifie pas le degré des sommets d'un graphe. La réciproque n'est pas vraie : ce n'est pas parce qu'une permutation des sommets d'un graphe ne modifie pas leur degré que c'est un automorphisme[1].
Composition d'automorphismes
La composition de deux automorphismes est un autre automorphisme. L'ensemble des automorphismes d'un mĂȘme graphe muni de l'opĂ©ration de composition forme un groupe, le groupe des automorphismes de ce graphe.
En sens inverse, le thĂ©orĂšme de Frucht montre que tous les groupes peuvent ĂȘtre reprĂ©sentĂ©s par le groupe des automorphismes d'un graphe connexe[2], et mĂȘme d'un graphe cubique[3].
Les familles de graphes définies par leurs automorphismes
Plusieurs familles de graphes sont définies d'aprÚs leurs automorphismes :
- Un graphe asymétrique est un graphe dont le seul automorphisme est l'identité (illustration).
- Un graphe sommet-transitif est un graphe dans lequel n'importe quel sommet peut ĂȘtre transformĂ© en n'importe quel autre sommet par un automorphisme.
- Un graphe arĂȘte-transitif est un graphe dans lequel n'importe quelle arĂȘte peut ĂȘtre transformĂ©e en n'importe quelle autre arĂȘte par un automorphisme.
- Un graphe symĂ©trique est un graphe dans lequel n'importe quelle paire de sommets adjacents peut ĂȘtre transformĂ©e par un automorphisme en une autre paire de sommets adjacents.
- Un graphe graphe distance-transitif est un graphe dans lequel n'importe quelle paire de sommets peut ĂȘtre transformĂ©e en n'importe quelle autre paire de sommets Ă la mĂȘme distance l'un de l'autre par un automorphisme.
- Un graphe semi-symĂ©trique est un graphe qui est arĂȘte-transitif mais pas sommet-transitif.
- Un graphe demi-transitif est un graphe qui est arĂȘte-transitif et sommet-transitif, mais pas symĂ©trique.
Les relations d'inclusion entre ces familles sont indiquées par le schéma suivant :
DodécaÚdre |
Graphe de Shrikhande |
Graphe de Paley | ||
Graphe distance-transitif | Graphe distance-régulier | Graphe fortement régulier | ||
Graphe F26A |
Graphe de Nauru | |||
Graphe symétrique (arc-transitif) | Graphe t-transitif, t ℠2 | |||
Graphe de Holt |
Graphe de Folkman |
Graphe biparti complet K3,5 | ||
Graphe demi-transitif | Graphe semi-symĂ©trique | Graphe arĂȘte-transitif | ||
TétraÚdre tronqué |
Graphe de Frucht | |||
Graphe sommet-transitif | Graphe régulier | |||
Prisme triangulaire | ||||
Graphe de Cayley | ||||
Notes et références
- Charles Delorme et M.-C. Heydemann, Graphes de Cayley - Définitions, site du Laboratoire de Recherche en Informatique de l'Université Paris-Sud.
- (de) R. Frucht, « Herstellung von Graphen mit vorgegebener abstrakter Gruppe », Compositio Mathematica, vol. 6,â , p. 239â250 (ISSN 0010-437X, zbMATH 0020.07804, lire en ligne).
- (en) R. Frucht, « Graphs of degree three with a given abstract group », Canadian Journal of Mathematics, vol. 1, no 4,â , p. 365â378 (ISSN 0008-414X, DOI 10.4153/CJM-1949-033-6, lire en ligne).