Reducibility among Combinatorial Problems问题之间的规约证明.pdfVIP

By 果果 证明格式 证明Π∈NP 1. 最优性问题转为判定性问题 2. 构造非确定多项式时间算法 a) 猜想…… （多项式时间复杂度） b) 检查…… （多项式时间复杂度） c) 若是，回答“yes”，否则回答“no” 多项式时间变换 ≤ 1. 对 的每个实例I （列出所有参数和限制） 1 2. 构造 对应实例f(I) （计算参数，检查限制） 2 3. 证明f 是多项式时间算法 4. 证明I 是“yes”实例当且仅当f(I)是“yes”实例 证明Π 是NP 完全的 1. 证明Π∈NP 2. 找到已知的NP 完全问题Π’,证明Π’≤ Π 1. SAT ∝ 0-1 整数规划 问题回顾： SAT: 输入析取范式 , , … , , 是否有赋值使得它们都为真