贪心

贪心是一种在每次决策时采取当前意义下最优策略的算法，因此要求整体最优性可以由局部最优性导出。

正确性证明的常见手段：

    1.微扰（邻项互换）

            证明在任意局面下，任何对局部最优策略的改变都会使结果变差

    2.范围缩放

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

    3.决策包容性

            证明这个局部最优策略包含其它所有策略提供的可能性

    4.反证法

    5.数学归纳法