頂點覆蓋有限simple undirected graph的頂點子集C若與每條edge至少一端相交，則C為vertex cover。atlas-vertex-cover · canonical_mko頂點覆蓋前置節點有限簡單無向圖子集合量詞與明示論域