Als «master-theorem» getaggte Fragen

Wikipedia und andere Quellen, die ich gefunden habe, listen den voidTyp C als Einheitentyp und nicht als leeren Typ auf. Ich finde das verwirrend, da es mir so scheint, als ob es voidbesser zur Definition eines Leer- / Bodentyps passt. voidSoweit ich das beurteilen kann, gibt es keine Werte . Eine...

Der Hauptsatz ist ein schönes Werkzeug zum Lösen bestimmter Arten von Wiederholungen . Wir beschönigen jedoch häufig einen integralen Bestandteil, wenn wir ihn auftragen. Beispielsweise gehen wir bei der Analyse von Mergesort gerne ab T(n)=T(⌊n2⌋)+T(⌈n2⌉)+f(n)T(n)=T(⌊n2⌋)+T(⌈n2⌉)+f(n)\qquad T(n) =...

Ich versuche, eine ΘΘ\Theta Grenze für die folgende Wiederholungsgleichung zu finden: T(n)=2T(n/2)+T(n/3)+2n2+5n+42T(n)=2T(n/2)+T(n/3)+2n2+5n+42 T(n) = 2 T(n/2) + T(n/3) + 2n^2+ 5n + 42 Ich denke, der Hauptsatz ist aufgrund der unterschiedlichen Anzahl von Teilproblemen und Unterteilungen...

Ich habe die Einführung in Algorithmen von Cormen et al. und ich lese die Aussage des Hauptsatzes ab Seite 73 . In Fall 3 gibt es auch eine Regelmäßigkeitsbedingung, die erfüllt sein muss, um den Satz zu verwenden: ... 3. Wenn f( n ) = Ω ( nLogba + ε)f(n)=Ω(nlogb⁡a+ε)\qquad \displaystyle f(n) =...

Gegeben ist die folgende rekursive Gleichung wir wollen den Hauptsatz anwenden und beachten, dassT(n)=2T(n2)+nlognT(n)=2T(n2)+nlog⁡n T(n) = 2T\left(\frac{n}{2}\right)+n\log n nlog2(2)=n.nlog2⁡(2)=n. n^{\log_2(2)} = n. Nun überprüfen wir die ersten beiden Fälle auf , dh obε>0ε>0\varepsilon > 0...

Einführung in Algorithmen , 3. Ausgabe (S. 95) enthält ein Beispiel für die Lösung der Wiederholung T.( n ) = 3 T.(n4) +n⋅log( n )T(n)=3T(n4)+n⋅log⁡(n)\displaystyle T(n)= 3T\left(\frac{n}{4}\right) + n\cdot \log(n) durch Anwendung des Hauptsatzes. Ich bin sehr verwirrt darüber, wie es gemacht wird....

Im Anschluss an vonbrands Antwort möchte ich ein kleines Dokument über stärkere Master-Theoreme für unsere Schüler schreiben, von denen eines das Akra-Bazzi-Theorem ist. Ich habe den Satz aus ihrer Arbeit [1] kopiert und - neben einer kleinen Notationsverwirrung² - das folgende Problem...

Ich mache eine Abschlussarbeit über den Nachweis der Richtigkeit des Programms zum Multiplizieren von 2 Matrizen mit Hoare-Logik. Dazu muss ich die Invariante für die verschachtelte Schleife für dieses Programm generieren: for i = 1:n for j = 1:n for k = 1:n C(i,j) = A(i,k)*B(k,j) + C(i,j); end end...