¿El problema de isomorfismo de semigrupo inverso finito es GI completo ? Aquí se supone que los semigrupos inversos finitos están dados por sus tablas de multiplicar.
cc.complexity-theory
graph-isomorphism
Thomas Klimpel
fuente
fuente
Respuestas:
Sí, ¡el problema de isomorfismo de semigrupo inverso finito es GI completo! Este es un corolario de
de la sección 7.2 Enrejados y Posets en
porque una (semi-) red también es un semigrupo inverso (idempotente conmutativo).
Prueba de teorema del informe técnico:
La idea de esta respuesta surgió de una discusión con vzn sobre preguntas suficientemente enfocadas . La motivación para dedicar tiempo al isomorfismo gráfico también provino de la repetida insistencia de vzn. J.-E. Pin preguntó en el comentario si hay alguna razón específica para considerar los semigrupos inversos. La idea era tener una estructura de grupos ligeramente generalizadores, que es GI completo. Quería comprender mejor la relación entre el isomorfismo grupal y el isomorfismo gráfico, pero me temo que esta respuesta no proporciona ninguna idea de este tipo.
fuente