Perguntas com a marcação «relativization»


4
A diagonalização captura a essência da separação de classes?
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. …



1
Um oráculo aleatório pode alterar os problemas de TFNP que são fortemente difíceis de obter em média?
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 …

1
Existe um oráculo
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}




Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.