How to Use
Select graph:
- |Aut|: Group size
- Transitive: Vertex/edge
- Orbits: Symmetry classes
Transitive Graphs
Vertex-transitive: for any u,v, some automorphism maps u to v. All vertices 'look the same'. Examples: K_n, C_n, Petersen, hypercubes. Edge-transitive: same for edges. Arc-transitive: same for directed edges.
Computing Aut(G)
Practical: nauty (McKay) and bliss algorithms. Theoretical worst case: comparable to graph isomorphism. For most graphs, |Aut(G)|=1 (asymmetric). Random graphs are almost surely asymmetric.
Step-by-Step Instructions
- 1Select graph.
- 2Compute |Aut(G)|.
- 3Find orbits.
- 4Check transitivity.
- 5Identify group.