背包问题贪心算法正确性的证明