贪心
微扰（邻项交换）
证明在任意局面下，任何对局部最优策略的微小改变都会造成整体结果变差，经常用于以"排序"为贪心策略的证明。
范围缩放
证明任何对局部最优策略作用范围的扩展都不会造成整体结果变差。
决策包容性
证明在任意局面下，作出局部最优决策以后，在问题状态空间中的可达集合包含了作出其他任何决策后的可达集合。换言之，这个局部最优策略提供的可能性包含其他所有策略提供的可能性。
反证法
数学归纳法
用不等式证明等式
若贪心得到的答案 ≥ 最优解且贪心得到的答案 ≤ 最优解，则贪心得到的答案 = 最优解。