证明题NP难问题:3SAT-------》独立集

1.问题陈述:    3SAT问题:问题输入是一个子句集,每个子句都包含不超过3个文字。例如:   独立集:如果有一个顶点集合S,任意的两个顶点之间都没有边,则称为独立集。 2. 3SAT 到独立集的规约:  (1)  对于3SAT的每一个子句C=Z1+Z2+Z3 ,在图中构造三个点Z1,Z2,Z3 并且加入边{Z1,Z2|,{Z2,Z3}.{Z1,Z3}  (2我们将每一个子句,比如(x+y'+
相关文章
相关标签/搜索