Lassen
L = { n : die n t h Binärziffer von π ist 1 }
(wobei n als binär codiert angesehen wird). Was können wir dann über die rechnerische Komplexität von L sagen ? Es ist klar , dass L ∈ E X P . Und wenn ich mich nicht irre, die erstaunlich „BBP-Typ“ Algorithmen zur Berechnung der n t h Bit von π mit quasilinearen Zeit und ( log n ) O ( 1 ) Speicher, ohne dass die vorherige Bits, die Ausbeute berechnen L ∈ P S P A C E .
Können wir es noch besser machen und L (sagen wir) in der Zählhierarchie platzieren? In der anderen Richtung ergibt sich für L überhaupt eine Härte (auch eine extrem schwache wie T C 0 -Härte)?
Eine interessante verwandte Sprache ist
L ' = { ⟨ x , t ⟩ : x tritt als Teilkette innerhalb der ersten t Ziffern π }
(wobei wiederum t binär geschrieben ist). Wir haben
L ' ∈ N P L
und daher L ' ≤ P S P A C E ; Es würde mich sehr interessieren, wenn etwas Besseres bekannt ist.