运筹学 CH4整数规划