05.08.2013 Aufrufe

Praktische Grenzen der Berechenbarkeit - Informatik

Praktische Grenzen der Berechenbarkeit - Informatik

Praktische Grenzen der Berechenbarkeit - Informatik

MEHR ANZEIGEN
WENIGER ANZEIGEN

Erfolgreiche ePaper selbst erstellen

Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.

Satz 5. Werden zwei polynomiale Algorithmen nacheinan<strong>der</strong> ausgeführt, ist <strong>der</strong><br />

resultierende Gesamtalgorithmus polynomial.<br />

Beweis. Seien f(n) und g(n) die Komplexitäten <strong>der</strong> beiden Algorithmen mit<br />

f(n) = ck · n k + ck−1 · n k−1 + · · · + c1 · n + c0 ∈ O(n k ) ,<br />

g(n) = dl · n l + dl−1 · n l−1 + · · · + d1 · n + d0 ∈ O(n l ) .<br />

Ohne Beschränkung <strong>der</strong> Allgemeinheit gelte l ≥ k. Setzt man nun ci := 0 für<br />

i = k + 1, . . .,l, so ergibt sich für den Gesamtalgorithmus die Komplexität<br />

f(n) + g(n) = (cl + dl) · n l + (cl−1 + dl−1) · n l−1<br />

+ · · · + (c1 + d1) · n + c0 + d0 ∈ O(n l ) .<br />

Satz 6. Wird ein Teil eines polynomialen Algorithmus durch ein Modul ersetzt,<br />

das selbst einen polynomialen Algorithmus enthält, ist <strong>der</strong> resultierende<br />

Gesamtalgorithmus polynomial.<br />

Beweis. Es sei f(n) die Komplexität des Algorithmus, in dem ein Teil durch ein<br />

Modul mit <strong>der</strong> Komplexität g(n) ersetzt wird.<br />

f(n) = ck · n k + ck−1 · n k−1 + · · · + c1 · n + c0 ∈ O(n k ) ,<br />

g(n) = dl · n l + dl−1 · n l−1 + · · · + d1 · n + d0 ∈ O(n l ) .<br />

Die Komplexität h(n) des resultierenden Algorithmus hängt davon ab, in welchem<br />

Umfang die ersetzten Anweisungen in die Berechnung eingehen. In jedem Fall gilt<br />

jedoch<br />

mit<br />

h(n) ≤ f(g(n))<br />

f(g(n)) = ck · (dl · n l + dl−1 · n l−1 + · · · + d1 · n + d0) k<br />

+ ck−1 · (dl · n l + dl−1 · n l−1 + · · · + d1 · n + d0) k−1<br />

+ · · · + c1 · (dl · n l + dl−1 · n l−1 + · · · + d1 · n + d0) + c0<br />

Demnach hat <strong>der</strong> Gesamtalgorithmus maximal die Komplexität n k+l .<br />

Die Klasse <strong>der</strong> polynomialen Algorithmen ist also abgeschlossen bezüglich <strong>der</strong><br />

Hintereinan<strong>der</strong>ausführung und <strong>der</strong> Ersetzung. Dies bildet eine wichtige Grundlage<br />

für die folgende<br />

14

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!