Wie kommt man zu einem nicht ganzzahligen Exponenten in der Zeitkomplexität? (zB

8

In regelmäßigen Abständen stoße ich auf Sätze wie

"Winograds Variante [20] dieses Algorithmus, dessen asymptotische Komplexität ebenfalls ist, wird berücksichtigt" (von https://www.cise.ufl.edu/~sahni/papers/strassen.pdf )Ö(n2.81)

Ich verstehe intuitiv, wie wir zu Komplexitäten wie und weil ich sehen kann, wie die Schleifen und Bäume funktionieren. Aber ich habe keine Ahnung, wie man eine Komplexität mit einer Dezimalstelle ableitet. Kann mir jemand ein Beispiel geben, wie das passiert?Ö(n2)Ö(nLogn)

Joe
quelle

Antworten:

9

Die Laufzeitkomplexität des Strassenschen Algorithmus ist durch die Wiederholung (Mit einem geeigneten Basisfall.) Die Lösung dieser Wiederholung ist T ( n ) = O ( n log 2 7 ) .

T.(n)=7T.(n/.2)+Ö(n2).
T.(n)=Ö(nLog27)

Der Strassen-Algorithmus multipliziert zwei Matrizen A , B, indem er sie in jeweils vier ( n / 2 ) × ( n / 2 ) Matrizen zerlegt , wobei sieben lineare Kombinationen der jeweils kleineren Matrizen berechnet werden, beispielsweise ( A i , B i ) i = 1 , , 7 , rekursives Berechnen von C i = A i B i und Berechnen der vier ( nn×nEIN,B.(n/.2)×(n/.2)(EINich,B.ich)ich=1,,7C.ich=EINichB.ich Matrizen des Ergebnisses durch lineare Kombinationen der Matrizen C i . So entstand diese Laufzeit. Wenn Sie mehr erfahren möchten, gibt es viele Informationen zum Strassen-Algorithmus. Es gibt übrigens asymptotisch schnellere Algorithmen für die Matrixmultiplikation, der aktuelle Champion istLe Gall.(n/.2)×(n/.2)C.ich

Yuval Filmus
quelle
Ich glaube, ich suche nach der Antwort: "In diesem Fall erhalten Sie eine Dezimalstelle, indem Sie diese Wiederholungsbeziehung lösen." - Ich versuche tatsächlich, eine etwas allgemeinere Frage zu den Umständen zu stellen, unter denen dies geschieht. Ist eine Wiederholungsrelation der einzig mögliche Weg, um einen nicht ganzzahligen Exponenten zu erhalten?
Joe
1
Es gibt andere Möglichkeiten. Beispielsweise kann in Netzwerkflussalgorithmen ein iterativer Algorithmus in konvergieren Schritte. Andere Beispiele sind Chebyshev-Polynome, die sich "wie" Polynome vom Graddverhalten,aber den Grad √ habenndd