Vertex Cover Problem