关于贪心算法的正确性证明.pdfVIP

第22卷增刊 江西师范大学学报(自然科学版) V01．22．Sup． 1998年10月 JOURNALOFJIANGXINORMA乙UNⅣERSrrY Oct，1998 关于贪心算法的正确性证明 殷建平 翻胁科技大学计算机芈皖，妊沙．410073) 摘要： 本文对背包问题和最佳台并顺亭问题的贪心算法的正确性给出了严格的形式证 明．从中可看出贪心算法正确性证明的某些一般策略 ． 关键词： 贪心算法，正确性证明，背包问题，鼹佳合并顺序问题． 中图法分类号：TP301童一7” 动态规划法、分枝限界法和贪心法是三种常用的求最佳解的方法． 只要所给问题满足“最佳原理”，就可考虑采。用动态规划法，并且方法本身保证了算 法的正确性．如果存在许多达到公共结点的道路，邪么动态规划法将是高效的．一般来说， 除非借助巧妙的数学变换(如：双流水作业车间调度问题)，否则动态规划法与回溯法相比， 其时间复杂性很难获得数量级的改善．常常只是常数因子有所缩小而已(如：旅行商问题：1． 设T是所给问题的～棵状态空间树，x是T中的任意结点，CⅨ)是以X为根的子树 上有最小代价的回答结点的代价．若能对T中的任意结点x定义下界Lp。和上界U()()， 使得L。()C00UCX)，则可考虑采用分技限界法，并且只要算法终止时活结点表串任 意结点X的下界L()()均大于或等于已找到的最佳解的代价，那么算法的正确性就得到保 证．分枝限界法的时间复杂性主要取决于下界函数L和上界函数U的定义，特别是下界函． 数的定义．在最好情况下，可达到“直奔”最佳解的效果．但在最坏情况下，也可能退化 成穷举法．一般说来，要定义好下界函数和上界函数并不容易． 当可为所给问题定义某种最优化量度时，便可采用贪心法．要求的最佳解一般使某个 目标函数取极值．贪心法是一种多步决镱法，每步选择以最优化量度为根据，这种量度既 可为目标函数，又可为其他函数．因为贪心法试图以局部最优来获取全局最优，所以，除 非最优化量度选择得当，否则贪心法不能保证得到真正的最佳解．因此，与动态规划法和 分技限界法不同，贪心算法的正确性必须专门证明 另一方面，贪心法局部优选的思想必 ． 然导致时间复杂性较为理想．事实上，大多数贪心算法都是多项式时间算法．总之，最优 化量度的选择是贪心算法正确与否的关键，并且，一旦正确，则往往高效．这样，贪心算 ’ 法的正确性证明就显得尤为重要．因为算法的正确性证明涉及到算法的行为和逻辑的推理 两个方面．所以，从某种意义上说，它比纯粹的数学定理证明更复杂．正因为如此，现有 的许多贪心算法的正确性证明都是错误豹、不严格的． 本文对背包问题和最佳台并顺序问题的贪心算法的正确性给出了严格的形式证明，从 中可看出贪心算法正确性证明的某些～般策略． 增刊 般建平 关于贪心算法的正确性证明 19 1背包闯题的贪心算法及其正确性 1．1背包问题 FH。P,xi最大． 1．2背包问题的贪心算法 GREEDY-KNAPSACK procedure integer：I，N； real：P(1：N)，W(1：N)，X(1：N)，M，CU； begin P(I+1)／、v(I+1)的顺序读入／／ read(N，P(1：N)，W(1：N)，M)；／／设按P(1)／W(1) forI=1toNdo X(I)：=O；／／X(D赋初值／／