点集子集 \rm V 的至少一个节点是接触的 ; 顶点覆盖问题 : 查看 无向图 \rm G 中 是否包含一个指定大小的 满足上述要求的 点集子集 \rm V ; 符号化表示 : \rm VERTEX-COVER