8.16

烹调实验：
输入：可选材料的n:n*n的矩阵D：某个值p>=0
输出：使得负面影响值不超过P最大材料数量
证明：如果烹调实验多项式时间内可解，那么3SAT也能。
思路：
如果3SAT多项式时间内不可解，独立集同样在多项式时间内不可解(书上例题已证)，那么烹调实验（EXPERIMENTAL CUISINE）也不可解（待会证明），由逆否命题可得，如果烹调实验在多项式时间内可解，那么3SAT也能。

证明：独立集问题规约到烹调实验

归约过程：
对于给定的一个独立集问题（G,g），构建烹调实验中的参数矩阵D，如果图G中的i和j相邻，那么D[i，j]=1，否则D[i，j]=0。并令P=0，规约完毕。图G中的顶点i，j就代表着烹调实验中的材料i，j，最后得到图G中的独立集S的大小g就是烹调问题中的最大材料数量。
证明过程：
因为在g个顶点的独立集S中，所有点都是互不相邻的，也就是在烹调实验的参数矩阵D中对应的值也都是0，因此所有材料的和也为0。又因为这是最大的独立集，如果在加入任意一个其他材料，也就是在S中加入一个其他顶点，这个顶点一定与S中的某个顶点相邻，那么在矩阵D中的值为1，此时所有材料的值就会大于0，不符合P=0的条件。因此，我们成功将一个独立集问题规约到烹调实验问题，而独立集又可以有3SAT归约到，因此，3SAT可以规约到独立集问题，因此如果烹调实验多项式时间内可解，那么3SAT也能。
以上。