计算理论导引_7_时间复杂性.ppt

* 子集和问题 定理 7.37 SUBSET-SUM 是NP完全的。 证明： SUBSET-SUM ∈NP，只需证明3SAT≤pSUBSET-SUM。 设φ是一个布尔公式，其变量是x1，…，xl，子句是c1，…，ck。归约把φ转化为SUBSET-SUM问题的一个实例＜S，t＞，其中S 的元素和数 t 是图中以通常的十进制记法表示的行。双线上面的行标记为 y1，z1，y2，z2，…，yl，zl 和 g1，h1，g2，h2，…，gk，hk 它们组成S的元素。双线下面的行是 t 。 SUBSET-SUM = { s, t | s = { x1 , …, xk}，且存在 { y1 ,…, yl } ? {x1 , …,xk } 使得 ?yi = t } * 子集和问题--从 3SAT 到 pSUBSET-SUM 的归约 1 2 3 4 … l c1 c2 … ck y1 z1 y2 z2 y3 z3 yl zl 1 0 0 0 … 0 1 0 0 0 … 0 1 0 0 … 0 1 0 0 … 0 1 0 … 0 1 0 … 0 1