Perguntas com a marcação «interactive-proofs»

Na maioria dos sistemas de prova probabilística (teorema do PCP, por exemplo), as probabilidades de erro são geralmente definidas no lado dos falsos positivos, ou seja, uma definição típica pode parecer: se , o verificador sempre aceita, mas em outro caso, a probabilidade de rejeição é de pelo menos 1/2.x …

10 cc.complexity-theory  pcp  interactive-proofs 

Existe uma maneira de um provador convencer um verificador de que alguma expressão HORN-SAT é satisfatória? Claro que isso pode parecer bobagem, já que existem algoritmos de tempo lineares para o HORN-SAT. Por outro lado, HORN-SAT é P-completo, o que significa que não possui algoritmos de espaço de log, a …

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

Defina o modelo computacional MPostBQP para ser idêntico ao PostBQP, exceto que permitimos polinomialmente muitas medições de qubit antes da pós-seleção e medição final. Podemos dar alguma evidência indicando que o MPostBQP é mais poderoso que o PostBQP? Defina MPostBQP [k] para permitir várias rodadas de medição e pós-seleção antes …

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

IP (2pfa) e AM (2pfa) são as classes de idiomas reconhecidas com erro limitado por versões de moedas públicas e privadas, respectivamente, de sistemas de provas interativas com verificadores que são autômatos finitos probabilísticos com um cabeçote de entrada bidirecional. Existem propriedades de fechamento dessas classes conhecidas?

9 cc.complexity-theory  interactive-proofs