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.