第十九周：课后习题8.8

---

解：
对于任意一个3SAT实例：
若其中某个子句中包含了同一个文字多次，则可以将这些相同的文字合并为一次；
若某个变量同时包含了true和false，则该变量可以去掉。
因此，在每个子句中添加一些没用的辅助变量，这样就可以将每个子句中包含的文字数目扩充到四个。
即将3SAT实例转化成了一个EXACT 4SAT问题。
这就通过将3SAT归约到EXACT 4SAT问题来证明了EXACT 4SAT问题的NP完全性，因此EXACT 4SAT属于NP完全问题。