算法设计与分析_05NP完全问题-一些重要的概念讲解.ppt

算法设计与分析演示稿 纪玉波制作(C) 算法设计与分析 ——NP完全问题 一、一些重要的概念1、多项式时间算法和难解问题 不同的算法具有很不相同的时间复杂性函数，什么样的算法算作“效率高”，什么样的算法算作“效率低”，计算机科学家们公认一种简单的区别，这就是多顶式时间算法（polynomial time algorithm)和指数时间算法（exponential time algorithm)之间的区别。Cobham[1964］和Edmonds[1965］首先讨论了这种区别的基本性质。特别是Edmonds把多项式时间算法与“好的”算法等同看待，并且猜想某些整数规划问题可能不能用这种“好的”算法求解。这反映了一种观点，认为指数时间算法不应该算作“好的”算法。通常也的确是这样的。大多数指数时间算法只是穷举搜索法的变种，而多项式时间算法通常只有在对问题的结构有了某些比较深入的了解之后才有可能给出。艰多人都认为只有知道了问题的多项式时间算法才能认为“很好地解决了”这个问题。因此，如果一个问题困难到不可能用多项式时间算法求解，那末我们就认为这个问题是“难解的”。 2、可证的难解问题 最早证出的难解性问题结果是经典的图灵不可判定性。四十多年前，图灵证明某些问题困难到“不可判定的”程度，即根本不可能给出解这些问题的算法。例如，他证明不可能给出一个算法，当任意给定一个计算机程序和这个程序的输入