Potentialfunktionmethode - LinkFang.de





Potentialfunktionmethode


Potentialmethode ist eine Weiterleitung auf diesen Artikel. Für das numerische Verfahren zur Lösung von Transportproblemen siehe MODI-Methode.

In der Komplexitätstheorie wird die Potential- bzw. Potentialfunktionmethode verwendet, um die amortisierte Zeit- und Speicherkomplexität von Datenstrukturen zu messen. Dabei wird die Komplexität über eine Sequenz von Operationen berechnet, was die Kosten von seltenen, aber teuren Operationen auf die Sequenz von Operationen verteilt und damit glättet[1].

Ziel dabei ist es, jeder Operation auf der betrachteten Datenstruktur einen mittleren Kostenwert zuzuweisen, um über diese die erwartete Laufzeit einer beliebigen Folge von Operationen nach oben abzuschätzen. Im Unterschied zur Bankkonto-Methode werden die Kosten [math]a_i[/math] einer Operation [math]Op_i[/math] nicht im Voraus festgesetzt, sondern hergeleitet. Hierzu wird eine Potentialfunktion [math]\Phi: D_i \to \mathbb{R}[/math] eingeführt. Diese ordnet jedem inneren Zustand [math]D_i[/math] der Datenstruktur ihr Potential zu. Seien [math]c_i[/math] nun die maximalen realen Kosten der Operation [math]Op_i[/math], so ergibt sich der amortisierte Aufwand [math]a_i[/math] als:

[math]a_i = c_i + \Phi\left(D_i\right) - \Phi(D_{i-1})[/math]

Gilt nun, dass das Potential des Initialzustandes [math]D_0[/math] für alle Operationen [math]Op_i[/math] einer beliebigen Operationenfolge nie unterschritten wird:

[math] \forall i \in \{1,\dots,n\}: \Phi(D_0) \le \Phi(D_i)[/math]

Dann ist die Summe der realen Kosten nie höher als die der amortisierten Kosten:

[math]\sum_{i=1}^n c_i \le \sum_{i=1}^n a_i[/math]

Existiert nun beispielsweise eine Konstante [math]C[/math], welche die obere Grenze der amortisierten Kosten jeder Operation angibt:

[math] i \in \{1,\dots,n\}: a_i \le C[/math]

So können die Gesamtkosten der Operationenfolge mit [math]n[/math] Operationen mit:

[math]\sum_{i=1}^n c_i \le n \cdot C[/math]

angegeben werden.

Literatur

Quellen

  1. Kurt Mehlhorn, Peter Sanders: Algorithms and Data Structures, 2008 Springer-Verlag Berlin Heidelberg, Kapitel 3.3.1 The Potential or Bank Account Method for Amortized Analysis, S. 72–74

Kategorien: Theoretische Informatik

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Potentialfunktionmethode (Vollständige Liste der Autoren des Textes [Versionsgeschichte])    Lizenz: CC-by-sa-3.0

Änderungen: Alle Bilder mit den meisten Bildunterschriften wurden entfernt. Ebenso alle zu nicht-existierenden Artikeln/Kategorien gehenden internen Wikipedia-Links (Bsp. Portal-Links, Redlinks, Bearbeiten-Links). Entfernung von Navigationsframes, Geo & Normdaten, Mediadateien, gesprochene Versionen, z.T. ID&Class-Namen, Style von Div-Containern, Metadaten, Vorlagen, wie lesenwerte Artikel. Ansonsten sind keine Inhaltsänderungen vorgenommen worden. Weiterhin kann es durch die maschinelle Bearbeitung des Inhalts zu Fehlern gerade in der Darstellung kommen. Darum würden wir jeden Besucher unserer Seite darum bitten uns diese Fehler über den Support mittels einer Nachricht mit Link zu melden. Vielen Dank!

Stand der Informationen: August 201& - Wichtiger Hinweis: Da die Inhalte maschinell von Wikipedia übernommen wurden, ist eine manuelle Überprüfung nicht möglich. Somit garantiert LinkFang.de nicht die Richtigkeit und Aktualität der übernommenen Inhalte. Sollten die Informationen mittlerweile fehlerhaft sein, bitten wir Sie darum uns per Support oder E-Mail zu kontaktieren. Wir werden uns dann innerhalb von spätestens 10 Tagen um Ihr Anliegen kümmern. Auch ohne Anliegen erfolgt mindestens alle drei Monate ein Update der gesamten Inhalte.