资源描述：
《概述与组合优化概念续》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、优化理论与决策--组合优化问题--张宗祥电子商务教研室15972981801P,NP,NPC,NP-hard启发式算法第一章概论算法基础P,NP,NPC,NP-hard问题、实例与输入规模问题复杂性概念：复杂性的研究是从区分“问题”和“实例”并定义实例的“输入规模”开始的。P,NP,NPC,NP-hard对于一个给定的组合优化问题，当问题中的参数赋予具体值时，称为问题的一个实例如表1。这些具体值称为数据，这些数据输入计算机所占的空间称为实例的输入长度或输入规模如表2。表1问题实例TSPTSP例题中各参数为：100个城市，城市间距离已知背包问题背包例题中各参数为：4个物品，大小分别为4,
2、3,2,2，价值分别为8,7,5,7，包的大小为6.整数线性规划整数规划例题中n，A,b，c已知。P,NP,NPC,NP-hard表2数据二进制编码输入长度111210210101046410000007k≥2≤P,NP,NPC,NP-hard一个实例完全由它的数据决定，给定一个问题的数据，即给定一个实例，我们可以用一种已知的计算机上的方法去求解。这种计算机上的求解方法称为算法。算法不仅仅局限于每一个实例，而是求解问题的统一程序。评价算法的一个主要指标是计算所耗用的时间。P,NP,NPC,NP-hard迄今为止，许多的组合优化问题都没有找到求最优解的多项式时间算法。比多项式问题类可能更
3、广泛的一个问题类是非确定多项式时间（nondeterministicpolynomial，NP）问题，NP的概念是由判断问题引入的。如果一个问题的每一个实例只有“是”或“否”两种答案，则称这个问题为判断问题。称有肯定答案的实例为“是”实例，称答案为“否”的实例为“否”实例或非“是”实例。P,NP,NPC,NP-hard优化问题与判定问题在研究组合优化问题复杂性时，处理的方法是对给定的一类优化问题，将其转化为判定问题，使对每一个实例只有“是”或“否”的回答。下面给出几个优化问题对应的判定问题。P,NP,NPC,NP-hard将LP（目标函数为求最小）转化为LP判定问题P,NP,NPC,N
4、P-hardP类问题给定每个问题的实例，我们有多项式时间算法得出答案是是还是不是。NP问题如果X是判定问题的一个答案为“是”的实例，则存在一个对X的一个多项式时间为界验证，使得能在多项式时间内验证这个证明的真实性；P,NP,NPC,NP-hard定理：即P是NP的子集。多项式时间归纳法（转换）两个判定问题，如果多项式归结到，则当有多项式算法时，也有多项式时间算法。P,NP,NPC,NP-hard所有的P类问题都是属于NP问题.P是否等于NP?这个问题至今还未解决NP问题不一定都是难解的问题，比如简单的数组排序问题是P类问题，但是P属于NP，所以也是NP问题.现在还不知道是否有P=NP或
5、者P<>NP，但是后来人们发现还有一系列的特殊NP问题，这类问题的特殊性质使得很多人相信P<>NP，只不过现在还无法证明。这类特殊的NP问题就是NP完全问题P,NP,NPC,NP-hardNP－Complete（NP完备类）P,NP,NPC,NP-hard常见的NP－完备问题有成千上万个NP－完备问题，如：整数线性规划、团、货郎担问题、适定性问题、点覆盖、独立集、哈密顿圈问题、0－1背包问题。事实上要证明一个问题是NP－完备的转化为要证明：1）该问题是NP的2）有一个已知的NP－完备问题可以多项式时间转化为该问题。P,NP,NPC,NP-hardNP－困难问题PNPNPCNPHP,NP
6、,NPC,NP-hard一个问题的最优算法求得该问题每个实例的最优解，启发式算法是对应最优算法提出的。定义为：一个基于直观和经验的短发，在可接受的花费下给出待解决组合最优化问题每一个实例的一个可行解，改可行解与最优解的偏离程度不一定事先可以预计。在某些情况下，特别是实际问题中，最优算法的计算时间使人无法忍受或因问题的难度事情计算时间随实例规模的增加以指数速度增加。如TSP枚举算法。启发式算法背包问题的贪婪算法Step1对物品以从大到小排列，不妨把排列记成{1,2，…,n},k=1.Step2若则，否则k=k+1；当k=n+1时，停止；否则，重复Step2。为贪婪算法的解，单位尺寸价值比
7、越大越先装包。启发式算法的比值计算需要n次运算，从小到大排列需要次运算。（k=1,2，…,n）对于每一个k需要一次加法和一次比较，共2n次运算，这个贪婪算法的计算量为，是一个多项式时间算法。启发式算法启发式算法优点：1）数学模型本身是实际问题的简化，或多或少地忽略了一些因素；而且数据采集具有不确定性；参数估计估计具有不准确性；这些因素可能造成最优算法所得到的解比启发式算法更差。2）有些难的组合优化问题可能还没找到最优算法，由算法复杂性理论，它们
