VertexCoverQ[g, vlist] yields True if the vertex list vlist is a vertex cover of the graph g, and False otherwise.
Test whether a set of vertices is a vertex cover in a graph:
Test for a directed graph:
FindVertexCover EdgeCoverQ FindClique
400+ new features, including the new Wolfram Predictive Interface, social network analysis, enterprise CDF deployment, and more »