Graph_automorphism_problem