¿Cuáles serían las consecuencias teóricas de la complejidad de un algoritmo de tiempo cuasi-polinomial para el problema del isomorfismo gráfico?
Más o menos similar a las consecuencias del algoritmo de tiempo polinomial determinista para la prueba de primalidad, el algoritmo de tiempo polinomial determinista para programación lineal y el otro caso donde se conocían algoritmos prácticamente eficientes (aleatorizados) (con ejemplos patológicos raros donde el algoritmo se volvió ineficiente) y en uso durante mucho tiempo. Confirma la conjetura de que la eficiencia práctica es un buen indicador de la existencia de algoritmos teóricos deterministas que superan los problemas de los raros ejemplos patológicos.
¿Un algoritmo de tiempo cuasi-polinomial para IG refutaría cualquier conjetura famosa en la teoría de la complejidad?
No, las conjeturas más bien van al sitio opuesto, es decir, que GI está en P. Dado que GI está en NP, no será posible refutar este tipo de conjeturas en el corto plazo.
¿Podemos reducir eficientemente el problema de Dominio mínimo establecido en torneos a IG?
El conjunto de dominación mínima no es un problema de isomorfismo, por lo tanto, no hay ninguna razón por la que deba esperarse que sea reducible a IG.
¿Hay alguna conjetura que descarte que GI sea difícil para QP?
Ni siquiera sabemos cómo reducir el problema del isomorfismo de cuerdas a IG, y esto es al menos un problema de isomorfismo. La prueba de Babai mostró que el isomorfismo de cuerdas estaba en QP, así que ... ¿Y qué se supone que significa ser difícil para QP? ¿Duro bajo reducciones de tiempo polinomiales?
De la introducción de Sobre el grupo y los problemas de isomorfismo de color por François Le Gall y David J. Rosenbaum
La complejidad de los problemas de prueba de isomorfismo es digna de estudio, ya que son preguntas computacionales fundamentales y también porque no se sabe que muchos de ellos están en P, pero sin embargo parecen ser más fáciles que los problemas NP-completos. El más estudiado de estos es el problema del isomorfismo gráfico.
GI∗GrI∗se definen (en el documento anterior, pero los autores se preguntan con razón por qué nadie lo hizo antes), que agregan las piezas que faltan del problema del isomorfismo de cuerdas. (Y el problema de isomorfismo de color es solo un nombre diferente para el problema de isomorfismo de cadena. El problema de automorfismo de color de nombre se remonta a los documentos iniciales de Babai y Luks, el nombre de isomorfismo de cadena aparece más adelante en su documento sobre etiquetado canónico).
GI∗
Editar: Esta respuesta se dio en el contexto de la retracción del resultado de Babai, antes de que anunciara una solución. Sugiere que la ligera generalización del problema de isomorfismo gráfico sugerida por el problema de isomorfismo de cuerdas es el problema realmente importante. La expectativa implícita aquí es que cualquier algoritmo razonable para el problema del isomorfismo del gráfico conducirá a un algoritmo similar para el problema del isomorfismo del gráfico generalizado. El problema generalizado es el tiempo polinómico equivalente al problema del estabilizador de conjunto , el problema de intersección de grupo , el problema de intersección de coset, el problema de transportador de conjunto , ... La idea detrás de esta expectativa es que el problema generalizado ocurrirá en la parte recursivade cualquier algoritmo razonable, por lo que debe abordarse de todos modos. (Y es muy posible que el problema generalizado sea el tiempo polinómico equivalente al isomorfismo gráfico).
Ahora, los comentarios de Joshua Grochow indican que no tuve éxito al explicar la importancia conceptual de las piezas faltantes del problema del isomorfismo de cuerdas. Para estructuras infinitas, puede ser más fácil apreciar que un isomorfismo válido no solo debe preservar la estructura dada, sino también pertenecer a una categoría apropiada de funciones (por ejemplo, la categoría de funciones continuas). Para estructuras finitas, el fenómeno análogo ocurre principalmente para estructuras de cociente, donde la categoría apropiada de funciones debería ser compatible con los cocientes dados. El material de Johnson es un ejemplo típico de tales cocientes, por ejemplo, la lógica de partición está trabajando sobre los subconjuntos de dos elementos de algún conjunto base. También tenga en cuenta que restringir la categoría permitida para los isomorfismos a menudo facilita el problema de prueba de isomorfismo,
El problema con las generalizaciones del problema del isomorfismo gráfico es dónde detenerse. ¿Por qué no generalizar tanto como para abarcar el problema del isomorfismo del grupo de permutación? Esta pregunta es realmente difícil, ya que muchos resultados no triviales para el isomorfismo gráfico probablemente se trasladarán también al isomorfismo del grupo de permutación. Pero aquí se siente más razonable tratar la teoría del grupo de permutación computacional como un tema en sí mismo, incluso si de hecho tiene una estrecha conexión con el problema del isomorfismo gráfico.