Formally, a vertex cover formula_1 of an undirected graph formula_2 is a subset of formula_3 such that formula_4, that is to say it is a set of vertices formula_1 where every edge has at least one endpoint in the vertex cover formula_1.