Hier sind einige Obergrenzen.
Durch wiederholtes Quadrieren liegt das Problem bei PSPACE.
Es gibt eine etwas bessere Obergrenze. Das Problem ist ein Sonderfall des BitSLP-Problems: Bei einem geradlinigen Programm, das mit 0 und 1 beginnt, mit Addition, Subtraktion und Multiplikation, die eine ganze Zahl N darstellen , und bei gegebenem i ∈ℕ wird entschieden, ob das i- te Bit (Zählen ab dem niedrigstwertiges Bit) der binären Darstellung von N ist 1. Das BitSLP-Problem befindet sich in der Zählhierarchie ( CH ) [ABKM09]. (Es wird angegeben , in [ABKM09] , dass nachgewiesen werden kann , dass das BitSLP Problem in PH ist PP PP PP PP .)
Die Mitgliedschaft in CH wird oft als Beweis dafür gewertet, dass das Problem wahrscheinlich nicht PSPACE-schwer ist, da die Gleichheit CH = PSPACE impliziert, dass die Zählhierarchie zusammenbricht. Ich weiß jedoch nicht, wie stark diese Beweise sind.
In Bezug auf die Härte wird gezeigt, dass BitSLP in demselben Artikel [ABKM09] # P-hart ist. Der dortige Beweis scheint jedoch keine Härte der Sprache X in der Frage zu implizieren .
Verweise
[ABKM09] Eric Allender, Peter Bürgisser, Johan Kjeldgaard-Pedersen und Peter Bro Miltersen. Zur Komplexität der numerischen Analyse. SIAM Journal on Computing , 38 (5): 1987–2006, Januar 2009. http://dx.doi.org/10.1137/070697926