Approximation Algorithms Vertex Cover Problem