如何证明贪心算法是最优的