背包问题贪心选择性质证明