A **vertex cover** of an undirected graph G = (V, E) is a subset
V' V such that each edge in E is incident on at least one of
the vertices in V'.

VC =
is a graph, and
such that
and
,
either or (or both) }

VC = {G, k graph G has vertex cover of size k}