imported>Crazy1880: Veraltetes HTML (LintError)

2017-09-17T16:29:36Z

Veraltetes HTML (LintError)

Neue Seite

{{Weiterleitungshinweis|Potentialmethode|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 Laufzeitanalyse|amortisierte Zeit- und Speicherkomplexität]] von [[Datenstruktur|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<ref name="mehlhorn">[[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</ref>.

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 [[Account-Methode|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 \colon 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:

{{Center|<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:

{{Center|<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:

{{Center|<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:

{{Center|<math> i \in \{1,\dots,n\}: a_i \le C</math>}}

So können die Gesamtkosten der Operationenfolge mit <math>n</math> Operationen mit:

{{Center|<math>\sum_{i=1}^n c_i \le n \cdot C</math>}}

angegeben werden.

== Literatur ==
* {{BibISBN|0262032937|Seite=412–415}}

== Quellen ==
<references />

[[Kategorie:Theoretische Informatik]]

Potentialfunktionmethode - Versionsgeschichte

imported>Crazy1880: Veraltetes HTML (LintError)