https://i.imgur.com/sBrfiCu.jpg
为什么与maximum independent set 矛盾，可以推得 dominating set ?
请各位大大解惑了!

他这个结论是不是有错阿噢看错 "not" greater我觉得详解的表达方式有点让人混淆后来我的理解是，只要 I 是 independent set，那 I 就少打 Max^I 就一定是 dominating set (否则可以成为更大的 Inde)故，"Minimum" Donminating set 的 Size 一定小于等于Maximum Independent Set 的 Size虽然我们无法指出一定找的到一个更小的，但假设没关系中间有个 Dominating 打错，见谅

所以详解是在証“只要I是最大独立集，那就一定是支配集。”因此,既然I是支配集那就一定大于等于最小支配集。感谢e大解惑 !!!总算了解了!!