算法設計與分析筆記——頂點覆蓋問題VC的NP完全性證明

之前在算法設計與分析筆記——NP完全性中總結了證明NPC的思路，本文總結由三元可滿足性（3SAT）到頂點覆蓋（VC）的NP完全性證明。 定義 3SAT：合取範式中每個簡單析取式恰好有3個文字，則稱之爲3元合取範式。給一個3元合區範式F，問F是可滿足的嗎？ 頂點覆蓋：任給一個無向圖G=<V, E>，再給一個非負整數K<=|V|，問G中有頂點數不超過K的頂點覆蓋嗎？ 思路 1、顯然VC∈NP，因爲可以

>>阅读原文<<