Abstract
We demonstrate a number of hard permutation group algorithmic problems, such as Group Intersection and Setwise Stabilizer, which become polynomially equivalent to the Graph Isomorphism Problem after restricting them to 2-closed permutation groups. It is shown that these problems are closely related to problems concerning coherent configurations. We also present a polynomial-time procedure for determining the 2-closure of a nilpotent group. This procedure provides a polynomial-time reduction of the 2-closure problem for odd order groups to the same problem for primitive odd order groups.
Similar content being viewed by others
References
Babai L., Grigor'ev D. Y., Mount D. M.: Isomorphism of graphs with bounded eigenvalue multiplicity. In: Proceedings of the 14th ACM STOC, pp. 310–324 (1982)
Babai L., Luks E. M., Seress, A.: Fast management of permutation groups. In: Proceedings of the 29th Ann. Symp. Found. Comput. Sci, pp. 272–282 (1988)
Higman D. G.: Coherent configurations 1. Rend. del Sem. Math. Univ. Padova.44, 1–25 (1970)
Hoffman C. M.: Group theoretic algorithms and graph isomorphism. In: Lect. Notes in Comp. Sci. Berlin, Heidelbeg, New York: Springer, vol. 136 (1982)
Kaluznin L. A., Klin M. H.: On certain maximal subgroups of symmetric and alternating groups. Mat. Sbornik87, 91–121 (1972) (In Russian)
Kantor W. M.: Sylow's theorem in polynomial time. J. Comp. Syst. Sci.30, 359–394 (1985)
Key J. D., Siemons J.: On thek-closure of finite linear groups. Boll. Un. Matem. Ital.1-B(1), 31–56 (1987)
Liebeck M. W., Praeger C. E., Saxl J.: On the 2-closures of finite permutation groups. J. Lond. Math. Soc.37, 241–252 (1988)
Luks E. M.: Isomorphism of graphs of bounded valence can be tested in polynomial time. J. Comput. Syst. Sci.25, 42–65 (1982)
Mathon R.: A note on the graph isomorphism counting problem. Inform. Process. Lett.8, 131–132 (1979)
Palfy, P.: A polynomial bound for the orders of primitive solvable groups. J. Algebra,77, 127–137 (1982)
Ponomarenko I. N.: Polynomial-time recognizing and isomorphism testing for cyclic tournaments. In: Notes of the Leningrad branch of the Steklov Mathematical Institute, vol. 192, 75–112. Nauka, 1991 (In Russian)
Ju. Weisfeiler B.: On Construction and Identification of Graphs. Lecture Notes. Berlin, Heidelberg, New York: Springer, vol. 558, 1976
Wielandt H.: Finite permutation groups. Academic Press: New York, London 1964
Wieland H.: Permutation groups through invariant relations and invariant functions. Ohio State Univ. Lecture Notes 1969
Zelikowski, A. Z.: König problem for abelian groups. Vescii AN BSSR Ser. Fiz. Mat.,5, 34–39, (1989) (In Russian)
Zemlyachenko V. N., Kornienko N. M., Tyshkevich, R. I.: Graph isomorphism problem. In: Notes of the Leningrad branch of the Steklov Mathematical Institute,118, 83–158. Nauka, (1982) (In Russian)
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Ponomarenko, I.N. Graph isomorphism problem and 2-closed permutation groups. AAECC 5, 9–22 (1994). https://doi.org/10.1007/BF01196622
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01196622