Polynomial time and space exact and heuristic algorithms for determining the generators, orbits and order of the graph automorphism group