【发布时间】：2020-04-13 20:13:43
【问题描述】：
以下属性来自 wiki 顶点覆盖：当且仅当其补集是独立集时，一组顶点才是顶点覆盖。
我想知道我们如何证明这是真的？如果它可以通过反证法证明那就太好了，但所有其他证明方式也值得赞赏。
谢谢！
【问题讨论】：
标签： graph graph-theory vertex vertex-cover
【发布时间】：2020-04-13 20:13:43
【问题描述】：
一些提示：
如果 I 是独立集且 V - I 不是顶点覆盖，则存在一条边，其中两个端点都不在 V - I 中。因此...？
如果 V - I 是顶点覆盖，则选取任意边。如果两个端点都在 I 中，那么...？
祝你好运！
【讨论】：