Skript in PDF - Theoretische Informatik - Technische Universität ...
Skript in PDF - Theoretische Informatik - Technische Universität ...
Skript in PDF - Theoretische Informatik - Technische Universität ...
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
6.1. BEISPIELE EFFIZIENTER ALGORITHMEN 135<br />
derholt wird, benötigt sie<br />
17. An<br />
18. An<br />
19. An<br />
20.–25. 3Ak<br />
3A(n + k) Zeite<strong>in</strong>heiten<br />
Die Zeitkomplexität des Algorithmus ist also<br />
(6A + 1)n + 4Ak Zeite<strong>in</strong>heiten.<br />
Bemerkung 1. Die Konstante A hängt von der konkreten Implementierung ab.<br />
Um von solchen Details <strong>in</strong> unserer Analyse absehen zu können, führen wir, für jede<br />
Funktion t(n), die Klasse<br />
O(t(n)) (gelesen: ” O von t(n)“)<br />
e<strong>in</strong>, die aus allen Funktionen f(n) besteht, die nicht schneller als t(n) wachsen (für<br />
große Werte von n):<br />
Def<strong>in</strong>ition. O(t(n)) bezeichnet die Klasse aller Funktionen f(n), für die es Konstanten<br />
n0 und C gibt, so dass<br />
f(n) ≤ Ct(n) für alle n ≥ n0.<br />
Beispiel 2. 1. Der Algorithmus für topologische Sortierung hat e<strong>in</strong>e l<strong>in</strong>eare<br />
Zeitkomplexität<br />
O(n + k)<br />
Es gilt (6A + 1)n + 4Ak ≤ C(n + k), wobei C = 6A + 1, für alle n ≥ 0.<br />
2. Jedes quadratische Polynom gehört zur Klasse<br />
In der Tat, für<br />
O(n 2 ).<br />
f(n) = a + bn + cn 2 =<br />
<br />
a b<br />
+ + c n<br />
n2 n 2<br />
gilt: falls n ≥ max{a, b}, ist f(n)leq(2 + c)n 2 . Es genügt also, n0 = max{a, b}<br />
und C = 2 + c zu setzen.<br />
3. Allgeme<strong>in</strong>er enthält die Klasse<br />
alle Polynome des Grades k.<br />
O(n k )<br />
4. Die exponentielle Funktion 2 n gehört nicht zu der Klasse O(n k ), denn<br />
lim<br />
n→∞<br />
2n = ∞.<br />
nk Bemerkung 2. Falls Graphen als Adjazenzmatrizen implementiert werden, benötigt<br />
jeder Algorithmus für das topologische Sortieren m<strong>in</strong>destens<br />
n 2<br />
2 Schritte