Vertex Cover Approximation Algorithm