graph_isomorphism_problem