【2017年整理】运筹学(fuxi).ppt

1 1 0 0 0 0 1 1 1 0 0 -1 1 0 1 16/5 0 1 0 1 -4/5 0 0 4/5 0 0 1 1 -6/5 0 0 -4/5 0 0 0 0 -4/5 1 0 0 0 0 -1/5 0 x1 x2 CB XB b x1 x2 x3 x4 x3 x5 x6 x6 1 1 0 0 0 0 1 0 1 0 0 -1 0 5/4 1 4 0 1 0 1 0 -1 0 2 0 0 1 1 0 -3/2 0 1 0 0 0 0 1 -5/4 0 0 0 0 0 -1/4 x1 x2 CB XB b x1 x2 x3 x4 x3 x5 x5 x6 2x1+x2 ≤ 6 4x1+5x2 ≤ 20 x1,x2 ≥ 0且为整数 maxZ=x1+x2 1 2 3 4 5 1 5 2 3 4 6 2x1+x2 = 6 4x1+5x2 = 20 maxZ A(5/3,8/3) B(1,16/5) C(9/5,12/9) D(0,4) E(2,2) F(1,3) 枚举法是解0-1规划的一种算法。具体做法是：检查每个变量等于0或1的所有组合。满足所有约束条件，且使目标函数值最优的组合就是0-1规划的最优解。 由于n个变量时，须检查2n个变量组合，而当 n15时，这几乎是不可能的。所以，有人提出了隐枚举法。 0-1型整数规划的解法——隐枚举法 １、先找一个可行解,如（0,0,0)，并将其目标函数值Z=0作为下界。 ２、由上步得出过滤性约束条件 ３、对某种变量的组合，检验其是否满足上述过滤条件，若满足且又是可行解，则修改过滤条件，重复（３）。 隐枚举法步骤 注意:上述计算步骤还可以进一步得到改善，即对极大化问题，若将目标函数中xj的价值系数按递增（不减）的次序排列（求极小，价值系数按照递减的次序排列）。即 则可知(0,0,1)的目标值一定不小于(0,1,0)及(1,0,0)的目标值。同样(0,1,1)的目标值一定不小于(1,1,0)与(1,0,1)的目标值。故若(0,0,0)、(0,0,1)、(0,1,1)、(1,1,1)都为可行解，则其他变量的组合可不必考虑。 (x2,x1,x3) Z值 约束条件 过滤条件 √(0,0,0) 0 √ √(0,0,1) 5 √ √(0,1,1) 8 √ √(1,1,1) 6 分 支 定 界 法 1　分支 假设松弛问题的最优解不是整数解，则选择一个非整数分量构造两个约束条件： 分别加入松弛问题中，得到两个子问题LP1与LP2, 即后继问题，并求解之。 2　定界（以求极大值为例） 以最优目标函数值中最大者（针对没有分支的线性规划问题而言）为上界，以符合整数条件的各子问题中目标函数值最大者作为下界。若无整数解，在Z≥0的情况下，令Z=0 3　比较与剪枝 　　若上界等于下界，则停止；否则，剪去小于下界的分支。对于大于下界的分支，继续重复２（函数值较大的分支优先）。 X1≤1 X1≥2 X2≤2 X2≥3 X1≤2 X1≥3 LP0 S: X1=3/2；X2=10/3；Z0=29/6 S2 X1=1,X2=7/3,Z =10/3 LP1 S1 X1=2,X2=23/9,Z=41/9 LP2 S11 X1=33/14,X2=2,Z =61/14 LP21 无可行解 LP22 S111 X1=3,X2=1,Z =4 LP211 S112 X1=2,X2=2,Z =4 LP212 假定n个人去做n件事，要求每人完成其中一件，每件事交给其中一个人去完成（即人与事都不闲置），每人做各种事的费用（或时间）已知，试求总费用最小的分配方案。 指 派问 题 标准形式指派问题 特点： （1）人和事数目相等 （2）一人只能做一件事，一件事只能有一个人来做 （3）目标极小化 ? 标准形式指派问题的解法—匈牙利解法 匈牙利方法适用范围 ? 非标准形式的指派问题 1．最大化指派问题 ⑵　目标函数极小化； ⑴ cij≥0 ； ⑶　人与工作个数相等。 ２．人数与事数不等 例： 分配A、B、C、D四个人去