唐常杰翻译的计算理论导引18.pptVIP

Lecture Notes for Computation Theory 今日要点 7.5 几个NP-完全问题 cp174-175 7.5 几个NP-完全问题 子集问题 Subset-Sum in NP 复习 cp165 子集和 问题 Subset-Sum in NP 复习 cp165 Reducing 3SAT to SubSet Sum定理 7.37 ep268, cp178 Proof idea: 把3SAT 多项式 归约 为 不找补 购物 1.设 3SAT已经定义好 2 选S的子集 ，对应于3SAT的合取范式（P-time完成） 3 不同的和 对应 不同的子句 4 当和=t (不找补 购物），　找到3SAT 的满足指派 这样 可以 不找补 购物?? 3SAT 可满足 作法： 设合取范式已经有了， 下面要找一些10进位数，yi, zi, hi, gi 和 总和 t Reducing 3SAT to SubSet Sum定理 7.37 ep268, cp179 Proof idea: 把3SAT 多项式 归约 为 子集和（不找补 购物） 1.设 3SAT已经定义好 2 选S的子集 ，对应于3SAT的合取范式（P-time完成） 3 不同的和 对应 不同的子句 4 当和=t (不找补 购物），　找到3SAT 的满足指派 证明较复杂，如果一下看不懂，可先承认它，应用它。 这样， 可以 不找补 购物?? 3SAT 可满足 作法： 设合取范式已经有了， 下面要找一些10进位数，yi, zi, hi, gi 的 和 总和 t 讲思想后, 读书CP179,不难理解 Reducing 3SAT to SubSet Sum形式化描述：基于合取式，如何造 数 表， cp179 Let ??3CNF with k clauses and ? variables x1,…,x?. Create a Subset-Sum instance S?,t by: 2?+2k elements of S? = {y1,z1,…,y?,z?,g1,h1,…,gk,hk} yj 对应于子句中出现的 xj zj 对应于子句中出现的~ xj gj and hj are dummies 为1表示该列对应子句j 最后选若干个 y, z, g, h , 使和为 t. 细致解释：Reducing 3SAT to SubSet Sum形式化描述：基于合取式，如何造 数 表， cp179 Let ??3CNF with k clauses and ? variables x1,…,x?. Create a Subset-Sum instance S?,t by: 2?+2k elements of S? = {y1,z1,…,y?,z?,g1,h1,…,gk,hk} yj 对应于子句中出现的 xj zj 对应于子句中出现的~ xj gj and hj are dummies 为1表示该列对应子句j 最后选若干个 y, z, g, h , 使和为 t. Subset Sum Subset Sum Subset Sum 设合取式满足，可选出xi yi如下其和为最后一行，对应一个子集和 不满足??加不够3 Proof 3SAT ?P Subset Sum 3SAT 归约为子集和问题 ep269，cp179 对每个 3合取范式 ?, 取总和（目标） t=1…13…3 （10进制）以及按前面图找出来的数字集合 S?.（包括yi zi , gi, hi等等) 如果 ??3SAT,（已经被满足）则如前原选出的yi zi , gi, hi 之和为t, 反之，有了子集和的解，原可构造合取范式的满足指派 Proof 3SAT ?P Subset Sum 3SAT 归约为子集和问题 ep269，cp179 对每个 3合取范式 ?, 取总和（目标） t=1…13…3 （10进制）以及按前面图找出来的数字集合 S?.（包括yi zi , gi, hi等等) 如果 ??3SAT,（已经被满足）则如前原选出的yi zi , gi, hi 之和为t, 反之，有了子集和的解，原可构造合取范式的满足指派 Finding the Solution 如果子集和的判定问题有P-时间算法 （Poly—time） （判定Yes/No) 则可以在P-时间内找到具体的数字。实现不找补购物 为什么人们忙时说”不用找补”？比较烦，比较难，是NP完全 的） How? 通过提问，电影中律师常常问Yes/No问题，诱