算法导论里的NP完全问题

今天复习算法导论，正好看到NP完全性问题，看到了几个经典的NP完全问题的证明。
具体就是CIRCUIT－SAT ->SAT -> 3-CNF-SAT ->CLIQUE(团集) ->VERTEX-COVER ->HAM-CYCLE ->TSP
SAT -> 3-CNF-SAT:
对于一个合取范式， 若每个子句有且仅有3个变元时， 它的可满足性问题便称为3SAT问题。

;

 (a);  (b)。

下证(a)可满足(b)可满足。

“”: (a)可满足，若，令;否则()，令 (b)的两个简单析取都

取T(b)可满足。

“”: (b)可满足(b)的两个简单析取都可满足， 若，则， (a)可满

足; 若，取T(a)可满足。