算法概论 8,16

问题描述： 思路： 问题的核心在于如何把3sat问题规约到烹调实验问题，若成功规约，那么易得：如果烹调实验问题能够在多项式时间内解决，则3sat也可以。 证明： 假设我们现在面对的是n个variable（以下简称V），m个clausees（以下简称C）的3SAT问题，那么我们构建一个（2n+3m）*（2n+3m）的和谐度矩阵：每个variable都可以产生两种配料：true和false，每个cla

>>阅读原文<<