贪心的证明思路

微扰

对局部最优策略的任何微小改变都会是结果变差。
在以排序为核心的策略中常常是临项交换

扩展范围

证明对局部最优策略的扩展不会使结果变差

证明最优策略提供的可能性包含其他任何策略提供的可能性