Talk:Vertex cover problem