Vertex cover problem is NP complete