Vertex Cover (kurz VC) ist ein Graphproblem, bei dem es darum geht, mit Knoten Kanten abzudecken.
Für einen Graphen ist eine Menge gesucht, für die gilt:
In seiner Entscheidungsvariante übergibt man außer den Graphen noch einen Parameter k und es ist zu entscheiden, ob es ein Vertex Cover dieser Kardinalität gibt. Die Lösung ist nicht unbedingt eindeutig.
In der Optimierungsvariante ist ein VC mit minimaler Kardinalität gesucht.
Das Problem ist NP-vollständig.
Beispiel
Der erste Graph ist der Ursprungsgraph. Die anderen sind jeweils ein Vertex Cover, wobei die eingekreisten Knoten die Knoten aus V' (aus dem Vertex Cover) sind. Das erste Vertex Cover (also der zweite Graph) ist hierbei ein minimales Vertex Cover.