Def: Menge M V heißt Knotenüberdeckung (vertex cover) von G = (V, E), falls xy E : x M y M.
Vorsicht: Es werden Kanten überdeckt (durch Knoten). Nicht verwechseln mit:
Def: Menge M V heißt dominierende Menge von G, falls M G(M) = V.
Aufgabe: Finde G, bei denen
Größe eines kleinsten vertex cover
Größe einer kleinsten dominierenden Menge.