(精品)第1章线性规划与单纯形法.ppt
《(精品)第1章线性规划与单纯形法.ppt》由会员分享,可在线阅读,更多相关《(精品)第1章线性规划与单纯形法.ppt(244页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、(本科版(本科版)运筹学运筹学运筹学教材编写组 编清华大学出版社第第1 1章章 线性规划与单纯形法线性规划与单纯形法第2章 对偶理论与灵敏度分析第3章 运输问题第4章 目标规划二.线性规划与目标规划第第1章章 线性规划与单纯形法线性规划与单纯形法第1节 线性规划问题及其数学模型第2节 线性规划问题的几何意义第3节 单纯形法第4节 单纯形法的计算步骤第5节 单纯形法的进一步讨论第6节 应用举例第1节 线性规划问题及其数学模型1.1 问题的提出1.2 图解法1.3 线性规划问题的标准形式1.4 线性规划问题的解的概念第1节 线性规划问题及其数学模型 线性规划是运筹学的一个重要分支。线性规划在理论上
2、比较成熟,在实用中的应用日益广泛与深入。特别是在电子计算机能处理成千上万个约束条件和决策变量的线性规划问题之后,线性规划的适用领域更为广泛了。从解决技术问题的最优化设计到工业、农业、商业、交通运输业、军事、经济计划和管理决策等领域都可以发挥作用。它已是现代科学管理的重要手段之一。解线性规划问题的方法有多种,以下仅介绍单纯形法。1.1 问题的提出 从一个简化的生产计划安排问题开始例 1 某工厂在计划期内要安排生产、两种产品,已知生产单位产品所需的设备台时及A、B两种原材料的消耗,如表1-1所示。资源 产 品拥有量设 备1 2 8台时原材料 A 40 16 kg原材料 B04 12 kg续例1 该
3、工厂每生产一件产品可获利2元,每生产一件产品可获利3元,问应如何安排计划使该工厂获利最多?如何用数学关系式描述这问题,必须考虑数学模型例2.简化的环境保护问题 靠近某河流有两个化工厂(见图1-1),流经第一化工厂的河流流量为每天500万立方米,在两个工厂之间有一条流量为每天200万立方米的支流。图1-1续例2第一 化工厂每天排放含有某种有害物质的工业污水2万立方米,第二化工厂每天排放这种工业污水1.4万立方米。从第一化工厂排出的工业污水流到第二化工厂以前,有20%可自然净化。根据环保要求,河流中工业污水的含量应不大于0.2%。这两个工厂都需各自处理一部分工业污水。第一化工厂处理工业污水的成本是
4、1000元/万立方米。第二 化工厂处理工业污水的成本是800元/万立方米。现在要问在满足环保要求的条件下,每厂各应处理多少工业污水,使这两个工厂总的处理工业污水费用最小。建模型之前的分析和计算设设:第一化工厂每天处理工业污水量为x1万立方米,第二化工厂每天处理工业污水量为x2万立方米 数学模型补充例补充例1.1.生产计划问题生产计划问题 某厂生产甲乙两种产品,各自的零部件分别在A、B车间生产,最后都需在C车间装配,相关数据如表所示:问如何安排甲、乙两产品的产量,使利润为最大。产品产品车间车间工时单耗工时单耗甲甲 乙乙生产能力生产能力ABC 1 0 0 2 3 48 1236单位产品获利单位产品
5、获利 3 5(1)(1)决决策策变变量量。要决策的问题是甲、乙两种产品的产量,因此有两个决策变量:设x1为甲产品产量,x2为乙产品产量。(2)(2)约约束束条条件件。生产这两种产品受到现有生产能力的制约,用量不能突破。生产单位甲产品的零部件需耗用A车间的生产能力1工时,生产单位乙产品不需耗用A车间的生产能力,A车间的能力总量为8工时,则A车间能力约束条件表述为 x1 8同理,B和C车间能力约束条件为 2x2 12 3x1+4 x2 36建立模型建立模型(3)(3)目标函数目标函数。目标是利润最大化,用Z表示利润,则 maxZ=3x1+5 x2(4)(4)非非负负约约束束。甲乙产品的产量不应是负
6、数,否则没有实际意义,这个要求表述为 x1 0,x2 0综上所述,该问题的数学模型表示为综上所述,该问题的数学模型表示为 maxZ=3x1+5 x2 x1 8 2x2 12 3x1+4 x2 36 x1 0,x2 0S.t.共同的特征(1)每一个线性规划问题都用一组决策变量 表示某一方案,这组决策变量的值就代表一个具体方案。一般这些变量取值是非负且连续的;(2)要有各种资源和使用有关资源的技术数据,创造新价值的数据;共同的特征(继续)(3)存在可以量化的约束条件,这些约束条件可以用一组线性等式或线性不等式来表示;(4)要有一个达到目标的要求,它可用决策变量的线性函数(称为目标函数)来表示。按问
7、题的不同,要求目标函数实现最大化或最小化。它们的对应关系可用表格表示:用一组非负决策变量表示一个决策问题,存在一定的等式或不等式的线性约束条件,有一个希望达到的目标,可表示成决策变量的线性函数。可能是最大化,也可能是最小化。线性规划的一般形式线性规划的一般形式 线性规划的一般模型形式1.2 图解法一个二维的线性规划问题,可以在平面图上求解,三维的线性规划则要在立体图上求解,这就比较麻烦,而维数再高以后就不能图示了。例1是二维空间(平面)线性规划问题,可用作图法直观地来表述它的求解。因存在 必须在直角坐标的第1象限内作图,求解。图1-2图1-3 目标值在(4,2)点,达到最大值14目标函数可能出
8、现的几种情况(1)无穷多最优解(多重最优解),见图1-4(2)无界解,见图1-5-1(3)无可行解,见图1-5-2图1-4 无穷多最优解(多重最优解)目标函数 max z=2x1+4x2 图1-5-1 无界解 无可行解当存在矛盾的约束条件时,为无可行域。如果在例1的数学模型中增加一个约束条件:该问题的可行域为空集空集,即无可行解,图1-5-2 不存在可行域增加的约束条件线性规划的图解法补充1.可行域的确定可行域的确定补充例补充例1的数学模型为的数学模型为 maxZ=3x1+5 x2 x1 8 2x2 12 3x1+4 x2 36 x1 0,x2 0S.t.x1=82x2=123x1+4 x2=
9、36x1x248123690 0A AB BC(4,6C(4,6)D D五边形五边形OABCD内内(含边界含边界)的任意一点的任意一点(x1,x2)都是满足所有都是满足所有约束条件的一个解,称之可行解约束条件的一个解,称之可行解。满足所有约束条件的解的集合,称之为可行域。即所有约束满足所有约束条件的解的集合,称之为可行域。即所有约束条件共同围城的区域。条件共同围城的区域。2.最优解的确定最优解的确定Z=30Z=42Z=15目标函数 Z=3x1+5 x2 代表以Z为参数的一族平行线。x1=82x2=123x1+4 x2=36x1x248123690 0A AB BC(4,6C(4,6)D D等值
10、线:位于同一直线上的点的目标函数值相同。等值线:位于同一直线上的点的目标函数值相同。最优解:可行解中使目标函数最优最优解:可行解中使目标函数最优(极大或极小极大或极小)的解的解三三、解的可能性、解的可能性x1=82x2=123x1+4 x2=36x1x248123690 0A AB BC(4,6C(4,6)D D例例1的数学模型变为的数学模型变为 maxZ=3x1+4 x2 x1 8 2x2 12 3x1+4 x2 36 x1 0,x2 0S.t.Z=24Z=36Z=12唯一最优解:只有一个最优点。多重最优解:无穷多个最优解。若在两个顶点同时得到最优解,则它们连线上的每一点都是最优解。由线性不
11、等式组成的可行域是凸集(凸集的定义是:集合内部任意两点连线上的点都属于这个集合)。可行域有有限个顶点。设规划问题有n个变量,m个约束,则顶点的个数不多于Cnm个。目标函数最优值一定在可行域的边界达到,而不可能在其内部。二、几点说明二、几点说明无界解:线性规划问题的可行域无界,使目标函数无限增大而无界。(缺乏必要的约束条件)三三、解的可能性(续)、解的可能性(续)例如例如 maxZ=3x1+2 x2 -2x1+x2 2 x1-3 x2 3 x1 0,x2 0-2x1+x2=2x1-3 x2=3x2123-1x1123-1Z=6Z=12S.t.无可行解:若约束条件相互矛盾,则可行域为空集三三、解的
12、可能性(续)、解的可能性(续)例如例如 maxZ=3x1+2 x2 -2x1+x2 2 x1-3 x2 3 x1 0,x2 0-2x1+x2=2x1-3 x2=3x2123-1x1123-1S.t.线性规划问题的数学模型有各种不同的形式,如目标函数有极大化和极小化;约束条件有“”、“”和“”三种情况;决策变量一般有非负性要求,有的则没有。为了求解方便,特规定一种线性规划的标准形式,非标准型可以转化为标准型。标准形式为:目标函数极大化,约束条件为等式,右端常数项bi0,决策变量非负。一一、标准型、标准型1.3 线性规划问题的标准型式1.代数式二、标准型的表达方式二、标准型的表达方式 有代数式、矩
13、阵式:有代数式、矩阵式:maxZ=c1x1+c2x2+cnxn a11x1+a12x2+a1nxn b1 a21x1+a22x2+a2nxn b2 am1x1+am2x2+amnxnbm x1,x2,xn 0maxZ=cjxj aijxjbi (i=1,2,m)xj0 (j=1,2,n)简记2.矩阵式矩阵式 目标函数极小化问题目标函数极小化问题 minZ=CTX,只需将等式两端乘以-1 即变为极大化问题。因为minZ=-max(-Z)=CTX,令Z=-Z,则maxZ=-CX 右端常数项非正右端常数项非正 两端同乘以-1 约束条件为不等式约束条件为不等式当约束方程为“”时,左端加入一个非负的松弛
14、变量,就把不等式变成了等式;当约束条件为“”时,不等式左端减去一个非负的剩余变量(也可称松弛变量)即可。决策变量决策变量x xk k没有非负性要求没有非负性要求 令xk=xk-x k,xk=xk,x k 0,用xk、x k 取代模型中xk非标准型向标准型转化非标准型向标准型转化 例3 将例1的数学模型化为标准型。例1的数学模型,加松驰变量后(3)若存在取值无约束的变量xk,可令,其中。例4 将下述线性规划问题化为标准型处理的步骤:(1)用x4-x5替换x3,其中x4,x50;(2)在第一个约束不等式号的左端加入松弛变量x6;(3)在第二个约束不等式号的左端减去剩余变量x7;(4)令z=-z,把
15、求min z 改为求max z,即可得到该问题的标准型例4的标准型标准型 补充例补充例 maxZ=3x1+5 x2 x1 8 2x2 12 3x1+4 x2 36 x1 0,x2 0S.t.x1 +x3 =8 2x2 +x4 =12 3x1+4 x2 +x5=36 x1,x2,x3,x4,x5 0 maxZ=3x1+5 x2+0 x3+0 x4+0 x5 minZ=x1+2 x2+3 x3 x1+2 x2+x35 2x1+3 x2+x36 -x1 -x2 -x3-2 x1 0,x30 例例 minZ=x1+2 x2-3 x3 x1+2 x2-x3 5 2x1+3 x2-x3 6 -x1 -x2
16、 +x3 -2 x1 0,x3 0标准化标准化1S.t.标准化标准化2 minZ=x1+2(x2-x 2)+3 x3 x1+2(x2-x 2)+x35 2x1+3(x2-x 2)+x36 -x1 -(x2-x 2)-x3-2 x1,x2,x 2,x3 0 标准化标准化3 minZ=x1+2(x2-x 2)+3 x3 x1+2(x2-x 2)+x35 2x1+3(x2-x 2)+x36 x1+(x2-x 2)+x3 2 x1,x2,x 2,x3 0标准化标准化4 minZ=x1+2(x2-x 2)+3 x3 x1+2(x2-x 2)+x3+x4=5 2x1+3(x2-x 2)+x36 x1+(x
17、2-x 2)+x3 2 x1,x2,x 2,x3,x4 0标准化标准化5 minZ=x1+2(x2-x 2)+3 x3 x1+2(x2-x 2)+x3+x4 =5 2x1+3(x2-x 2)+x3 -x5=6 x1+(x2-x 2)+x3 2 x1,x2,x 2,x3,x4,x5 0标准化标准化6 minZ=x1+2(x2-x 2)+3 x3 x1+2(x2-x 2)+x3+x4 =5 2x1+3(x2-x 2)+x3 -x5 =6 x1+(x2-x 2)-x3 +x6=2 x1,x2,x 2,x3,x4,x5,x6 0标准化标准化7 maxZ=-x1-2(x2-x 2)-3x3+0 x4+0
18、 x5+0 x6 x1+2(x2-x 2)+x3+x4 =5 2x1+3(x2-x 2)+x3 -x5 =6 x1+(x2-x 2)-x3 +x6 =2 x1,x2,x 2,x3,x4,x5,x6 0 1.4 线性规划问题的解的概念1.可行解2.基3.基可行解4.可行基可行解:满足约束条件AX=b,X0的解。所有可行解的集合称为可行域。最优解:使目标函数最优的可行解,称为最优解。基mn,且m个方程线性无关,即矩阵A的秩为m;根据线性代数定理可知,nm,则方程组有多个解,这也正是线性规划寻求最优解的余地所在。一、线性规划解的概念一、线性规划解的概念 基变量:与基向量Pj相对应的m个变量xj称为基
19、变量,其余的m-n个变量为非基变量。基解:令所有非基变量等于零,对m个基变量所求的解,对应一个特定的基矩阵能求得一组唯一解,这个对应于基的解称为基解。结合图解来看,基解是各约束方程及坐标轴之间交点的坐标。满足约束条件的基解称为基可行解。基可行解对应可行域的顶点。线性方程组的增广矩阵LP标准型标准型 maxZ=3x1+5 x2+0 x3+0 x4+0 x5 x1 +x3 =8 2x2 +x4 =12 3x1+4 x2 +x5=36 x1,x2,x3,x4,x5 0 x1x2x3x4x5单位矩阵单位矩阵x3x4x5基变量是基变量是x3,x4,x5非基变量是非基变量是x1,x2令非基变量令非基变量x
20、1=x2=0,得到一个基解,得到一个基解 x3=8,x4=12,x5=36基矩阵:系数矩阵A中任意m列所组成的m阶非奇异子矩阵,称为该线性规划问题的一个基矩阵。或称为一个基,用B表示。称基矩阵的列为基向量,用Pj表示(j=1,2,m)。的基矩阵的基矩阵B最多最多C53=10,如下:,如下:x3x4x5x1x4x5x2x4x5x3x1x5x3x2x5x3x4x1x3x4x2x1x2x3x1x2x4x1x2x5线性方程组的增广矩阵求求LP标准型的基解和基可行解标准型的基解和基可行解 maxZ=3x1+5 x2+0 x3+0 x4+0 x5 x1 +x3 =8 2x2 +x4 =12 3x1+4 x
21、2 +x5=36 x1,x2,x3,x4,x5 0 x1x2x3x4x5单位矩阵单位矩阵例例1的数学模型为的数学模型为 maxZ=3x1+5 x2 x1 8 2x2 12 3x1+4 x2 36 x1 0,x2 0S.t.x1=82x2=123x1+4 x2=36x1x248123690 0A AB BC(4,6C(4,6)D D 4.可行基 对应于基可行解的基,称为可行基。约束方程组(1-5)具有基解的数目最多是 个。一般基可行解的数目要小于基解的数目。以上提到的几种解的概念,它们之间的关系可用图1-6表明。另外还要说明一点,基解中的非零分量的个数小于m个时,该基解是退化解。在以下讨论时,假
22、设不出现退化的情况。以上给出了线性规划问题的解的概念和定义,它们将有助于用来分析线性规划问题的求解过程。图1-6 它们之间的关系小结1.线性规划问题的模型特征2.通过图解法了解如何求解线性规划问题3.为求解高维线性规划问题,必须建立的概念第1章 线性规划与单纯形法 第2节线性规划问题的几何意义2.1 基本概念2.2 几个定理线性规划解几何意义 定理定理1 1.若线性规划问题存在可行域,则其可行域一定是凸集。定理定理2.2.线性规划问题的基可行解对应可行域的顶点。定定理理3.3.若可行域有界,线性规划的目标函数一定可以在可行域的顶点上达到最优。线性规划的基本定理线性规划的基本定理 线线性性规规划
23、划问问题题可可以以有有无无数数个个可可行行解解,最最优优解解只只可可能能在在顶顶点点上上达达到到,而而有有限限个个顶顶点点对对应应的的是是基基可可行行解解,故故只只要要在在有有限限个个基基可行解中寻求最优解即可。可行解中寻求最优解即可。从从一一个个顶顶点点出出发发找找到到一一个个可可行行基基,得得到到一一组组基基可可行行解解,拿拿目目标函数做尺度衡量一下看是否最优。标函数做尺度衡量一下看是否最优。如如若若不不是是,则则向向邻邻近近的的顶顶点点转转移移,换换一一个个基基再再行行求求解解、检检验验,如此迭代循环目标值逐步改善,直至求得最优解。如此迭代循环目标值逐步改善,直至求得最优解。线性规划的解
24、题思路线性规划的解题思路 2.1 基本概念1.凸集2.凸组合3.顶点1.凸集设K是n维欧氏空间的一点集,若任意两点X(1)K,X(2)K的连线上的所有点X(1)+(1-)X(2)K,(01);则称K为凸集。图1-7实心圆,实心球体,实心立方体等都是凸集,圆环不是凸集。从直观上讲,凸集没有凹入部分,其内部没有空洞。图1-7中的(a)(b)是凸集,(c)不是凸集。图1-2中的阴影部分 是凸集。任何两个凸集的交集是凸集,见图1-7(d)2.凸组合 设X(1),X(2),X(k)是n维欧氏空间E中的k个点。若存在1,2,k,且0i1,i=1,2,,k;使X=1X(1)+2X(2)+kX(k)则称X为X
25、(1),X(2),X(k)的凸组合。(当0i1时,称为严格凸组合).3.顶点设K是凸集,XK;若X不能用不同的两点X(1)K和X(2)K的线性组合表示为X=X(1)+(1-)X(2),(01)则称X为K的一个顶点(或极点)。图中0,Q1,2,3,4都是顶点。2.2 几个定理定理1 若线性规划问题存在可行域,则其可行域是凸集 证:为了证明满足线性规划问题的约束条件的所有点(可行解)组成的集合是凸集,只要证明D中任意两点连线上的点必然在D内即可。设是D内的任意两点;X(1)X(2)。引理 1 线性规划问题的可行解X=(x1,x2,,xn)T为基可行解的充要条件是X的正分量所对应的系数列向量是线性独
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 精品 线性规划 单纯
限制150内