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大解惑 !!!總算了解了!!