Vertex cover problem (Wiki)