1 Approximation Algorithms: Vertex Cover