独立集合とは、どの二つの頂点も隣接していないような頂点の集合のことであり、頂点被覆とは、グラフの各辺の端点を含むような頂点の集合のことである。
一个独立集是一个顶点的集合，其中没有任何两个顶点相连，而一个覆盖是一个顶点的集合，其中对于图中的任意一条边，都至少有一个该边的端点包含在此集合中。