3-cnf-sat带有扭曲问题

Question

如果您按如下方式更改3-cnf-sat问题：
对于每个c _i ，c _i = -x _i1 OR -x _i2 OR x _{i3 < / sub>意思是其中一个变量没有否定地出现 您还可以为某些（或所有）x提供值（0或1） 您应该能够在多项式时间内解决问题（找到满足问题的x的值或证明它不可满足）。}

1. 什么是解决此问题的多项式运行时算法？
2. 证明它以多项式时间运行。

提示：显示c _i = -x _i1 OR -x _i2 OR x _i3 等于c =（x _i1 AND -x _i2 ） - ＆gt; X <子> I3 的