背包四讲及其优化与证明