离散组合贪心选择证明.docxVIP

离散组合贪心选择证明

离散组合贪心选择证明

一、离散组合贪心选择证明的基本框架与问题建模

在算法理论与组合优化研究中，离散组合贪心选择证明始终占据着基础而又关键的位置。所谓离散组合问题，通常是指决策变量取离散值、可行解集合由若干组合结构构成、目标函数需要在满足约束的解中取到最优值的一类问题。贪心方法并不像动态规划那样系统地考察子问题之间的依赖关系，也不像分支定界那样通过枚举与剪枝穷尽搜索空间，而是依靠一种看似朴素却极具洞察力的策略：在每一步局部决策中，都按照某种预先定义的次序或权重规则，选取当前看起来最有利的元素，并希望这种局部最优的累积能够导出全局最优。要证明这种直觉成立，就不能只说明算法跑得快，而必须建立起一套严密的逻辑链条，把问题性质、贪心准则、可行解保持、最优性传递和目标函数单调这些要素有机串起来。离散组合贪心选择证明的价值正在于此，它把工程上常用的启发式思路转化为可被学术共同体检验的数学结论，也为后续设计近似算法、在线算法以及带约束扩展算法提供了理论底座。

（1）离散组合对象的数学表示。讨论贪心选择证明之前，必须先把问题写成可推理的形式。通常设有一个有限候选集E，其中每个元素e具有某种权值w(e)，还可能带有长度、费用、截止时间、容量消耗等附加属性。可行解S是E的一个子集，并满足约束关系R(S)为真。目标函数可以是最大化Σ_{e∈S}w(e)，也可