运筹学 整数规划 三个未知数问题