¿Hay alguna manera de que un probador pueda convencer a un verificador de que alguna expresión de HORN-SAT es satisfactoria? Por supuesto, esto puede parecer una tontería, ya que existen algoritmos de tiempo lineal para HORN-SAT. Por otro lado, HORN-SAT es P-completo, lo que significa que no tiene...
En la mayoría de los sistemas de prueba probabilística (teorema PCP, por ejemplo), las probabilidades de error generalmente se definen del lado de los falsos positivos, es decir, una definición típica podría verse así: si , el verificador siempre acepta, pero en En otro caso, la probabilidad de...
Defina que el modelo computacional MPostBQP sea idéntico a PostBQP, excepto que permitimos polinómicamente muchas mediciones de qubit antes de la selección posterior y la medición final. ¿Podemos dar alguna evidencia que indique que MPostBQP es más poderoso que PostBQP? Defina MPostBQP [k]...
IP (2pfa) y AM (2pfa) son las clases de lenguajes reconocidos con error acotado por versiones de monedas públicas y privadas, respectivamente, de sistemas de prueba interactivos con verificadores que son autómatas finitos probabilísticos con un cabezal de entrada de dos vías. ¿Se conocen...
Recuerdo haber leído una publicación de blog que mostraba dos versiones de la misma prueba, una escrita por un humano y la otra por una máquina, y les pedí a los lectores que dijeran cuál es cuál. Tratando de buscar en Google la publicación nuevamente, parece que no puedo encontrar las palabras...
Siempre me he preguntado si las pruebas en ciencias de la computación se considerarían pruebas suficientes de la propuesta si tuvieran que asumir leyes físicas. Por ejemplo, me pregunto qué pasaría si algún día alguien probara P! = NP bajo el supuesto de la segunda ley de la termodinámica....
Después de leer Efectos como Sesiones, Sesiones como Efectos , me preguntaba cómo podría tener lugar una prueba de equivalencia entre ambos, o incluso, una prueba de que los tipos de Sesiones son un Sistema de Tipo y Efecto. De una manera más genérica, ¿cómo se puede probar una relación (por...