Según BGS teorema [1], no es un oráculo de tal manera que .P A ≠ N P AUNAUNAAPAGSUNA≠ NPAGSUNAPAGSUNA≠nortePAGSUNAP^A\neq NP^A Si la operación de relativización fuera una función bien definida, uno esperaría que de se pudiera concluir que , por ejemplo, seguiría de BGS. Sin embargo, todavía está...
Estoy interesado en cómo se prueba que una oración se relativiza. Por supuesto, probar que una oración no se relativiza es simple, como se ve en el resultado de Baker-Gill-Solovay; pero ¿cómo se prueba que una oración se relativiza, es decir, que es verdadera en relación con cualquier oráculo?...
Considere cualquier lenguaje . Defina s ( L ) ∈ { 0 , 1 } ω (una secuencia infinita de bits) mediante la fórmula recursivaLLLs ( L ) ∈ { 0 , 1 }ωs(L)∈{0,1}ωs(L) \in {\lbrace 0, 1 \rbrace}^\omega s ( L )norte= χL( 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,...
En el artículo Relativizaciones de la P =? Pregunta NP , Baker et al. demostró que existen mundos relativizados en los que se mantiene P = NP o P ≠ NP. Todos los oráculos en su configuración eran conjuntos recursivos. En otro artículo relativo a un Oráculo aleatorio , P A ≠ N P A ≠ co- N P A con...