Perguntas com a marcação «relativization»

Em um artigo sobre a relativização dos cálculos do espaço de log, Ladner e Lynch constroem um oráculo em relação ao qual . Existem alguns exemplos mais patológicos nessa veia na literatura. Eu tenho lido alguns artigos sobre classes espaciais pequenas relativizadas, e uma das principais ferramentas nesta área é …

11 cc.complexity-theory  complexity-classes  circuit-complexity  oracles  relativization 

Não me lembro de ter visto uma separação de classes não baseada em resultados de diagonalização e relativização. A diagonalização ainda pode ser usada para separar as classes conhecidas restantes, porque argumentos não relativizadores ainda podem ser usados ​​na conclusão da diagonalização ou na construção da máquina de Turing diagonalizada. …

11 cc.complexity-theory  complexity-classes  relativization  barriers 

Seja qualquer problema completo de EXP. Em seguida, P A = N P A .UMAUMAAPUMA= NPUMAPUMA=NPUMAP^A = NP^A Deixe ser algum oráculo que leva em contas as consultas que M (a TM em P) vai fazer, e podemos obter P B ≠ N P B .BBBMMMPB≠ NPBPB≠NPBP^B \neq NP^B Pergunta: …

10 cc.complexity-theory  oracles  relativization 

Geradores invulneráveis ​​são definidos da seguinte maneira: Seja uma relação NP e seja uma máquina que aceite . Informalmente, um programa é um gerador invulnerável se, na entrada , produz pares de testemunhas de instância , com , de acordo com uma distribuição sob a qual qualquer adversário em tempo …

10 cc.complexity-theory  cr.crypto-security  oracles  relativization  kolmogorov-complexity 

Eu estive pensando sobre a seguinte pergunta em vários momentos desde que vi essa pergunta sobre criptografia . Questão Seja RRR uma relação TFNP . Um oráculo aleatório pode ajudar P / poli a romper RRR com probabilidade não desprezível? Mais formalmente, \newcommand{\Pr}{\operatorname{Pr}} \newcommand{\E}{\operatorname{\mathbb{E}}} \newcommand{\O}{\mathcal{O}} \newcommand{\Good}{\mathsf{Good}} Faz para todos os …

9 cr.crypto-security  relativization  advice-and-nonuniformity  search-problem  random-oracles 

fundo Sabemos que .P# P⊆ PSPA CEP#P⊆PSPACEP^{\#P} \subseteq PSPACE Além disso, sabemos pelo teorema de Toda que .PH⊆ P# PPH⊆P#PPH \subseteq P^{\#P} Para mais informações sobre , consulte aqui: https://en.wikipedia.org/wiki/Sharp-P# P#P\#P Questão Existe um oráculo tal que ?UMAUMAA( P# P)UMA≠ PSPA CEUMA(P#P)UMA≠PSPUMACEUMA(P^{\#P})^{A} \neq PSPACE^{A}

8 cc.complexity-theory  complexity-classes  oracles  relativization  pspace 

De acordo com o teorema BGS [1], existe um oráculo tal que P Um ≠ N P A .AAAPA≠NPAPA≠NPAP^A\neq NP^A Se a operação de relativização fosse uma função bem definida, seria de esperar que, a partir de B A ≠ C A, seria possível concluir que B ≠ C , …

8 cc.complexity-theory  oracles  relativization 

Estou interessado em como alguém prova que uma sentença é relativizada. Evidentemente, provar que uma sentença não se relativiza é simples, como visto no resultado de Baker-Gill-Solovay; mas como provar que uma sentença é relativizada, isto é, verdadeira em relação a qualquer oráculo? Existem técnicas conhecidas para conseguir isso em …

8 cc.complexity-theory  reference-request  relativization 

Considere qualquer linguagem . Defina (uma sequência infinita de bits) pela fórmula recursivas ( L ) ∈ { 0 , 1 } ωeuLLs ( L ) ∈ { 0 , 1 }ωs(L)∈{0,1}ωs(L) \in {\lbrace 0, 1 \rbrace}^\omega s ( L )n= χeu( s ( L )&lt; n)s(L)n=χL(s(L)&lt;n)s(L)_n=\chi_L(s(L)_{>0:s(L)_n=\chi_U(s(L)_{>0:s(L, a)_{2n}=\chi_V(s(L, a)_{<2n}) [Eu …

8 cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization 

No artigo Relativizações do P =? NP Question , Baker et al. mostrou que existem mundos relativizados nos quais P = NP ou P ≠ NP se mantém. Todos os oráculos em suas configurações eram conjuntos recursivos. Noutra papel em relação a uma aleatória a Oracle , P Um ≠ …

8 cc.complexity-theory  computability  oracles  relativization