Feedback Vertex Set

aus Wikipedia, der freien Enzyklopädie
Wechseln zu: Navigation, Suche

Der Begriff Feedback Vertex Set bzw. kreiskritische Knotenmenge bezeichnet in der Komplexitätstheorie ein graphentheoretisches Entscheidungsproblem, das NP-vollständig ist.

Definition[Bearbeiten]

Es fragt, ob es zu einem ungerichteten Multigraphen G = (V, E), einer Gewichtsfunktion w: V \mapsto \mathbb{Q}^{+} und einer positiven Zahl u \in \mathbb{Q}^{+} eine Teilmenge V' \subseteq V der Knotenmenge gibt, so dass jeder Kreis in G mindestens einen Knoten aus V' enthält und \sum_{v \in V'} w(v) \leq u gilt. Die Teilmenge V' wird das Feedback Vertex Set genannt.

Weist die Gewichtsfunktion w jedem Knoten das gleiche Gewicht zu, wird nur nach einer Teilmenge mit minimaler Knotenanzahl gesucht und man spricht vom Cardinality FVS. Das Problem für gerichtete Graphen heißt Directed FVS. Wird zusätzlich eine Teilmenge S \subseteq V der Knoten übergeben und eine Knotenmenge V' gesucht, so dass durch Entfernen von V' aus G kein Knoten s \in S mehr auf einem Kreis liegt, spricht man vom Subset FVS. Kreise, die keinen Knoten s \in S enthalten, sind im Subset FVS erlaubt.

Feedback Vertex Set hat Anwendungen im VLSI-Chipdesign, in der Programmverifizierung und bei der Beseitigung einer Verklemmung (deadlock).

Komplexität[Bearbeiten]

Feedback Vertex Set gehört zu den ersten 21 Problemen, deren NP-Vollständigkeit von Richard Karp gezeigt wurde. Der Beweis erfolgte durch Reduktion des Knotenüberdeckungsproblems auf FVS:

Sei G = (V, E) ein ungerichteter Graph und k \in \mathbb{Q}^{+}. Konstruiere einen gerichteten Graphen G' = (V, E'), wobei (u, v) \in E' genau dann, wenn {u, v} \in E. Dann existiert genau dann eine Knotenüberdeckung mit Gewicht \leq k für G, wenn ein FVS mit Gewicht \leq k für G' existiert.

Karp zeigte die NP-Vollständigkeit also ursprünglich für gerichtete Graphen; die ungerichtete Version ist aber ebenfalls NP-vollständig; der Nachweis kann mit demselben Beweis erbracht werden, nur dass G' nicht mehr gerichtet, sondern ein ungerichteter Multigraph ist und jede Kante von G in G' doppelt vorkommt.

Das Problem bleibt sogar für gerichteten Graphen mit maximalem Eingangsgrad 2 und für gerichtete ebene Graphen mit maximalem Eingangsgrad 3 NP-vollständig.

Das Problem, Kanten zu löschen, um einen ungerichteten Graphen kreisfrei zu machen, ist äquivalent zur Suche eines minimalen Spannbaums, der in Polynomialzeit gefunden werden kann. Dasselbe Problem für gerichtete Graphen heißt Feedback Arc Set und ist ebenfalls NP-vollständig.

Das entsprechende Optimierungsproblem, die Gewichtssumme der Vektoren des FVS zu minimieren, ist APX-vollständig. Der beste bekannte Algorithmus hat eine Approximationsgüte von 2.

Quellen[Bearbeiten]