Últimamente he estado aprendiendo sobre pruebas interactivas y me he estado preguntando si todo esto no era más que una curiosidad teórica, o si tenía alguna aplicación práctica. Pensé comenzar con un ejemplo que se me ocurrió en la ducha:
Últimamente ha salido la noticia de que "Número de Dios" = 20. (El número de Dios es el número mínimo de pasos necesarios para resolver el Cubo de Rubik). Si bien esto es bastante interesante, parece haber un pequeño giro ... Esta no es una prueba "normal" en el libro de texto, sentido verificable del tiempo polinómico. Esta prueba tiene un sabor distintivo de "fuerza bruta": quiero decir, los tipos del laboratorio del Dr. Morley intentaron con miles de millones de combinaciones de cubos en las supercomputadoras masivas de Google para encontrar este límite inferior limpio y ajustado.
De todos modos, la pregunta es: ¿cómo podemos estar seguros de que el Dr. Morley Davidson y su equipo son honestos? Bueno, de inmediato puede arrojar el argumento de la autoridad por la ventana, ya que no es matemáticamente riguroso. La alternativa obvia es volver a verificar la prueba, verificando el código fuente y ejecutando todo de nuevo, lo que parece ser un terrible desperdicio de recursos computacionales, sin mencionar el hecho de que todos los que quisieran estar convencidos de esto necesita hacerlo en su propia estación de trabajo, una propuesta muy tediosa y desagradable para el verdadero escéptico. Entonces esto parece ser una especie de deilema ontológico.
Entonces, lo que creo es que esta es exactamente una situación en la que necesitamos una prueba interactiva . La Supercomputadora de Google podría ser el Prover todo poderoso pero engañoso, y nosotros los escépticos, si no miembros anales del público, somos los Verificadores acotados polinómicamente. Si de alguna manera pudiéramos consultar a nuestro "Oráculo" un número polinómico de veces, y convencernos de este límite inferior, podríamos convencernos del hecho de que tiene razón, más allá de toda duda razonable.
Por lo tanto, parece que el problema de decisión "Número de Dios es <20" mentiras en o pueden ser actualizados como sigue (de manera informal)
Para todas las combinaciones iniciales en el Cubo de Rubik, existe una solución que toma <= 20 pasos, β que lo resuelve.
(no estoy seguro de si eso es correcto, pero y β son de tamaño pequeño, dada una configuración inicial y una solución, es fácil verificar que realmente resuelve el cubo)
y el problema de Decisión "El número de Dios es 20" puede reexpresarse como
El número de Dios es <20 y existe una solución para una combinación inicial del cubo de Rubik que toma 20 pasos.
Entonces probablemente haya una prueba de IP [n] para esto. (una vez más, revisa mi funcionamiento)
Mi pregunta es doble
- ¿Hay alguna forma real de hacer esto?
- ¿Qué otros ejemplos de usos "prácticos" de pruebas interactivas existen?
fuente
Respuestas:
Usando sus técnicas, Shamir demostró que IP = PSPACE .
Anteriormente se demostró que todas las IP tienen pruebas de conocimiento cero , por lo que:
Todos los idiomas en PSPACE tienen pruebas interactivas de conocimiento cero.
fuente
fuente