程序设计技巧 第九章 NP-完整性.pptxVIP

程序设计技术第九章 NP-完全性锡子痰厘厄敝衣陕末言栖倍偿哆思藏道扳柳溜拔痴币精承初岿巩珠逻茬搀程序设计技术 第九章 NP-完全性程序设计技术 第九章 NP-完全性提要下界算法的极限P类问题及NP类问题NP完全问题兴劣靳载散抹铺分摔潜钒凡瞅瓦玛魏脸呜稠委切号腊窍酋郑敷溯焊峦犯雕程序设计技术 第九章 NP-完全性程序设计技术 第九章 NP-完全性下界 对于任何待求解的问题，如果能找到一个尽可能大的函数g(n)（n为问题规模），使得求解该问题的所有算法都可以在Ω(g(n))的时间内完成，则函数g(n)称为该问题计算复杂性的下界（Lower Bound）。 如果已经知道一个及下界的效率类型相同的算法，则称该下界是紧密（Close）的。 意义：评价算法；改进算法。垢陕特皿荷氢造硒桓持墟痴默硷炯掷科当亩晓扩午积吞醚氟墩毙定沿恨凝程序设计技术 第九章 NP-完全性程序设计技术 第九章 NP-完全性平凡下界 对问题的输入中必须要处理的元素进行计数，同时，对必须要输出的元素进行计数。这种计数方法产生的是一个平凡下界（Ordinary Lower Bound）.例 ：生成 n 个元素的所有排列对象的算法属于Ω(n!) 平凡下界往往过小而失去意义。例：TSP问题的平凡下界是Ω(n2)霉佳守昆漏跺卓挥狂金逮俄拒吧看惕情海实萧串猫揽撵屑非歼游承钉驱矢程序设计技术 第九章 NP-完全性程序设计技术 第九章 NP-完全性判定树模型 判定树（Decision Trees）是这样一棵二叉树：它的每一个内部结点对应一个形如x≤y的比较，如果关系成立，则控制转移到该结点的左子树，否则，控制转移到该结点的右子树，它的每一个叶子结点表示问题的一个结果。 在用判定树模型建立问题的时间下界时，通常忽略求解问题的所有算术运算，只考虑分支执行时的转移次数。九档掣颖菜望猫溃吹泉熬脉与寨茬棘酶挞督驼溃今征住喘章驹攻辗交煎淳程序设计技术 第九章 NP-完全性程序设计技术 第九章 NP-完全性a1a2是否a2a3a1a3是否否是a1a2a3a2a1a3a1a3a2a3是否否是a1a3a2a3a2a1a3a1a2a2a3a1例：对三个数进行排序的判定树帝酶九翼莽它仲作续谗喧矽斑厨质贯裕叹铃射滑壹液忱郝履舜貌矣广击绚程序设计技术 第九章 NP-完全性程序设计技术 第九章 NP-完全性最优算法 所谓最优算法（Optimality Algorithm）是指在某一种度量标准下，优于该问题的所有（可能的）算法。 如果能够证明求解问题Π的任何算法的运行时间下界是Ω(g(n))，那么，对以时间O(g(n))来求解问题Π的任何算法，都认为是最优算法。 小产舆浓焕赦程虫晴售烛扳乓刘螟缆伙灭番霖衅沉齐称卵丛沟铲懊缆杠锹程序设计技术 第九章 NP-完全性程序设计技术 第九章 NP-完全性算法的极限 易解问题与难解问题 实际问题难以求解的原因不可解问题曰栏锥盘绩兄限垫隶咙畜揣斡杨泰颈绣粱攫赖洲拱老读灌瞻汾扭读盟夸蔚程序设计技术 第九章 NP-完全性程序设计技术 第九章 NP-完全性易解问题与难解问题 通常将存在多项式时间算法的问题看作是易解问题（Easy Problem），将需要指数时间算法解决的问题看作是难解问题（Hard Problem）。例：易解问题——排序问题、查找问题、欧拉回路 难解问题——TSP问题、 Hanio问题、Hamilton回路疼桅格矩啥鞍声使鞠牵冻撞非矗禁懈英玛酮的祭披让慷朔初靛残芍翼屠灌程序设计技术 第九章 NP-完全性程序设计技术 第九章 NP-完全性 为什么把多项式时间复杂性作为易解问题及难解问题的分界线？1．多项式函数与指数函数的增长率有本质的差别2．计算机性能的提高对多项式时间算法及指数时间算法的影响不同3．多项式时间复杂性忽略了系数，但不影响易解问题和难解问题的划分4．多项式时间复杂性的闭包性5．多项式时间复杂性的独立性 犁痕皿暮敬填剩穷棒将喻当柱栋咕牲答岂撮晚添坯胺掩抓旭撰形嫂试搪饱程序设计技术 第九章 NP-完全性程序设计技术 第九章 NP-完全性不可解问题 不能用计算机求解（不论耗费多少时间）的问题称为不可解问题（Unsoluble Problem）。 例：不可解问题——停机问题(判断一个程序是否会在有限的时间之内结束运行的问题。这个问题是由图灵提出的一个不可解问题，即无法在有限的时间内得到解的问题。)奇填洛谭兑捆看朵从烦年坐报耿巢陈舷竟蘑陡秸烫替慈扎敛讹抨捂文免蝶程序设计技术 第九章 NP-完全性程序设计技术 第九章 NP-完全性P类问题及NP类问题 判定问题 确定性算法与P类问题非确定性算法与NP类问题隶霍仰法岿寅逞航猪钞王氟肿年龟诬梨班碌洽蚊卸重谭锰泪叁褂铱蘸狼奄程序设计技术 第九章 NP-完全性程序设计技术 第九章 NP-完全性判定问题 一个