运算研究中线性规划二元性.pptVIP

§3 线性规划的对偶问题的提出; 从另一个角度讨论这个问题：工厂决定转让设备收取租金，如何确定租价？ 设y1，y2，y3分别为出租单位设备台时的租价和出让单位原材料Ａ、Ｂ的附加额。; 为什么目标取最小？租金定的越高就不会有人来租，问题就没有实际意义，工厂和接受者都愿意的条件为上述规划问题的解。 其中Y=（y1，y2，y3）;?;;§4 线性规划的对偶理论;标准形式下原问题与对偶问题的对应关系;根据下表写出原问题与对偶问题的表达式; ;?原问题中的价值向量与对偶问题中的资源向量对换（上下对换）?　原问题: X在C和A的右边; 　对偶问题:Y在b和A的左边（左右对换）;对偶问题的基本性质和基本定理 1. 对称性定理：对偶问题的对偶是原问题 证明：;2. 弱对偶性定理 若X（0）和Y（0）分别是原问题和对偶问题的可行解，则有CX（0）≤Y（0）b;4.最优性定理若X（0）和Y（0）分别是原问题和对偶问题的可行解，且有 C X（0）=Y（0）b , 则X（0）和Y（0）分别是原问题和对偶问题的最优解。 ;5.对偶定理 有一对对偶的线性规划问题，若其中有一个有最优解，则另一个也有最优解，且相应的目标函数值相等。 ;综上，一对对偶问题的解必然下列情况之一：; 6 .互补松弛定理 若X（0）和Y（0）分别是原问题和对偶问题的可行解，则X（0）和Y（0）都是最优解的充要条件是Y（0）Xs=0和Ys X（0）=0。其中Xs=(xs1,xs2,…,xsm)T，xs1,xs2,…,xsm 是原问题的松弛变量. Ys=(ys1,ys2,…,ysn)T ，ys1,ys2,…,ysn是对偶问题的剩余变量。 松弛的含义是如果有某个原始最优解X(0)，使得对某个下标j，满足X(0)j0(原问题是松的)，那么与之对应的对偶约束在最优的情况下为等式，即ysj=0(对偶问题是紧的)；如果原始约束在最优情况下对某个下标i满足x(0)si0(原问题是松的)，那么，对偶最优解中与之对应的y(0)i=0(对偶问题是紧的)。;证明: 原问题 对偶问题 max z =CX min ω=Yb  AX+ Xs =b YA-Ys=C  X, Xs ≥0 Y, Ys≥0  z =(YA-Ys)X=YAX-YsX  ω=Y(AX+Xs)=YAX+YXs  若Y(0)Xs=0和YsX(0) =0, 则Y(0)b=Y(0)AX(0)=CX(0)，根据性质4可知 X(0),Y(0)为最优解。 反之, X(0),Y(0)为最优解, 则CX(0)=Y(0)AX(0)= Y(0)b  可知必有Y(0)Xs=0和YsX(0) =0。 证毕;7. 原问题的检验数对应对偶问题的一个基本解; 当原问题有解XB=B-1b，XN=0时,检验数为：CN-CBB-1N，-CBB-1 令Y=CBB-1，代入对偶问题的约束条件得： Ys1=0， -Ys2= CN-CBB-1N 则（Y，Ys1，Ys2）为对偶问题的基本解 证毕;检验数性质：原问题检验数行对应其对偶问题的一个 基解, 关系如下:;例4 已知线性规划问题 max z = x1 + x2 -x1 + x2 + x3 ≤ 2 -2x1 + x2 - x3 ≤ 1 x1 , x2 , x3≥0试用对偶理论证明上述线性规划问题无最优解。;例5 已知线性规划问题 minω = 2x1 + 3x2 + 5x3 + 2x4 + 3x5 x1 + x2 + 2x3 + x4 + 3x5 ≥ 4 2x1 - x2 + 3x3 + x4 + x5 ≥ 3 xj ≥ 0,j = 1,2,3,4,5  已知其对偶问题的最优解为y1* = 4/5, y2* = 3/5；z = 5。试用对偶理论找出原问题的最优解.;解: 先写出它的对偶问题 max z = 4y1 + 3y2 2y1 + y2 ≤ 2 y1 - y2 ≤ 3 2y1 + 3y2 ≤ 5