《算法概论》第八章NP完全问题——8.16习题解

题目要求

书后习题截图如下：

解题

题目看似比较长，读完之后还是很好理解的，并且题目已经给出了指导性方向，就是将烹饪实验的问题转化为3SAT问题的形式。

烹饪问题的输入就是一个类似上图中5*5的矩阵，还有一个负面影响值p，输出为满足<=p的情况下的最大材料数量。

首先回顾一下3SAT问题。

3SAT问题是SAT问题的一个特例，而SAT问题全称为Boolen Satisfiability问题，即布尔可满足性问题，意思是：给定一个采取合取范式的布尔方程式，为其找到一个可满足赋值或判定该赋值不存在。一个可满足赋值是对每个变量的一个false或trueu赋值，使得每个包含文字的字句都取值为true。例如如下布尔方程式（截图来自《算法概论》书p254）：

3SAT问题的输入是一个子句集，每个子句包含不超过3个的文字，目标同样是求它的一个可满足赋值。例如：（截图来自《算法概论》书p271）

已知SAT、3SAT问题均为NP完全问题。

接着回到烹饪实验问题中，构造一个烹饪问题的实例，使其能够满足3SAT的形式。

假设有n种可选的材料，分别为x1, x2, ... ,xn，在xi与xj之间，有不和谐度Wij。

对于每个i、j之间，构造四个子句，每个子句包含3个文字，使其满足3SAT问题的条件。四个子句为：

这样，当xi和xj同时为true的时候，为了使子句为true，Wij必须为true。当xi和xj其中一个为false的时候，Wij必须取false。

此时，只要找出一个能够满足，所有赋值为true的Wij之和<=p即可。

因此，若烹饪实验问题在多项式时间内可解，则3SAT问题也可。