数学建模组合优化问题和计算复杂性.pptVIP

§1.2 计算复杂性问题 SAT ∈ NP-c 这是Cook首先的证明结果 TSP 、IP ∈ NP-c 已证有4000余个问题 NP-c 类问题有如下十分有趣的性质： 1、任何 NP-c 问题都不能用任何已知的多项式 时间算法求解； 2、任何一个 NP-c 问题有多项式时间算法，则 一切 NP-c 问题都有多项式时间算法。 §1.2 计算复杂性问题 对一个新的组合优化问题 E ，在找不到解它的有 效算法时，可去证明 E ∈ NP-c. 主要证明 NP-c 某一问题可多项式时间归约为 E 如果成立，则有如下常用方法： 1、寻找尽可能快的算法求解； (如：分枝定界法、单纯形法) 2、在给定假设下，对具体问题提出解的有效算法； 3、提出启发式算法（最好是近似算法），快速地得到 满意解。 （如：贪婪算法、遗传算法） §1.2 计算复杂性问题 LP ∈ P 若任何 NP 问题均可多项式时间归约 为判定问题 D ，则称 D 为NP-hard（难）问题. NP-hard问题： NP-c 问题与 NP-h 问题的区别是 NP-h 问题无须 判断D是否属于 NP . ? 单纯形法是否是有效算法？ 1972年，美国数学家 Klee 和 Minty 构造了一个著名例子，证明了单纯形 算法不是多项式时