AccueilđŸ‡«đŸ‡·Chercher

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 définir deux automorphismes sur le graphe maison : l'identité et la permutation qui échange les deux « murs » de la « maison ».

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 = (VE) est une permutation dans l'ensemble des sommets V telle qu'une paire de sommets (uv) 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

Le graphe de Frucht a beau ĂȘtre 3-rĂ©gulier, son seul automorphisme est l'identitĂ©.

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
DodécaÚdre
Graphe de Shrikhande
Graphe de Shrikhande
Graphe de Paley
Graphe de Paley
Graphe distance-transitif Graphe distance-régulier Graphe fortement régulier
Graphe F26A
Graphe F26A
Graphe de Nauru
Graphe de Nauru
Graphe symĂ©trique (arc-transitif) Graphe t-transitif, t ≄ 2
(si connexe)
Graphe de Holt
Graphe de Holt
Graphe de Folkman
Graphe de Folkman
Graphe biparti complet K3,5
Graphe biparti complet K3,5
Graphe demi-transitif Graphe semi-symĂ©trique Graphe arĂȘte-transitif
TétraÚdre tronqué
TétraÚdre tronqué
Graphe de Frucht
Graphe de Frucht
Graphe sommet-transitif Graphe régulier
Prisme triangulaire
Prisme triangulaire
Graphe de Cayley

Notes et références

(en) Cet article est partiellement ou en totalitĂ© issu de l’article de WikipĂ©dia en anglais intitulĂ© « Graph automorphism » (voir la liste des auteurs).
  1. Charles Delorme et M.-C. Heydemann, Graphes de Cayley - Définitions, site du Laboratoire de Recherche en Informatique de l'Université Paris-Sud.
  2. (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).
  3. (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).

Article connexe

Morphisme de graphes

Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplĂ©mentaires peuvent s’appliquer aux fichiers multimĂ©dias.