Dejar
(donde se considera codificado en binario). Entonces, ¿qué podemos decir sobre la complejidad computacional de ? Está claro que . Y si no me equivoco, los sorprendentes algoritmos de "tipo BBP" para calcular el bit de usando el tiempo cuasilineal y la memoria , sin necesidad de calcular los bits anteriores, producen .L L ∈ E X P n t h π ( log n ) O ( 1 ) L ∈ P S P A C E
¿Podemos hacerlo aún mejor y colocar (por ejemplo) en la jerarquía de conteo? En la otra dirección, ¿hay algún resultado de dureza para (incluso uno extremadamente débil, como -hardness)?L T C 0
Un lenguaje relacionado interesante es
(donde nuevamente, está escrito en binario). Tenemos
y por lo tanto ; Me interesaría mucho si se supiera algo mejor.