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) }