运筹学资料4整数规恍庐2.pptVIP

0-1规划的解法 0-1 规划在线性整数规划中具有重要地位。 定理：任何整数规划都可以化成0-1规划。 一般地说，可把整数x变成(k+1)个0-1变量公式为：x=y0+2y1+22y2+….2kyk 若x上界为U，则对0xU,要求k满足2k+1 ? U+1. 由于这个原因，数学界曾纷纷寻找“背包问题”解的方法，但进展缓慢。; 隐枚举法(Implicit Enumeration) 基本上此法可以从所有变量等于零出发（初始点），然后依次指定一些变量取值为1，直到获得一个可行解，于是把第一个可行解记作迄今为止最好的可行解，再重复，依次检查变量为0，1的各种组合，对迄今为止最好的可行解加以改进，直到获得最优解。;例5-9 求下列问题： Max Z=3x1- 2x2 + 5x3 s.t. x1+2x2 - x3 ? 2 (1) x1+4x2 + x3 ? 4 (2) x1 + x2 ? 3 (3) 4x2 + x3 ? 6 (4) xj ? 0或1 (5);解： 容易看出(1,0,0)满足约束条件，对应Z=3，对Max Z来说，希望Z ? 3,所以增加约束条件： Z=3x1- 2x2 + 5x3 ? 3