Preguntas etiquetadas con interactive-proofs

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 rechazo es …

10 cc.complexity-theory  pcp  interactive-proofs 

¿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 algoritmos de …

10 cc.complexity-theory  interactive-proofs  zero-knowledge 

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] para permitir múltiples rondas de medición y …

9 cc.complexity-theory  complexity-classes  quantum-computing  interactive-proofs 

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 propiedades de cierre de estas clases?

9 cc.complexity-theory  interactive-proofs