VertexCoverQ[g, vlist] 如果顶点列表 vlist 是图 g 的一个顶点覆盖，产生 True；否则，产生 False.
检验顶点集合是否是图中的一个顶点覆盖：
检验有向图：
FindVertexCover EdgeCoverQ FindClique
400+ new features, including the new Wolfram Predictive Interface, social network analysis, enterprise CDF deployment, and more »
