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...
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...
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...
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...
Lembro-me de ler um post do blog exibindo duas versões da mesma prova, uma escrita por um humano e a outra por uma máquina, e pedi aos leitores para dizer qual é qual. Tentando pesquisar no Google novamente, não consigo encontrar as palavras-chave corretas; a maioria das coisas me direciona para...
Eu sempre me perguntei se as provas em ciência da computação seriam consideradas provas suficientes da proposição se elas precisassem assumir leis físicas? Por exemplo, estou imaginando o que aconteceria se alguém algum dia provasse P! = NP sob a suposição da segunda lei da termodinâmica. Isso...
Depois de ler Efeitos como Sessões, Sessões como Efeitos , fiquei pensando como seria uma prova de equivalência entre os dois, ou mesmo uma prova dos tipos de Sessões como sendo um Sistema de Tipo e Efeito. De uma maneira mais genérica, como se pode provar uma relação (por exemplo, equivalência)...