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 , por exemplo, P ≠ N P seguiria o BGS. No entanto, P ≠ N...
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...
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 )< n)s(L)n=χL(s(L)<n)s(L)_n=\chi_L(s(L)_{>0:s(L)_n=\chi_U(s(L)_{0:s(L,...
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 ≠ N P A ≠ co- N P A com...