Tengo una pregunta (con suerte simple, tal vez tonta) en el documento histórico de Babai que muestra que es cuasipolinomial.
Babai mostró cómo producir un certificado de que dos gráficas para i ∈ { 1 , 2 } son isomorfas, en el tiempo cuasipolinomiales en v = | V i | .
¿Babai realmente mostró cómo encontrar un elemento que permute los vértices de G 1 a G 2 , o el certificado es simplemente una declaración de existencia?
Si un oráculo me dice que y G 2 son isomórficos, ¿todavía necesito revisar todos los v ! permutaciones de los vértices?
Pregunto porque también pienso en la equivalencia de nudos. Por lo que yo sé, no se sabe ser, pero decir detectando la unknot estaban en . En realidad, encontrar una secuencia de movimientos Reidemeister que desate el nudo aún podría llevar un tiempo exponencial ...