概述与组合优化概念续.pptVIP

概述与组合优化概念续第1页，共24页，星期日，2025年，2月5日P,NP,NPC,NP-hard启发式算法算法基础第2页，共24页，星期日，2025年，2月5日第3页，共24页，星期日，2025年，2月5日问题、实例与输入规模问题复杂性概念：复杂性的研究是从区分“问题”和“实例”并定义实例的“输入规模”开始的。第4页，共24页，星期日，2025年，2月5日对于一个给定的组合优化问题，当问题中的参数赋予具体值时，称为问题的一个实例如表1。这些具体值称为数据，这些数据输入计算机所占的空间称为实例的输入长度或输入规模如表2。表1问题实例TSPTSP例题中各参数为：100个城市，城市间距离已知背包问题背包例题中各参数为：4个物品，大小分别为4,3,2,2，价值分别为8,7,5,7，包的大小为6.整数线性规划整数规划例题中n，A,b，c已知。第5页，共24页，星期日，2025年，2月5日表2数据二进制编码输入长度111210210101046410000007k≥2≤第6页，共24页，星期日，2025年，2月5日一个实例完全由它的数据决定，给定一个问题的数据，即给定一个实例，我们可以用一种已知的计算机上的方法去求解。这种计算机上的求解方法称为算法。算法不仅仅局限于每一个实例，而是求解问题的统一程序。评价算法的一个主要指标是计算所耗用的时间。第7页，共24页，星期日，2025年，2月5日迄今为止，许多的组合优化问题都没有找到求最优解的多项式时间算法。比多项式问题类可能更广泛的一个问题类是非确定多项式时间（nondeterministicpolynomial，NP）问题，NP的概念是由判断问题引入的。如果一个问题的每一个实例只有“是”或“否”两种答案，则称这个问题为判断问题。称有肯定答案的实例为“是”实例，称答案为“否”的实例为“否”实例或非“是”实例。第8页，共24页，星期日，2025年，2月5日优化问题与判定问题在研究组合优化问题复杂性时，处理的方法是对给定的一类优化问题，将其转化为判定问题，使对每一个实例只有“是”或“否”的回答。下面给出几个优化问题对应的判定问题。第9页，共24页，星期日，2025年，2月5日将LP（目标函数为求最小）转化为LP判定问题第10页，共24页，星期日，2025年，2月5日P类问题给定每个问题的实例，我们有多项式时间算法得出答案是是还是不是。NP问题如果X是判定问题的一个答案为“是”的实例，则存在一个对X的一个多项式时间为界验证，使得能在多项式时间内验证这个证明的真实性；第11页，共24页，星期日，2025年，2月5日定理：即P是NP的子集。多项式时间归纳法（转换）两个判定问题，如果多项式归结到，则当有多项式算法时，也有多项式时间算法。第12页，共24页，星期日，2025年，2月5日所有的P类问题都是属于NP问题.P是否等于NP?这个问题至今还未解决NP问题不一定都是难解的问题，比如简单的数组排序问题是P类问题，但是P属于NP，所以也是NP问题.现在还不知道是否有P=NP或者PNP，但是后来人们发现还有一系列的特殊NP问题，这类问题的特殊性质使得很多人相信PNP，只不过现在还无法证明。这类特殊的NP问题就是NP完全问题第13页，共24页，星期日，2025年，2月5日NP－Complete（NP完备类）第14页，共24页，星期日，2025年，2月5日常见的NP－完备问题有成千上万个NP－完备问题，如：整数线性规划、团、货郎担问题、适定性问题、点覆盖、独立集、哈密顿圈问题、0－1背包问题。事实上要证明一个问题是NP－完备的转化为要证明：1）该问题是NP的2）有一个已知的NP－完备问题可以多项式时间转化为该问题。第15页，共24页，星期日，2025年，2月5日NP－困难问题第16页，共24页，星期日，2025年，2月5日PNPNPCNPH第17页，共24页，星期日，2025年，2月5日