Автоморфизм графа

Автоморфизм графа (Automorphism of a graph) — произвольная подстановка $\varphi$ на множестве вершин графа, сохраняющая отношение смежности; т.е. $\varphi$ такова, что образы $\varphi(u)$ и $\varphi(v)$ вершин $u$ и $v$ смежны тогда и только тогда, когда смежны сами вершины $u$ и $v$ . Иными словами, автоморфизм графа — это изоморфизм графа на себя.