Existem muitas situações em que uma "prova" aleatória é muito mais fácil do que uma prova determinística, o exemplo canônico é o teste de identidade polinomial. Pergunta : Existem "teoremas" matemáticos naturais em que uma prova aleatória é conhecida, mas uma prova determinística não? Por uma...
O sistema de prova probabilística é comumente referido como uma restrição de , onde Arthur pode usar apenas bits aleatórios e apenas examinar g (n) bits do certificado de prova enviado por Merlin (consulte http://en.wikipedia.org/wiki/Interactive_proof_system#PCP
Na minha introdução ao curso de programação, estamos aprendendo sobre o método Initialization-Maintenance-Termination de provar que um algoritmo faz o que esperamos. Mas apenas tivemos que provar que um algoritmo já conhecido como correto está correto. Nunca fomos solicitados a mostrar que um...
No artigo de Razborov-Rudich, Natural Proofs , página 6, na parte em que discutem que existem "fortes provas de limites inferiores contra modelos de circuitos monótonos " e como elas se encaixam na figura, existem as seguintes frases: Aqui a questão não é construtividade - as propriedades usadas...
As provas naturais são uma barreira para provar limites inferiores na complexidade do circuito das funções booleanas. Eles não implicam diretamente tal barreira na comprovação de limites mais baixos na complexidade do circuito . Existe algum progresso para identificar essas barreiras? Existem...
Preâmbulo. A classe de complexidade AM são os problemas que podem ser resolvidos por um sistema de prova interativa de duas etapas entre um provador "Merlin" e um verificador "Arthur". Um problema - que testa alguma propriedade de um objeto X - está em AM se: Para casos SIM , para uma mensagem...
Minha primeira pergunta é se uma caracterização interativa de sistema de prova é conhecida por todas as classes clássicas de complexidade. Eu chamaria funções clássicas de P, NP, PSPACE, EXP, NEXP, EXPSPACE, recursivas e recursivamente enumeráveis (entre outras). Especificamente, uma...
Como convencer a Coq de que a função recursiva fornecida abaixo termina? A função usa dois argumentos indutivos. Intuitivamente, a recursão termina porque um dos argumentos é decomposto. Especificamente, a função aceita duas árvores como entrada. Inductive Tree := | Tip: Tree | Bin: Tree ->...
Beigi, Shor e Watrous têm um excelente artigo sobre o poder das provas interativas quânticas com mensagens curtas. Eles consideram três variantes de 'mensagens curtas', e a que mais me interessa é a segunda variante em que qualquer número de mensagens pode ser enviado, mas o tamanho total da...
Estou lendo o artigo "Fast Paxos" de Leslie Lamport e fico preso às provas de correção dos clássicos Paxos e Fast Paxos. Por consistência, o valor escolhido pelo coordenador na fase 2 a na rodada i deve satisfazervvv2a2a2aiii Para qualquer rodada j < i , nenhum valor diferente de v foi ou...
O teorema da pretensão paralela de Raz é um resultado importante no PCP, na aproximação, etc. O teorema é resumido da seguinte forma. G = ( S, T, A, B, π, V)G=(S,T,UMA,B,π,V)G=(\mathcal{S},\mathcal{T},\mathcal{A},\mathcal{B},\pi, V)S, T, A,
De acordo com este artigo , que discute uma extensão não determinística da Hipótese do Tempo Exponencial Forte (SETH), "[...] Williams recentemente demonstrou hipóteses relacionadas sobre a complexidade de Merlin-Arthur do k-TAUT são falsas". No entanto, esse documento cita apenas uma comunicação...
No capítulo 10 do HAC (10.4.2) , vemos o conhecido protocolo de identificação Feige-Fiat-Shamir com base em uma prova de zero conhecimento, usando a dificuldade (presumida) de extrair raízes quadradas do módulo de raízes quadradas de um composto que é difícil de fatorar. Darei o esquema com minhas...
Eu li em SP Jordan, D. Gosset, "PJ Amor -Complete problemas para Hamiltonians stoquastic e matrizes de MarkovQ MUMAQMAQMA " que é improvável que .Q MA ⊆ A MQMA⊆AMQMA \subseteq AM Fiquei surpreso com essa afirmação. Então, qual é a relação adequada entre e A M ?Q MUMAQMAQMAA...
A integridade e a integridade dos sistemas interativos de prova são definidas informalmente como: Completude: se uma afirmação é verdadeira, o provador honesto pode convencer o verificador honesto desse fato whp . Solidez: Se uma afirmação é falsa, o provador de trapaça não pode convencer o...
Merlin, que possui recursos computacionais ilimitados, quer convencer Arthur de que para com e O cálculo dessa soma da maneira direta (exponenciação e adição modular) leva tempo com multiplicação baseada em FFT. * Mas Arthur só pode executar operações . ( N , m , k
Em 1996, um problema aberto de longa data foi resolvido por um computador; ou seja, que a álgebra de Robbins e a álgebra booleana são iguais. A prova foi encontrada por um provador de teoremas automatizado. Além disso, a prova conhecida do teorema das quatro cores contém componentes gerados por...
Primeiro, meu entendimento do teorema da incompletude de Gödel (e da lógica formal em geral) é muito ingênuo, e também meu conhecimento sobre ciência da computação teórica (ou seja, apenas um curso de graduação realizado enquanto ainda estou na graduação), então essa pergunta pode ser muito...
Ultimamente, tenho aprendido sobre provas interativas e me pergunto se tudo não passava de uma curiosidade teórica ou se havia alguma aplicação prática. Pensei em começar com um exemplo que me ocorreu no chuveiro: Ultimamente, tem divulgado que "Número de Deus" = 20. (O número de Deus é o número...
Estou desenvolvendo um algoritmo SAT há algum tempo e cheguei a um ponto em que gostaria de compartilhá-lo. Não conheço muitas pessoas em ciência da computação e não sei exatamente para onde me virar. Eu estou querendo saber quais recursos estão disponíveis para alguém com um algoritmo que está...