The Vertex Cover Problem