Geodesic
On generic complexity of the isomorphism problem for finite semigroups
Prikladnaâ diskretnaâ matematika, no. 1 (2021), pp. 120-128.

Voir la notice de l'article provenant de la source Math-Net.Ru

Generic-case approach to algorithmic problems was suggested by A. Miasnikov, V. Kapovich, P. Schupp, and V. Shpilrain in 2003. This approach studies behavior of an algorithm on typical (almost all) inputs and ignores the rest of inputs. In this paper, we study the generic complexity of the isomorphism problem for finite semigroups. In this problem, for any two semigroups of the same order, given by their multiplication tables, it is required to determine whether they are isomorphic. V. Zemlyachenko, N. Korneenko, and R. Tyshkevich in 1982 proved that the graph isomorphism problem polynomially reduces to this problem. The graph isomorphism problem is a well-known algorithmic problem that has been actively studied since the 1970s, and for which polynomial algorithms are still unknown. So from a computational point of view the studied problem is no simpler than the graph isomorphism problem. We present a generic polynomial algorithm for the isomorphism problem of finite semigroups. It is based on the characterization of almost all finite semigroups as 3-nilpotent semigroups of a special form, established by D. Kleitman, B. Rothschild, and J. Spencer, as well as the Bollobas polynomial algorithm, which solves the isomorphism problem for almost all strongly sparse graphs.
Keywords: generic complexity, finite semigroups, isomorphism problem. 
@article{PDM_2021_1_a6,
     author = {A. N. Rybalov},
     title = {On generic complexity of the isomorphism problem for finite semigroups},
     journal = {Prikladna\^a diskretna\^a matematika},
     pages = {120--128},
     publisher = {mathdoc},
     number = {1},
     year = {2021},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/PDM_2021_1_a6/}
}
TY  - JOUR
AU  - A. N. Rybalov
TI  - On generic complexity of the isomorphism problem for finite semigroups
JO  - Prikladnaâ diskretnaâ matematika
PY  - 2021
SP  - 120
EP  - 128
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PDM_2021_1_a6/
LA  - ru
ID  - PDM_2021_1_a6
ER  - 
%0 Journal Article
%A A. N. Rybalov
%T On generic complexity of the isomorphism problem for finite semigroups
%J Prikladnaâ diskretnaâ matematika
%D 2021
%P 120-128
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDM_2021_1_a6/
%G ru
%F PDM_2021_1_a6
A. N. Rybalov. On generic complexity of the isomorphism problem for finite semigroups. Prikladnaâ diskretnaâ matematika, no. 1 (2021), pp. 120-128. http://geodesic.mathdoc.fr/item/PDM_2021_1_a6/

[1] Zemlyachenko V. N., Korneenko N. M., Tyshkevich R. I., “The graph isomorphism problem”, Zapiski Nauchnyh Seminarov LOMI, 118, 1982, 83–158 (in Russian) | MR | Zbl

[2] I. Kapovich, A. Miasnikov, P. Schupp, V. Shpilrain, “Generic-case complexity, decision problems in group theory and random walks”, J. Algebra, 264:2 (2003), 665–694 | DOI | MR | Zbl

[3] L. Babai, P. Erdos, S. Selkow, “Random graph isomorphism”, SIAM J. Computing, 9:3 (1980), 628–635 | DOI | MR | Zbl

[4] B. Bollobas, “Distinguishing of vertices of random graphs”, Ann. Discrete Math., 13 (1982), 33–50 | MR

[5] D. J. Kleitman, B. R. Rothschild, J. H. Spencer, “The number of semigroups of order $n$”, Proc. Amer. Math. Soc., 55:1 (1976), 227–232 | MR | Zbl