Automorphisme de graphe
From Wikipedia, the free encyclopedia
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.
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].
