0x07 贪心

0x07 贪心

贪心是一种在每次决策时采取当前意义下最优策略的算法，因此，使用贪心要求问题的整体最优性可以由局部最优性导出。贪心算法的最优性需要证明，常见的证明手段有：

1.微扰（领项交换）

证明在任何情况下，任何对于局部最优策略的微小改变都会导致整体结果变差。经常用于以“排序”为最优策略的证明。

2.范围缩放

证明任何对于局部最优策略作用范围的扩展都不会造成整体结果变差。

3.决策包容性

证明在任何局面下，做出局部最优策略以后，在问题状态空间中的可达集合包含了做出其他任何决策后的可达集合。换而言之，这个局部最优策略提供的可能性包含其他所有策略提供的可能性。

4.反证法

5.数学归纳法