Vertex_cover_in_hypergraphs