3SAT課本題目 8.20

Solution： 將頂點覆蓋問題歸約到支配集問題。如果要在圖G（V，E）中求一個不大於b的頂點覆蓋，按照以下規則預處理圖G：給條邊（u，v）∈E加上輔助頂點w，還有兩條邊（u，w）和（v，w），比如： 對於新圖G’，如果原圖G有不大於b的頂點覆蓋，那麼它也是G’的一個支配集。如果G’存在不大於b的支配集，預處理後也能得到G的不大於b的頂點覆蓋。 設支配集爲D，對於每條邊（u，v）還有相應的輔助頂

>>阅读原文<<