FindVertexCover
FindVertexCover[g] finds a vertex cover of the graph g with a minimum number of vertices.
FindVertexCover[{v->w,…}] uses rules v->w to specify the graph g.
Please visit the official Wolfram Language Reference for more details and examples on core symbols.