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

Sabemos que, se você possui uma máquina PSPACE, ela é poderosa o suficiente para fornecer uma prova interativa de qualquer nível da hierarquia polinomial. (E se bem me lembro, tudo o que você precisa é #P.) Mas suponha que você queira fornecer uma prova interativa de associação em um idioma. …

33 cc.complexity-theory  interactive-proofs 

Eu estava (e ainda estou) realmente interessado na resposta a essa pergunta, porque essa é uma variação interessante da complexidade dos jogos que não foi resolvida, então eu ofereci uma recompensa. Eu pensei que a pergunta original provavelmente era muito difícil, então eu postei três perguntas relacionadas que também seriam …

31 cc.complexity-theory  gt.game-theory  interactive-proofs 

OOOcoNPO⊈IPOcoNPO⊈IPO{\sf coNP}^O \not\subseteq {\sf IP}^OcoNPO⊆PSPACEOcoNPO⊆PSPACEO{\sf coNP}^O \subseteq {\sf PSPACE}^OOOO No entanto, vi poucas pessoas dando uma explicação "direta" para o motivo pelo qual o resultado não é relativizado, e a resposta usual é "aritmetização". Após a inspeção da prova de IP = PSPACE, essa resposta não é falsa , mas …

18 cc.complexity-theory  interactive-proofs  relativization 

Recentemente, Watrous et al provaram que QIP (3) = PSPACE é um resultado notável. Este foi um resultado surpreendente para mim, para dizer o mínimo, e isso me fez pensar ... Eu me perguntava e se os Computadores Quânticos pudessem ser eficientemente simulados pelos Computadores Clássicos. Isso poderia estar SIMPLESMENTE …

18 cc.complexity-theory  quantum-computing  space-bounded  conditional-results  interactive-proofs 

É sabido que o conjunto de idiomas com sistemas de prova interativa de dois provadores, nos quais o verificador é executado em tempo polinomial (MIP), é NEXP. Mas existem limites conhecidos sobre o poder de tais provas interativas quando os provadores têm um poder restrito? Por exemplo, qual é a …

17 cc.complexity-theory  interactive-proofs 

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 ).PCP[f(n),g(n)]PCP[f(n),g(n)]\mathcal{PCP}[f(n),g(n)]MAMA\mathcal{MA}f(n)f(n)f(n)g(n)g(n)g(n) No entanto, em 1990, Babai, Fortnow e Lund provaram que PCP[poly(n),poly(n)]=NEXPPCP[poly(n),poly(n)]=NEXP\mathcal{PCP}[poly(n), poly(n)] = \mathcal{NEXP} …

15 cc.complexity-theory  pcp  interactive-proofs 

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 , …

15 cc.complexity-theory  interactive-proofs  unique-solution 

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 caracterização do sistema de prova interativa é conhecida por funções …

14 cc.complexity-theory  big-picture  interactive-proofs 

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 mensagem …

14 cc.complexity-theory  quantum-computing  interactive-proofs 

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 -> Tree -> Tree. Em …

14 interactive-proofs  proof-assistants  coq 

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, BS,T,UMA,B\mathcal{S},\mathcal{T},\mathcal{A},\mathcal{B}ππ\piS× TS×T\mathcal{S}\times\mathcal{T}V: S× T× A× B→ { 0 , 1 }V:S×T×UMA×B→{0 0,1}V:\mathcal{S}\times\mathcal{T}\times\mathcal{A}\times\mathcal{B}\rightarrow\{0,1\}nv ( G ) …

13 cc.complexity-theory  complexity-classes  pcp  interactive-proofs 

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 MAMAM

12 cc.complexity-theory  complexity-classes  quantum-computing  interactive-proofs  qma 

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 verificador honesto (da validade …

11 cc.complexity-theory  interactive-proofs 

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 )m|∑p≤N, p primepkm|∑p≤N, p …

11 cc.complexity-theory  ds.algorithms  time-complexity  interactive-proofs  nt.number-theory 

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 …

11 proofs  puzzles  interactive-proofs