Preguntas etiquetadas con graph-isomorphism

Dos gráficos G, H son isomórficos si hay un re-etiquetado de los vértices de G que produce H, y viceversa. El problema del isomorfismo gráfico (GI) es decidir si dos dados son isomorfos. Además de su interés práctico, fue identificado por Karp en 1972 como de complejidad desconocida, es uno de los pocos candidatos naturales restantes para un problema intermedio NP y condujo a la creación de la clase de complejidad AM.

1
¿Cómo citar el nuevo resultado del isomorfismo gráfico de Babai?
Recientemente, Babai ha publicado un artículo sobre STOC 2016 alegando que el isomorfismo gráfico puede resolverse en tiempo cuasipolinomial. A principios de 2017, Babai se retractó del reclamo cuasipolinomial debido a algunos errores graves encontrados por Harald Helfgott. Como lo explicó el propio Babai, esta falla hace que la mejora …
1
Generando gráficos con automatismos triviales
Estoy revisando un modelo criptográfico. Para mostrar su insuficiencia, he diseñado un protocolo artificial basado en el isomorfismo gráfico. Es "común" (¡pero controvertido!) Asumir la existencia de algoritmos BPP capaces de generar "instancias difíciles del problema del isomorfismo gráfico". (Junto con un testigo de isomorfismo). En mi protocolo artificial, voy …
2
¿El algoritmo de tiempo cuasipolinomial
Tengo una pregunta (con suerte simple, tal vez tonta) en el documento histórico de Babai que muestra que es cuasipolinomial.GIGI\mathsf{GI} 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 …
Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.