Bueno, el título lo dice todo. La interesante pregunta anterior fue hecha por el comentarista Jay en mi blog (ver aquí y aquí ). Supongo que la respuesta es sí y que hay una prueba relativamente simple, pero no pude verlo de manera improvisada. (En términos muy generales, sin embargo, se podría tratar de demostrar que, si una lengua en no estaban en B P P , entonces debe tener información mutua algorítmica infinita con R , en cuyo caso no sería computable. Además, la nota esa única dirección es trivial: los lenguajes computables en P R ciertamente contienen B P P ).
Tenga en cuenta que estoy no preguntar sobre la clase AlmostP , que consiste en aquellas lenguas que están en para casi todos los R (y es bien conocido por ser igual a B P P ). En esta pregunta, primer punto de referencia R , y luego mirar el conjunto de idiomas computables en P R . Por otro lado, se podría tratar de demostrar que, si una lengua en P R es computable, incluso para un fijo oráculo aleatorio R , entonces, de hecho de que el lenguaje debe estar en A l m o s t P .
Una pregunta estrechamente relacionada es si, con probabilidad 1 sobre un oráculo aleatorio , tenemos
Si es así, obtenemos la siguiente consecuencia interesante: si , entonces, con probabilidad 1 sobre un oráculo aleatorio R , los únicos idiomas que presencian la separación del oráculo P R ≠ N P R son idiomas no calificables.