多重背包优化中二进制拆分的合理性证明