Bem, o título praticamente diz tudo. A pergunta interessante acima foi feita pelo comentarista Jay no meu blog (veja aqui e aqui ). Suponho que a resposta é sim e que existe uma prova relativamente simples, mas não a vi de imediato. (Muito grosso modo, pode-se tentar mostrar que, se um idioma em não estivesse em B P P , então ele deve ter informações mútuas algorítmicas infinitas com R , caso em que não seria computável. essa direção é trivial: as linguagens computáveis em P R certamente contêm B P P. )
Note que estou não perguntando sobre a classe AlmostP , que consiste dessas línguas que estão em para quase todos os R (e é bem conhecido para igualar B P P ). Nesta questão, primeiro fix R , em seguida olhar para o conjunto de idiomas computáveis em P R . Por outro lado, pode-se tentar mostrar que, se um idioma em P R é calculável, mesmo para uma fixa a Oracle aleatório R , então, de facto, que a língua devem ser em uma l m o s t P .
Uma questão intimamente relacionada é se, com probabilidade 1 sobre um oráculo aleatório , temos
Nesse caso, obtemos a seguinte conseqüência interessante: se , com probabilidade 1 sobre um oráculo aleatório R , os únicos idiomas que testemunham a separação do oráculo P R ≠ N P R são idiomas incontestáveis.