NP-complete证明

Part1:题目描述

  In the EXACT 4SAT problem, the input is a set of clauses, each of which is a disjunction of exactly four literals, and such that each variable occurs at most once in each clause. The goal is to find a satisfying assignment, if one exists. Prove that EXACT 4SAT is NP-complete.

Part2:解题过程

  因为我们上课的时候已经证明过3SAT是NP完全的了，如果能够把3SAT归约到EXACT 4SAT那么我们就可以证明EXACT 4SAT是NP完全的。

  EXACT 4SAT与3SAT的区别在于：EXACT 4SAT要求每个子句有4个文字且每个变量在每个子句至多只能出现一次。

  归约过程：对于任意一个3SAT实例， 若一个文字出现多次，可将该文字删减为一次或零次（即肯定或否定同时出现）；添加一些无关的辅助变量可将每个子句的文字扩充到4个。