关于贪心算法的正确性证明