In graph theory, a vertex cover of a graph is a set of vertices that includes at least one endpoint of every edge of the graph.