运筹学第二章线性规划
- 格式:doc
- 大小:420.00 KB
- 文档页数:12
第二章线性规划教学目的和要求:目的:使学生具备线性规划的基本知识以及应用线性规划的基本能力。
要求:理解线性规划概念,标准型,解的概念,基本定理;掌握单纯形法,人工变量法,了解图解法。
重点:线性规划标准型,解的概念,单纯形法,人工变量法。
难点:线性规划基本定理,单纯形法。
教学方法:讲授法,习题法。
学时分配:12学时 作业安排:见教材P 38.线性规划是运筹学的一个重要分支。
1939年苏联科学家康托罗维奇提出了生产组织和计划中的线性规划模型。
1947年美国学者丹捷格(George B.Dantzig)提出了求解一般线性规划问题的方法。
此后,线性规划理论日趋成熟,应用也日益广泛和深入。
第一节线性规划问题一、问题的提出在企业的生产经营活动中经常会面临这样两类问题:一是如何合理地利用有限的人力、物力、财力等资源,取得最佳的经济效果;二是在取得一定的经济效果的前提下,如何合理安排使用人力、物力、财力等资源,使花费的成本最低。
例1.生产计划问题 某工厂利用甲、乙、丙、丁四种设备生产A 、B 、C 三种产品,具体数据如下表所示。
A 、B 、C 单位产品的利润分别是4.5、5、7(百元)。
问如何安排生产计划,才能使所获总利润最大?解:设产品A 、B 、C 产量分别为X 1,X 2,X 3件,Z 表示利润,要求总利润最大,即求Z=4.5X 1+5X 2+7X 3的最大值,故记作极大化Z=4.5X 1+5X 2+7X 3,另外对甲、乙、丙、丁设备需满足2X 1+2X 2+4X 3≦800,X 1+2X 2+3X 3≦650,4X 1+2X 2+3X 3≦850,2X 1+4X 2+2X 3≦700;同时产量应非负,故X j ≧0 (j=1,2,3);以上问题可用数学模型表示为: 极大化Z=4.5X 1+5X 2+7X 3 满足 2X 1+2X 2+4X 3≦800 X 1+2X 2+3X 3≦6504X 1+2X 2+3X 3≦850 2X 1+4X 2+2X 3≦700X j ≧0 (j=1,2,3)例2.运输问题 设某种物资有m 个产地;A 1,A 2, …,A m ,它们的产量分别为a 1,a 2, …,a m ,有n 个销地B 1,B 2, …,B n 需要这种物资,它们的销量分别为b 1,b 2, …,b n 。
已知A i 到B j 的单位运价是C ij (i=1,2, …,m;j=1,2, …,n)。
设供销满足平衡条件,即 。
问怎样组织运输,才能满足要求,且使总运费最少?---- 7 5 4.5 单位利润 700 2 4 2 丁 850 3 2 4 丙 650 3 2 1 乙 800 4 2 2 甲 设备可供工时(h) C B A产品 设备 ∑=∑==n 1j j b m 1i i a解:设X ij (i=1,2, …,m; j=1,2, …,n)表示由A i 到B j 的物资运输量,则总运费为∑=∑==m 1i ijXn1j ij C Z ,另外,对A i 应有i a n1j ij x =∑=, i=1,2, …,m 对B j ,应有j b m1i ij x =∑=, j=1,2, …,n同时,运输量应非负,故X ij ≧0,(i=1,2, …,m; j=1,2, …,n) 以上问题数学模型为:极小化∑=∑==m 1i ijXn1j ij C Z 满足 ia n1j ij x =∑=, i=1,2, …,mj b m 1i ij x =∑=, j=1,2, …,nX ij ≧0 (i=1,2, …,m; j=1,2, …,n)例3.配料问题要配制一种面包,每只面包要求含甲、乙、丙3种营养成分至少各为20、24、30单位。
现有4种原料可供选用,下表给出了每10g 原料所含各种营养成分的单位数。
试确定每种原料各取多少,才能使面包的配制成本最低?解:先假设配制一只面包,数量多只需扩大相应倍数即可。
由观察可知,原料A 不论在营养成分含量上还是价格上都优于C ,故C 不选用,设A 、B 、D 各取X 1, X 2 , X 4个10 g 。
则可得数学模型如下: 极小化Z=10X 1+15X 2+25X 4 满足 X 1+2X 2+(1/4)X 4 ≧ 20 3X 1+ X 2+(1/2)X 4 ≧ 24 3X 1+ X 2+ 4X 4 ≧ 30X 1,X 2,X 4≧0 二、线性规划模型以上几个问题各有不同,但其数学模型有共同之处:它们都是要求一组变量(称为决策变量)X 1,X 2,…,X n ,这组变量全部或者其中一部分具有非负要求,且满足一系列线性等式或不等式∑=≥≤=n 1j i)b , (j x ij a , i=1,2, …,m, 使一个用线性式表示的目标(称为目标函25 30 15 10 价格(分/10g) 4 2 1 3 丙 1/22 13 乙 1/4 1/2 2 1 甲 D C B A原料营养种类数)Z=C 1X 1+C 2X 2+…+C n X n 达到极值,这类问题称为线性规划。
一般而言,线性规划数学模型为:极大化(极小化) Z=C 1X 1+C 2X 2+…+C n X n …………①,∑=≥≤=n1j i )b,(j x i a j , i=1,2, …,m……② X j ≧0 全部或部分j , j=1,2, …,n……③①式为目标函数,②为约束条件,③为非负要求;式①,②全为线性式,否则称为非线性规划。
满足②,③的一组变量X 1,X 2,…,X n 称为线性规划的可行解,由所有可行解组成的集合称为可行解集合或可行域,若X=(X 1,X 2,…,X n )T使目标函数达到极值的可行解,称为最优解。
为了表述方便及深入研究线性规划,线性规划模型可表示为矩阵和向量形式:极大化(极小化)Z=CX , 满足 AX=(≦,≧)b, X ≧0; 或极大化(极小化)Z=CX 满足P 1X 1+P 2X 2+…+P n X n = (≦,≧)b, X ≧0 其中C=(C1,C 2, … ,C n ),X=(X 1,X 2,…,X n )T ,b=(b 1,b 2, …,b m )T ,P j =(a 1j ,a 2j , …a mj )Tj=1,2, …,na 11 a 12 …a 1nA= a 21 a 22 …a 2n =(P 1,P 2,…,P n ) ………………a m1 a m2 …a mn第二节线性规划的图解法线性规划的图解法是一种解析几何方法,它简单直观,有助于理解其基本概念和求解一般原理。
例4.求解线性规划 极大化Z=600X 1+700X 2 满足 X 1+2X 2≦160 X 1+ X 2≦120 3X 1+ X 2≦300 X 2≦60X 1, X 2 ≧0解:(1)在平面上建立直角坐标系O-X 1X 2,X 1为横轴,X 2为纵轴。
(2)找出可行域,由解析几何知识可知, X 1+2X 2≦160代表直线X 1+2X 2=160左下半平面, X 1+X 2≦120代表直线X 1+X 2=120左下半平面,3X 1+X 2≦300代表直线3X 1+X 2=300左下半平面,X 2≦60代表直线X 2=60下半平面, X 1≧0,X 2≧0表示第一象限,以上区域的公共部分D 即为可行域。
(3)在可行域中找最优解,将Z 视为参数,则Z=600X 1+700X 2可表示为以Z 为参数的一族平行线,X 2=(-600/700) X 1+(Z/700),其中同一条直线上任何一点都具有相同的Z 值,故称之为等值线。
当Z 值由小变大时,等值线沿其法线方向(垂直方向)向右上方移动,当移动到过X *点时,Z 值最大,因为若Z 值再增大,则等值线与可行域无交点,不满足约束条件。
初始等值线可选择一个适宜的Z 值,与可行域相交即可,比如Z=42000,故本例最优解为X *=(80,40)T ,最优值为Z *=76000例5:用图解法求解下列线性规划 (1)极大化Z=2X 1+2X 2满足 X 1-X 2≧1 -X 1+2X 2≦0 X ,X ≧0(2)极小化Z=2X 1+2X 2满足 X 1-X 2≧1-X 1+2X 2≦0 X 1,X 2 ≧0解:这两个问题约束条件相同,其可行域如图2-3所示,是个无界集,从图2-3中可看出无论Z 多大,Z=2X 1+2X 2总与D 相交,故Z 可无限增大,则(1)无最优解但有可行解,当Z 减少时目标函数等值线过X*点时,Z 值最小,即X *=(1,0)T 为(2)的最优解。
例6:求解线性规划 极大化Z=X 1+X 2 满足 X 1+X 2 ≦1 X 1+X 2 ≧2 X 1,X 2 ≧0 解:如图2-4所示,可行域为空集故不存在可行解也无最优解。
例7:在例4中将目标函数改为极大化Z=600X 1+600X 2其它不变,则极大化Z=600X 1+600X 2与X 1+X 2=120平衡,Z 由0变大时,等值线最后将与可行域D 的边X ﹡X (3)(X 1+X 2=120所形成的边)重合,故线段X ﹡X (3)上的每一点都是最优解,(图2-5)综上可知,两个变量的线性规划有以下特点:1)可行域可能是空集,也可能是有界凸多边形,或无界凸区域;2)当D 非空时,D 至少有一个极点(顶点);3)当D 非空有界时,线性规划一定有最优解,且最优解必在D 的一个极点上得到;4)当线性规划的最优解不唯一时,那么必有无穷多个最优解;5)如果D 无界,则线性规划可能无最优解(例5(1))也可能有最优解(例5(2)). 以上结论对于n ≧2也成立,下节将论证。
第三节线性规划的标准型和解线性规划的图解法虽直观简便,但对于n ≧2时就无能为力。
下面介绍一种代数方法—单纯形法,为了以后便于讨论,先研究一下线性规划数学模型的标准型和解的基本性质。
对于一个具体的线性规划应先化为标准型再用单纯形法求解。
一、线性规划的标准型规定线性规划的标准型为:1极大化Z=C 1X 1+C 2X 2+…+C n X n ……… (2-10)满足a 11X 1+a 12X 2+…+a 1n X n =b 1 a 21X 1+a 22X 2+…+a 2n X n =b 2 … … … … … … …a m1X 1+a m2X 2+…+a mn X n =b m …… (2-11)X j ≧0 j=1,2, …,n………………(2-12)矩阵形式:Max Z=CX, 满足 AX=b, X ≧0.向量形式:MinZ=CX,满足P 1X 1+P 2X 2+…+P n X n =b,X ≧0 二、化标准型1)若目标函数为―MinZ=CX‖, 因为MinZ=﹣Max(﹣Z),令Z '=﹣Z=(﹣C)X,则目标函数变为Max Z '=(﹣C)X , Z '值的相反数就是所求目标函数值。