Komplexität der Exponentialfunktion


36

Wir wissen, dass die Exponentialfunktion über natürliche Zahlen in der Polynomzeit nicht berechenbar ist, da die Größe der Ausgabe in der Größe der Eingaben nicht polynomiell begrenzt ist.exp(x,y)=xy

Ist dies der Hauptgrund für die Schwierigkeit, die Exponentialfunktion zu berechnen, oder ist die Exponentiation unabhängig von dieser Überlegung von Natur aus schwierig zu berechnen?

Wie komplex ist der Bitgraph der Exponentialfunktion?

{x,y,ix,y,iN and the i-th bit of xy is 1}

Ich habe den Begriff "EXP" in "L" geändert, da EXP der Name einer berühmten Komplexitätsklasse ist und zu Verwirrung führen kann.
MS Dousti

Wenn auf eine Potenz von 2 beschränkt ist, dann L ist A C 0 . Auch der Graph der Potenzierung Γ e x p = { ( x , y , z ) : x y = z } hat eine geringe Komplexität. xLAC0Γexp={(x,y,z):xy=z}
Kaveh

3
Sadeq: Wenn Sie Komplexitätsklassen vermeiden möchten, ist L in keiner Weise besser als EXP ... Änderte es auf X.
Peter

@Peter: In diesem Zusammenhang ist L mit Sicherheit eine "Sprache" und nicht die Komplexitätsklasse "Log-Space". Auf jeden Fall ist X eine viel bessere Wahl.
MS Dousti

@Kaveh: Die Frage besagt, dass es um die Exponentialfunktion der natürlichen Zahlen geht.
Tsuyoshi Ito

Antworten:


17

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


12

Keine vollständige, aber zumindest teilweise Antwort.

Ich stelle fest, dass die beiden bisher erschienenen Antworten nicht die Tatsache erwähnt haben, dass es einen -Algorithmus zur Berechnung des modularen Exponentials x y mod  z gibt, wobei n die Anzahl der Bits in z ist und ω ist der Exponent, der dem schnellsten Multiplikationsalgorithmus entspricht. Somit können die weniger signifikanten Bits des Exponentials effizient berechnet werden (in O ( n 3 ) oder weniger).O(n1+ω)xy mod znzωO(n3)

Der Weg, dies zu tun, ist ziemlich einfach: Sie können , c 2 = x 2 mod  z , c j = c 2 j - 1 mod  z berechnen . Offensichtlich c j = x 2 j mod  z und so x y& Pgr; j c j j j mod  z , aber da es nur ist n Begriffe c j Dieser Vorgang dauert nur nc1=xc2=x2 mod zcj=cj12 mod zcj=x2j mod zxyjcjyj mod zncjn Multiplikationen.

Des Weiteren können wir schreiben als ( Σ n i = 0 2 i x i ) y , so die höchstwertigen Bits entsprechen , welche etwa 2 n y auch , da diese effizient berechnen können nur auf dem höchstwertigen Bit auf der abhängig von x .xy(i=0n2ixi)y2nyx

So ist die einzige wirkliche Problem Begriffe werden durch die Bits in Richtung Zentrum von verursacht .xy


1
Es gibt eine interessante Beziehung zwischen dieser und meiner Antwort. Wenn ich mich nicht irre, besteht eine grobe Übersicht über den in meiner Antwort zitierten Algorithmus in [ABKM09 ] darin, diese Idee mit dem chinesischen Restsatz zu kombinieren, um höhere Bits zu erhalten.
Tsuyoshi Ito

Ah, das hatte ich nicht gemerkt.
Joe Fitzsimons

6

[Diese Antwort erklärt einige interessante Aspekte der Antwort von Per Vognsen . Es ist keine direkte Antwort auf die Frage des OP, kann jedoch bei der Lösung solcher Fragen hilfreich sein.]

ichBit der irrationalen Zahl π, ohne zuerst den ersten zu berechnen ich-1Bits. Der Artikel weist darauf hin, dass BPP-Formeln auch für andere irrationale Zahlen existieren.

Schauen Sie sich als nächstes Dick Liptons Einstellung zum Thema an: Cooks Klasse enthält Pi . Der Artikel beschreibt im Wesentlichen, dass die Entscheidungichth bisschen von π ist in der Klasse von Steve Cook (SC, die in der Polynomzeit und im polylogarithmischen Raum akzeptierte Sprachklasse), und dass diese Tatsache außerordentlich seltsam ist, wie er es gegen "konventionelle Weisheit" nennt.

PS: Am Ende seines Artikels gibt Dick zu, dass der Algorithmus möglicherweise nicht mehr funktioniert SCEine solche Möglichkeit ist jedoch jenseits des "praktischen Gebrauchs".

Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.