Dada generadores fuertes para un grupo que actúa sobre bitstrings de longitud n y un elemento s ∈ { 0 , 1 } n , lo difícil que es para calcular el elemento lexicográficamente mínima de G . s , la órbita de s en G ?
1
Claramente, el isomorfismo de cuerdas en el sentido de Babai es reducible a este problema, dado que las cadenas y el grupo G simplemente podemos encontrar sus representantes mínimos de órbita como arriba y compararlos directamente, pero no está claro que si el isomorfismo de cuerdas es fácil, entonces esto Ser fácil sigue. Voy a ver si el artículo de Babai indica cómo hacer esto.
—
Samuel Schlesinger el
El artículo de Babai no aborda esta pregunta; en P. 11 él dice explícitamente que el documento no trata la cuestión de las formas normales. Eso no quiere decir que las técnicas no puedan ser útiles para encontrar una forma normal, solo que hacerlo sería una contribución no trivial.
—
Joshua Grochow
Gracias @JoshuaGrochow No estoy seguro de tener los antecedentes para usar estas técnicas, pero veré qué puedo hacer. Es adecuadamente difícil, incluso si es cuasipolinomial, que ya no es útil para mí en la forma en que quería usarlo.
—
Samuel Schlesinger el
Si está interesado en soluciones concretas a este problema, le recomiendo que eche un vistazo a las publicaciones de T. Junttila (a quien cito en mi respuesta), especialmente su tesis doctoral y su trabajo sobre isomorfismo gráfico y simetrías en general.
—
Boson