操作系统原理课后习题8.8



先进行判断，EXACT 4SAT属于NP。

然后将3SAT归约到EXACT 4ASAT就可以证明后者的NP完全性。

我们已经知道对于任意一个3SAT实例，如果某个子句中包含相同文字多次，那么可以去掉多余的，如果同时包含了某个变量的肯定及否定，那么可以将这个变量去掉，再在每个子句中添加一些没用的辅助变量，这样就可以将每个子句所包含的文字数目扩充到四个。

结果3SAT实例转换成了一个EXACT 4SAT问题。