Preguntas etiquetadas con oracles

Preguntas sobre las máquinas oracle en la teoría de la complejidad computacional. Los oráculos pueden servir como un indicador de que una separación entre clases de complejidad está más allá del alcance de ciertas técnicas de prueba.

2
¿Es
Por http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf Si es un lenguaje de PSPACE completa, P A = N P A .UNAAPAGUN= NPAGUNPA=NPAP^{A}=NP^{A} Si es un oráculo de tiempo polinómico determinista, P B ≠ N P B (suponiendo P ≠ N P ).siBBPAGsi≠ NPAGsiPB≠NPBP^{B}\ne NP^{B}PAG≠ NPAGP≠NPP\ne NP es la clase de problemas de decisión análogos para …
1
Mundo relativizado donde
Me gustaría saber si existe un mundo donde relativizada . También estoy interesado en saber si existe un mundo donde relativizada P B ≠ N P B = P P B .PAGUNA= N PUNA≠ P PUNAPA=NPA≠PPA{\bf P^A}={\bf NP^A}\not = {\bf PP^A}PAGsi≠ N Psi= P PsiPB≠NPB=PPB{\bf P^B} \not = {\bf NP^B} …
2
¿Son los oráculos asociativos?
Esta pregunta puede tener una respuesta obvia ... pero aquí está la pregunta de todos modos. Intuitivamente, es la siguiente declaración plausible: "una máquina con una subrutina A que a su vez tiene una subrutina B es lo mismo que una máquina con una subrutina A que tiene acceso a …
1
¿Es
No he podido encontrar una declaración que relacione y N P R P en la literatura; los punteros serían apreciadosMAMA\mathsf{MA}NPRPNPRP\mathsf{NP}^\mathsf{RP} Creo que son iguales: : El N P máquina adivina cadena de Merlin, y los R P verifica Oracle la cadena como Arthur haría.MA⊆NPRPMA⊆NPRP\mathsf{MA} \subseteq \mathsf{NP}^\mathsf{RP}NPNP\mathsf{NP}RPRP\mathsf{RP} : Merlin adivina el …
4
Resultados de Oracle en P vs BPP
Deje que sea ​​un problema completo de EXP. Entonces, .AAAPA=NPAPA=NPAP^A = NP^A Deje que sea cierto oráculo que tiene en cuentas las consultas que (TM en P) hará, y podemos obtener .BBBP B ≠ N P BMMMPB≠NPBPB≠NPBP^B \neq NP^B Pregunta: ¿Tenemos resultados de oráculo similares para P vs BPP?
1
¿Existe un oráculo
Antecedentes Sabemos que .P#P⊆PSPACEP#P⊆PSPACEP^{\#P} \subseteq PSPACE Además, se conoce a partir del teorema de Toda que .PH⊆P#PPH⊆P#PPH \subseteq P^{\#P} Para obtener más información sobre , consulte aquí: https://en.wikipedia.org/wiki/Sharp-P#P#P\#P Pregunta ¿Existe un oráculo tal que ( P # P ) A ≠ P S P A C E A ?AAA(P#P)A≠PSPACEA(P#P)A≠PSPACEA(P^{\#P})^{A} \neq …
2
¿Está bien definida la relativización?
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á abierto.B A …
Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.