Shiva Kintali acaba de anunciar un resultado (¡genial!) De que el isomorfismo gráfico para gráficos de ancho de árbol acotado de ancho es -hard . Informalmente, mi pregunta es: "¿Qué tan difícil es eso?"
Sabemos que no uniformemente , vea las respuestas a esta pregunta . También sabemos que es poco probable que , vea las respuestas a esta pregunta . ¿Qué tan sorprendente sería si ? He escuchado a muchas personas decir que no sería impactante como lo haría .
¿Cuáles son las consecuencias de ?
Definición: es el conjunto de lenguajes reconocidos por una máquina de Turing no determinista que solo puede distinguir entre un número par o un número impar de rutas de "aceptación" (en lugar de un número cero o no cero de rutas de aceptación), y que se restringe aún más al trabajo en el espacio logarítmico.
fuente
Bueno, si entonces la simulación de los circuitos estabilizadores está en , ya que Aaronson y Gottesman (Physical Review A 70, 052328) demostraron que dicha simulación está completa para con reducciones de espacio logarítmico, o más débilmente que simular redes CNOT. en . De manera equivalente, si la simulación de este tipo de circuitos se encuentra en entonces . Personalmente, esto me resultaría sorprendente, pero no en la caída de mi silla me resultaría sorprendente .L=⊕L L ⊕L L L L=⊕L P=NP
fuente