多重背包问题的二进制优化的数学基础