第10章_问题的复杂性摘要.ppt

* 第10章 问题的复杂性 * 最大团问题（Maximum Clique Problem） 给定无向图G=（V，E）、正整数k，判定图中是否存在K个顶点，使得它们的导出子图构成完全图。 10. 哈密顿回路问题（Hamiltonian Cycle Problem） 给定无向图G=（V，E），是否存在一条回路，使得图中每个顶点在回路中出现一次且仅一次。 11. TSP问题（Traveling Salsman Problem） 给定n个城市、正常数k、及城市之间的费用矩阵C，判定是否存在一条经 过所有城市一次且仅一次、最后返回初始出发城市、且费用小于常数k 的 回路。 12．顶点覆盖问题（Vertex Cover Problem） 给定无向图G=（V，E）和正整数k，若存在 ， ，使得对任意 的 ，都有 或 ，则称 V‘ 为图 G 的一个大小为k的顶 点覆盖。 基本的NP 完全问题 * 第10章 问题的复杂性 * NP完全问题的计算机处理 NPC问题是计算机难以处理的，但在实际中常会遇到，不可回避，从而提出解决NPC问题的各种方法： 1. 采用先进的算法设计技术（问题规模不大的情况下） 2．充分利用限制条件（限制条件可能会改变问题性质） 3．近似算法（以误差换时间） 4．概率算法（以小概率错误换时间） 5．并行计算（多处理机共同完成一项计算） 6．智能算法 （遗传算法、人工神经网络、蚁群算法、免疫算法、模拟退火算法等源于自然界的优化思想） * 图灵论题回答“什么能被自动计算” 库克论题回答“什么能被有效地自动计算” * 第2章 NP完全理论 第2章 NP完全理论 第10章 问题的复杂性 算法设计与分析—本科生课程 Design and Analysis of Algorithm 邱钊 海南大学信息科学技术学院 College of Information Science and Technology, Hainan University qiuzhao73@ * 第10章 问题的复杂性 * 计算的限制 算法作为求解问题的方法，可以求解现实世界中的很多问题，但有些问题仍然无法用任何算法求解，有些问题虽然有算法可以求解，但需要太长的运行时间或太大的存储空间 计算机学科的根本问题是什么能被（有效地）自动计算。图灵：一个问题是可计算的当且仅当它在图灵机上经过有限步骤后得到正确的结果。库克：一个问题是实际可计算的当且仅当它在图灵机上经过多项式步骤后得到正确的结果。易解问题：多项式时间内可解。难解问题：指数时间求解。 * 第10章 问题的复杂性 * 不可解问题 Unsoluble Problem 难解问题虽没找到多项式时间算法，但按指数时间算法的难解问题至少在理论上可以用计算机求解。 但有些问题不论耗多少时间也不能用计算机求解。 不能用计算机求解（不论耗费多少时间）的问题称为不可解问题 算法的极限 * 第10章 问题的复杂性 * 例：不可解问题典型例子：停机问题（halting problem） 算法的极限 Bool Halt(char *prog, char *input){ if(prog对输入input停止执行) return true; else return false; } Void Contrary(char *prog){ do result=Halt(prog, prog); while(result==true); } * 第10章 问题的复杂性 * 判定问题 Decision Problem 判定问题是仅仅要求回答“yes”或“no”的问题。 很多实际问题可以转化为一系列更容易研究的判定问题。举例如下： P类问题和NP类问题 * 第10章 问题的复杂性 * 例1：排序问题 排序问题的判定形式可叙述为： 给定一个整数数组，是否可以按非降序排列 例2：图着色问题 图着色问题的判定形式可叙述为： 给定无向连通图G=（V，E）和一个正整数k，是否可以用k种颜色为G中所有顶点着色，使得任何两个相邻顶点着色不同。 例3：TSP问题 TSP问题的判定形式可叙述为： P类问题和NP类问题 * 第10章 问题的复杂性 * 给定一个带权图G=（V，E）和一个正整数k，是否有一个经过所有顶点一次且仅一次再回到出发点的回路，其总距离小于k。 例4：哈密顿回路问题 哈密顿回路问题的判定形式可叙述为： 在图G=（V，E）中，是否有一个回路经过所有顶点一次且仅一次再回到出