Compute the automorphism group of the cycle graph on 5 vertices and verify it is isomorphic to the dihedral group D5.
Compute the automorphism group of the complete graph on 4 vertices and verify it is isomorphic to the symmetric group S4.
Compute the automorphism group of the Petersen graph and display its order.