Abstract
In this paper, we study the computation complexity of some algebraic combinatorial problems that are closely associated with the graph isomorphism problem. The key point of our considerations is a relation algebra which is a combinatorial analog of a cellular algebra. We present upper bounds on the complexity of central algorithms for relation algebras such as finding the standard basis of extensions and intersection of relation algebras. Also, an approach is described to the graph isomorphism problem involving Schurian relation algebras (these algebras arise from the centralizing rings of permutation groups). We also discuss a number of open problems and possible directions for further investigation. Bibliography: 18 titles.
Similar content being viewed by others
Literature Cited
G. M. Adel'son-Velskij, B. Yu. Weisfeiler, A. A. Leman, and I. A. Faradjev, “On an example of a graph whose automorphism group is not transitive,”Dokl. Akad. Nauk SSSR,185, 975–976 (1969).
A. V. Aho, J. E. Hopcroft, and J. D. Ullman,The Design and Analysis of Computer Algorithms, Addison-Wesley, Reading, Massachusetts (1974).
E. Bannai and T. Ito,Algebraic Combinatorics: Association Schemes, Benjamin, California (1984).
V. N. Zemlyachenko, N. M. Kornienko, and R. I. Tyshkevich, “Graph isomorphism problems,”Zap. Nauchn. Semin. LOMI,118, 83–158 (1982).
M. H. Klin and I. A. Faradjev, “The method ofV-rings in the theory of permutation groups and its combinatorial applications,” in:Investigations in Applied Graph Theory [in Russian], Nauka, Novosibirsk (1986), pp. 59–97.
I. N. Ponomarenko, “On the imprimitivity of a class ofS-rings,” in:Mathematical Methods of Algorithm Design and Analysis [in Russian], Leningrad (1990), pp. 154–162.
I. N. Ponomarenko, “Polynomial-time algorithms for recognizing and isomorphism testing of cyclic tournaments,”Acta Appl. Math.,29, 139–160 (1992).
L. Babai, “On the complexity of canonical labeling of strongly regular graphs,”SIAM J. Comput.,9, 212–216 (1980).
L. Babai, D. Y. Grigoriev, and D. M. Mount, “Isomorphism of graphs with bounded eigenvalue multiplicity,”Proc. 14th ACM STOC, 310–324 (1982).
L. Babai and E. M. Luks, “Canonical labeling of graphs,”Proc. 15th ACM STOC, 1–15 (1983).
L. Babai, W. M. Kantor, and E. M. Luks, “Computational complexity and the classification of finite simple groups,”Proc. 24th FOCS, 162–171 (1983).
D. G. Higman, “Coherent algebras,”Linear Algebra Appl.,93, 209–239 (1987).
W. M. Kantor and E. M. Luks, “Computing in quotient groups,”Proc. 22th ACM STOC, 524–534 (1990).
R. Mathon, “A note on the graph isomorphism counting problem,”Inform. Process. Lett.,8, 131–132 (1979).
G. L. Miller, “Isomorphism testing for graphs of bounded genus,”Proc. 12th ACM STOC, 225–235 (1980).
R. Pöschel, “Untersuchungen vonS.-Ringen, insbesondere im Gruppenring vonp-Gruppen”,Math. Nachr.,60, 1–27 (1974).
B. Weisfeiler (editor), “On the construction and identification of graphs,”Lect. Notes Math.,558 (1976).
H. Wielandt, “Permutation groups through invariant relations and invariant functions,”Lect. Notes Dept. Math., Ohio St. Univ., Columbus, Ohio (1969).
Additional information
Translated by I. N.Ponomarenko.
Translated fromZapiski Nauchnykh Seminarov POMI, Vol 202, 1992, pp. 116–134.
Rights and permissions
About this article
Cite this article
Ponomarenko, I.N. On computation complexity problems concerning relation algebras. J Math Sci 79, 1105–1114 (1996). https://doi.org/10.1007/BF02366131
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02366131