运筹学(2).ppt
《运筹学(2).ppt》由会员分享,可在线阅读,更多相关《运筹学(2).ppt(90页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、第 3 章 线性规划模型的单纯形法3.1 线性规划数学模型的结构及特征3.2 线性规划模型的标准形式3.3 基、基本解、基本可行解3.4 单纯形表的数学原理3.5 从一个基本可行解转化为相邻的基本可行解3.6 最优性检验和解的判别3.7 单纯形表法3.8 人工变量法和两阶段法3.9 计算机软件QM求解线性规划模型的一般形式为线性规划模型的一般形式为3.1 3.1 线性规划数学模型的结构及特征线性规划数学模型的结构及特征 线性规划模型的特征:线性规划模型的特征:一组决策变量,一组一组决策变量,一组一组决策变量,一组一组决策变量,一组约束条件和一个目标函数,目标函数和约束条件约束条件和一个目标函数
2、,目标函数和约束条件约束条件和一个目标函数,目标函数和约束条件约束条件和一个目标函数,目标函数和约束条件都是线性的。都是线性的。都是线性的。都是线性的。3.2 3.2 线性规划模型的标准形式线性规划模型的标准形式3.2.1 3.2.1 标准形式标准形式标准形式定义为:标准形式定义为:标准形式模型的标准形式模型的标准形式模型的标准形式模型的特征:特征:特征:特征:1.1.1.1.约束条件为线约束条件为线约束条件为线约束条件为线性等式;性等式;性等式;性等式;2.2.2.2.所有变量全部所有变量全部所有变量全部所有变量全部大于等于大于等于大于等于大于等于0 0 0 0;3.3.3.3.右端常数项大
3、右端常数项大右端常数项大右端常数项大于等于于等于于等于于等于0 0 0 0;4.4.4.4.目标函数求最目标函数求最目标函数求最目标函数求最大值。大值。大值。大值。简写为简写为 用矩阵表示用矩阵表示用矩阵表示用矩阵表示CC价值向量价值向量bb资源向量资源向量XX决策向量决策向量 用向量表示用向量表示用向量表示用向量表示线性规划模型的一般形式为线性规划模型的一般形式为3.2.2 一般形式的线性规划模型变换为标准形式一般形式的线性规划模型变换为标准形式线性规划模型的标准形式为线性规划模型的标准形式为1.1.1.1.目标函数为求极小值,即为:因为求minz等价于求max(-z),令z=-z,即转换为
4、:约束方程为约束方程为在在“”左端加入一个非负松弛变量,把原左端加入一个非负松弛变量,把原“”的不等式变为等式。的不等式变为等式。2.约束条件为不等式,约束方程为约束方程为在在“”左端减去一个非负剩余变量,把原左端减去一个非负剩余变量,把原“”的不等式变为等式。的不等式变为等式。.右端项右端项右端项右端项b b b bi i i i0000时,只需将等式两端同乘(时,只需将等式两端同乘(时,只需将等式两端同乘(时,只需将等式两端同乘(-1-1-1-1),则),则),则),则右端项必大于零右端项必大于零右端项必大于零右端项必大于零 4.4.决策变量无非负约束决策变量无非负约束,设设x xj j没
5、有非负约束,没有非负约束,若若x xj j00,可令可令x xj j=-=-x xj j,则,则x xj j00;若若x xj j为自由变量,即为自由变量,即x xj j可为任意实数,可为任意实数,可令可令x xj j=x xj j-x-xj j,且且x xj j,x,xj j005.5.决策变量决策变量x xj j有上界或者下界,即有上界或者下界,即x xj juu或者或者x xj jvv若若x xj juu,可令,可令x xj j=x xj j-u u,x xj j00;若若x xj jvv,可令可令x xj j=v-xv-xj j,x xj j00;【例例3-23-2】将下面的线性规划问
6、题化为标准型:将下面的线性规划问题化为标准型:将下面的线性规划问题化为标准型:将下面的线性规划问题化为标准型:(2)对于)对于“”约束约束 9x+3y 360,引入松引入松弛变量弛变量 x1,得到得到(3)对于)对于“”约束约束 3x+10y 300,引入引入剩余变量剩余变量 x2,得到得到解解(1)对目标函数,令)对目标函数,令则则(4)对于)对于 y 无非负约束,令无非负约束,令 yy(1)-y(2),且,且y(1)0,y(2)0.(5)统一变量,)统一变量,令令 x=x3,y(1)=x4,y(2)=x5,得到该线性规划问题的标准形式:得到该线性规划问题的标准形式:3.3 3.3 基、基本
7、解、基本可行解基、基本解、基本可行解3.3.1 基、基本解、基本可行解的定义基:若基:若B B是矩阵是矩阵A A中中m mn n阶非奇阶非奇异子矩阵(),则异子矩阵(),则B B是线性规划问题的一个基。是线性规划问题的一个基。基向量:中的每一个列向量(基向量:中的每一个列向量(j=1,2,,m)基变量:与基向量对应的变量,用基变量:与基向量对应的变量,用X XB B表示。表示。非基变量:线性规划模型的决策变量中除基变量以外非基变量:线性规划模型的决策变量中除基变量以外的变量,用的变量,用X XN N表示。表示。基解:基解:设B为某一个基,A=(B,N),则有BXB+NXN=b 令XN=0,则得
8、一个满足AX=b式的解这个解称为基解。基可行解:若基可行解:若 为一个基解,且为一个基解,且则得到一个满足则得到一个满足AX=b、X0的的可行解,称为基可行解。可行解,称为基可行解。可行基:对应基可行解的基称为可行基可行基:对应基可行解的基称为可行基可行基:对应基可行解的基称为可行基可行基:对应基可行解的基称为可行基。注意两点:注意两点:1.1.B B在在A A中是任意取的。故中是任意取的。故A A中有很多基中有很多基B B。2.2.基变量是针对基变量是针对B B而言的,不同而言的,不同B B,其对应的基变量和其对应的基变量和非基变量是不同的。非基变量是不同的。3.3.2 3.3.2 基本解和
9、基本可行解的计算与几何解释基本解和基本可行解的计算与几何解释 通过通过【例例3-3】说明线性规划模型的基、对应的说明线性规划模型的基、对应的基本解、基本可行解。基本解、基本可行解。将模型化为标准型:将模型化为标准型:X2、X3、X5不能构成不能构成B的一组基变的一组基变量。量。X1、X3、X4不能构成不能构成B的的一组基变量。一组基变量。基基基变量基变量基解基解X=(x1,x2,x3,x4,x5)T是否可行是否可行 对应点对应点Z值值B1x1,x2,x3X=(4,3,-2,0,0)T不可行不可行DB2x1,x2,x4X=(2,3,0,8,0)T可行可行C13B3x1,x2,x5X=(4,2,0
10、,0,4)T可行可行E14B5x1,x3,x5X=(4,0,4,0,12)T可行可行G8B6x1,x4,x5X=(8,0,0,-16,12)T不可行不可行FB7x2,x3,x4X=(0,3,2,6,0)T可行可行A9B9x2,x4,x5X=(0,4,0,16,-4)T不可行不可行BB10 x3,x4,x5X=(0,0,8,16,12)T可行可行O0该模型所对应的基、基本解、基本可行解,如下表:该模型所对应的基、基本解、基本可行解,如下表:x1(0,0)(2,3)(0,3)(0,4)(4,3)(4,0)(4,2)(8,0)9 8 7 6 5 4 3 2 1 0|123456789x1x1+2x2
11、 84x1 16可行域可行域ABCDOEFG约束条件的交点有8个,基本解就有8个;可行域顶点有5个:基可行解就有5个:(0,0)、(0,3)、(2,3)、(4,2)和(4,0),其中E为最优解。该模型所对应的基、基本该模型所对应的基、基本解、基本可行解,如下图:解、基本可行解,如下图:可行解:可行解:可行解:可行解:满足约束条件满足约束条件满足约束条件满足约束条件AX=bAX=bAX=bAX=b与与与与X X X X 0 0 0 0的的的的解解解解X X X X基本解:基本解:基本解:基本解:对于某一特定的基对于某一特定的基对于某一特定的基对于某一特定的基B B B B,非基变量取,非基变量取
12、,非基变量取,非基变量取0 0 0 0值的值的值的值的 解,即解,即解,即解,即基本可行解:满足非负约束条件的基础解,即基本可行解:满足非负约束条件的基础解,即基本可行解:满足非负约束条件的基础解,即基本可行解:满足非负约束条件的基础解,即最优解:最优解:最优解:最优解:满足目标函数满足目标函数满足目标函数满足目标函数MaxZMaxZMaxZMaxZ=CX=CX=CX=CX的可行解的可行解的可行解的可行解X X X X基本最优解:满足目标函数基本最优解:满足目标函数基本最优解:满足目标函数基本最优解:满足目标函数MaxZMaxZMaxZMaxZ=CX=CX=CX=CX的基本可行解的基本可行解的
13、基本可行解的基本可行解X X X X3.3.3 3.3.3 线性规划模型解之间的关系线性规划模型解之间的关系基本解基本解基本解基本解可可可可行行行行解解解解最最最最优优优优解解解解基本最基本最基本最基本最优解优解优解优解基本基本基本基本可行可行可行可行解解解解基基基基最优基最优基最优基最优基可行基可行基可行基可行基 线性规划模型解、基的关系图定义定义定义定义1 1:如果集合如果集合C中任意两个点中任意两个点X1、X2,其连线上所其连线上所有点都是集合有点都是集合C中的点,那么称中的点,那么称C为为凸集。即凸集。即:则称为则称为C凸凸集。集。定义定义定义定义2 2:凸集凸集C中满足下述条件的点中
14、满足下述条件的点X称为顶点;如果称为顶点;如果C中不存在任何两个不同的点中不存在任何两个不同的点X1、X2,使使X成为这两成为这两个点连线上的一个点。即对于任何个点连线上的一个点。即对于任何 ,不存在不存在 ,则称,则称X是是凸集凸集C的顶点。的顶点。3.4 3.4 单纯形表的数学原理单纯形表的数学原理定理定理1:若线性规划问题存在可行解域,则其可行解域:若线性规划问题存在可行解域,则其可行解域是凸集。是凸集。定理定理2:线性规划问题的可行解:线性规划问题的可行解 为基可行解的充要条件是,为基可行解的充要条件是,X的正分量所对应的正分量所对应 的系数列向量是线性无关。的系数列向量是线性无关。定
15、理定理3:线性规划问题的基可行解:线性规划问题的基可行解X对应于可行域对应于可行域 D的顶点。的顶点。定理定理4 4:一个标准的线性规划模型,如果有可行解,:一个标准的线性规划模型,如果有可行解,则至少有一个基本可行解则至少有一个基本可行解定理定理5 5:一个标准的线性规划模型,如果有有限的最优:一个标准的线性规划模型,如果有有限的最优 值,则一定存在一个基本可行解是最优解值,则一定存在一个基本可行解是最优解由上述线性规划的基本定理,得以下结论:由上述线性规划的基本定理,得以下结论:1.线性规划问题的可行解域是凸集;线性规划问题的可行解域是凸集;2.基可行解是可行域的顶点,可行域的顶点即是基可
16、基可行解是可行域的顶点,可行域的顶点即是基可3.行解,因此,每个基可行解对应可行域的一个顶行解,因此,每个基可行解对应可行域的一个顶4.点;点;3.可行解域的顶点个数是有限的,不超过可行解域的顶点个数是有限的,不超过 个。个。4.若线性规划问题有最优解,则最优解必在某个顶点若线性规划问题有最优解,则最优解必在某个顶点 上得到。上得到。3.5 3.5 从一个基本可行解转化为相邻的从一个基本可行解转化为相邻的基本可行解基本可行解 定义定义3 3 两个基本可行解称为相邻的,如果两个基本可行解称为相邻的,如果 它们之间变换且仅变换一个基变量。它们之间变换且仅变换一个基变量。3.6.1 最优性判别准则最
17、优性判别准则 线性规划问题的标准型为:线性规划问题的标准型为:3.6 3.6 最优性检验和解的判别最优性检验和解的判别原线性规划可以化为:原线性规划可以化为:原线性规划问题等价于:原线性规划问题等价于:定理定理6 6(最优解判别定理)(最优解判别定理)(1)1)最优解判别定理:若:最优解判别定理:若:为基可行解,且全部为基可行解,且全部 则则 为最优解。为最优解。(2 2)唯一最优解判别定理:若所有)唯一最优解判别定理:若所有 则存在唯一最有解。则存在唯一最有解。3.6.2 3.6.2 无界解和无穷多最优解判别准则无界解和无穷多最优解判别准则(3 3)无穷多最优解判定定理:若:)无穷多最优解判
18、定定理:若:且存在某一个非基变量且存在某一个非基变量 ,则存在,则存在 无穷多最优解。无穷多最优解。(4 4)无界解判定定理:若)无界解判定定理:若 有某一个非基变量有某一个非基变量 并且对应的非基变量的系数并且对应的非基变量的系数 则具有无界解。则具有无界解。单纯形法的基本思想单纯形法的基本思想单纯形法的基本思想单纯形法的基本思想 即从可行域的一个顶点(基本可行解)开始,转移到另一个顶点(另一个基本可行解)的迭代过程,转移的条件是使目标函数值得到改善(逐步变优),当目标函数达到最优值时,问题也就得到了最优解。3.7 3.7 单纯形表法单纯形表法 根据线性规划问题的可行域是凸多边形或凸多面体,
19、一个线性规划问题有最优解,就一定可以在可行域的顶点上找到。于是,若某线性规划只有唯一的一个最优解,这个最优解所对应的点一定是可行域的一个顶点;若该线性规划有多个最优解,那么肯定在可行域的顶点中可以找到至少一个最优解。【例例3-4】求解下列线性规划模型求解下列线性规划模型9 400 350 300 250 200 150 100 50 0|50100 150 200 250 300 350 400 x1OBCAD可行域可行域x29 400 350 300 250 200 150 100 50 0|50100 150 200 250 300 350 400 x1OBCAD可行域可行域可行域顶点有五
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 运筹学
限制150内