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