网络优化 第1章 概论（谢金星）.pptVIP

* 定义1.10 （1）对于判定问题A，若A?NP且NP中的任何一个问题可在多项式时间内归约为A，则称A为NP完全问题(NP-Complete或NPC).可以表示为A?NPC. NPC和NP-hard两者的区别是: 验证一个问题A是否为NP-hard无须判断A是否属于NP. 根据定义可知NPC?NPH. 当已知一个问题属于NPC或NPH时，如果再遇到一个新问题： （1）若已知问题多项式归约为新问题，则新问题属于NPH; 1.5.4 NP完全问题类(NPC) – 定义 （2）对于判定问题A，若NP中的任何一个问题可在多项式时间归约为判定问题A，则称A为NP困难问题(NP-hard 或NPH) .可以表示为A?NPH. （2）若还可以验证新问题属于NP，则新问题属于NPC. * 1.5.4 NP完全问题类(NPC) – 证明 例1.23 (Cook定理，1971）SAT?NPC. 前面已经证明SAT?NP，所以尚需证明： 任何一个NP问题可以多项式归约为SAT 计算复杂性理论的奠基性工作之一：第一个被证明的NPC问题！是证明许多其他NPC问题的出发点 基本思想： 若A?NP，则A存在非多项式时间算法（猜测解、验证解）。 对猜测解、验证解的过程进行分析，构造一个SAT问题！ （证明细节较繁，略） * 1.5.4 NP完全问题类(NPC) – 证明（例） 例1.24 整数线性规划（ILP）的判定问题属于NPC 例1.20已证明适定问题多项式转换为0-1线性规划(ZOLP)的判定问题 ZOLP判定问题属于NPH 与线性规划的判定问题属于NP的证明类似，可以证明： 整数线性规划的判定问题属于NP 引理 如果ILP有可行解，则它有一个可行解 推论： ZOLP多项式等价于ILP；ILP的判定问题属于NPC 易知：ZOLP的判定问题属于NP ZOLP判定问题属于NPC * 1.5.4 NP完全问题类(NPC) – 证明（例） 例1.25 三精确覆盖（X3C）属于NPC. SAT多项式归约为X3C (例1.22) X3C∈NP （例1.19） X3C∈ NPC 例1.26 （特殊）（0-1）背包判定问题属于NPC. X3C多项式变换为背包判定问题（例1.21） 背包判定问题∈NP （易证） 背包判定问题∈ NPC * 1.5.4 NP完全问题类(NPC) – 证明（例） 例1.27 （集合）划分（PARTITION）问题是NPC. PARTITION问题：给定整数 ，是否存在{1,2,...,n}的一个子集S，使得 ？ 要证明PARTITION∈NPC，尚需证明： 这是（特殊）（0-1）背包判定问题的一个特殊情况，包的容积 背包判定问题∈NP PARTITION∈NP 所有NP问题多项式转换/归约为集合划分问题，或： 某个NPC问题多项式转换/归约为集合划分问题 可以证明：背包问题多项式转换为集合划分问题 * 观察： 1.5.4 NP完全问题类(NPC) – 证明（例） 例1.27 PARTITION问题是NPC. （续） 这个映射满足“转换”定义的性质① - 转换的多项式性 证明：背包问题多项式转换为集合划分问题 给定0-1背包判定问题的任何一个实例 构造集合划分问题的实例 其中 这个映射满足“转换”定义的性质② - 解的一一对应性 * 1.5.4 NP完全问题类(NPC) – 证明（例） 例1.27 PARTITION问题是NPC. （续） (充分性)若存在{1,2,...,n+2}的一个子集S’ 使得 由于 ，因此S’含且只含n+1，n+2之一 存在{1,2,...,n}的子集S，使得 的充分必要条件是 存在{1,2,...,n+2}的一个子集S’使得 . (必要性)若存在{1,2,...,n}的子集S，使得 ， 则存在{1,2,...,n+2}的一个子集S’=S ∪{n+2}使得 . 于是存在{1,2,...,n}的子集S，使得 即 * 1.5.4 NP完全问题类(NPC) – 证明（例） 易证：装箱判定问题属于NP易证. 例1.28 装箱(BP)判定问题是NPC. (注：第1次印刷版有漏洞) 给定正整数K及