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

Lecture Notes for Computation 今天课程 猜难，验易 的实例 Verifiers and NP 猜—证，猜难证易，测证——验证，vitrify ep243 cp164 Verifiers and NP 猜—证，猜难证易，测证——验证，vitrify ep243 cp164 Nondeterministic Poly-Time ep244 cp164 Nondeterministic Poly-Time ep244 cp164 Nondeterministic Poly-Time ep244 cp164 Nondeterministic Poly-Time ep244 cp164 Nondeterministic Poly-Time ep245 Nondeterministic Poly-Time ep245 Example CLIQUE(团） ep245 cp165 团—图中的小集团， 两两 有勾结 的顶点集合 Consider a graph G, is there a k-clique? 团问题 cp165 团问题 cp160 团问题 cp165 团问题 cp165 2 子集和问题 ， 找补零钱 Subset sum 2 子集和 找补零钱 Subset sum 定理7.21 子集和问题 简单，可考虑自学 子集和问题 SUBSET-SUM。 在这个问题中有一个数集x1，…，xk和一个目标数t。要判定在这个集合中是否有一个加起来等于t的子集。即 SUBSET-SUM＝｛s，t｜s＝｛x1，…，xk｝，且存在 ｛y1，…，yl｝í｛x1，…，xk｝使得｝ 例如，｛4，11，16，21，27｝，25∈SUBSET-SUM，因为4＋21＝25。注意｛x1，…，xk｝和｛y1，…，yl｝被看作是多重集(multisets)，因此允许元素重复。 定理7.21 SUBSET-SUM属于NP。 证明思路 子集就是证书。 证明 下面是SUBSET-SUM的一个验证机V。 V＝“对输入S，t，c： 1）检查c是否是加起来等于t的数的集合。 2）检查S是否包含c中的所有数。 3）若两项检查都通过，则接受；否则，拒绝。” coNP 注意这些集合的补集，~Clique 和 ～Subse-Sum 不是很明显地属于NP。 验证某种事物不存在好象要比验证它存在更加困难。 定义另外一个复杂性类，称为coNP， 它包括NP中的语言的补语言。 还不知道 （coNP=NP） ？。 布尔公式 为 分析其他问题的复杂度 作准备 复习 （本科生课程内容） cp167 布尔公式 为 分析其他问题的复杂度 作准备 复习 （本科生课程内容） cp167 Conjunctive Normal Form 合取范式 cp167 Conjunctive Normal Form 合取式 cp168 Conjunctive Normal Form 合取式 cp168 Conjunctive Normal Form 合取式 cp162 Conjunctive Normal Form 合取式 cp168 A CNF Example （在后面将用到的）合取式 “CLIQUE ～ SAT ～ 3SAT” 复杂度等价团问题=满足问题=3满足问题, ep246, cp163- 164 “CLIQUE = SAT = 3SAT” 复杂度等价思路：团问题=满足问题=3满足问题, ep246, cp163- 164 Mapping Reducibility 映射规约 cp167 Poly-Time Functions 多项式间函数 cp167 Poly-Time Functions 多项式间函数 ep249 Polynomial Time Reducible ep249 cp167 Polynomial Time Reducible ep249 cp167 Polytime A ?P B cp167 Polytime A ?P B cp167 P obeys ?P Ordering P 遵守?P归约次序, cp167 P obeys ?P Ordering P 遵守?P归约次序, cp168 P obeys ?P Ordering P 遵守?P归约次序, cp185 准备完毕，回头解决 “3 SAT不比团问题难” , cp 168 团—图中的小集团，两两有勾结的顶点集合 政治上 忌讳 团 Consider a graph G, is there a k-cli