第2章线性规划与单纯形法技巧.ppt

  1. 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
《运筹学》 第一章 线性规划与单纯形法 Slide * 3.2初始基可行解的确定 标准化后直接找到单位阵: x1 +a1,m+1xm+1+…+a1nxn b1 x2 +a2,m+1xm+1+…+a2nxn b2 …  ……………………… xm+am,m+1xm+1+…+amnxn bm xj ≥ 0,j 1,2,……n 显然得到一个m?m单位矩阵: (1-22) B (P1,P2,……, Pm) 1 0 0 0 1 0 0 0 1 《运筹学》 第一章 线性规划与单纯形法 Slide * 3.2初始基可行解的确定 以B作为可行基,将(1-22)式移项得: x1 b1 -a1,m+1xm+1-…-a1nxn x2 b2 -a2,m+1xm+1-…-a2nxn …  ……………………… xm bm -am,m+1xm+1-…-amnxn 令: xm+1 xm+2 … xn 0,由(1-23)得: (1-23) xi bi i 1,2,……m 又因为 bi ≥0 ,所以得到一个初始基可行解: X ( x1 , x2 ,…, xm ,0,…,0)T ( b1 , b2 ,…, bm ,0,…,0)T n-m n-m 《运筹学》 第一章 线性规划与单纯形法 Slide * 标准化后找不到单位阵,采用人造基给方程加入人工变量 maxZ 3x1 - x2 -x3 x1 -2 x2 +x3 ≤ 11 -4 x1 +x2 +2x3 ≥ 3 2x1 -x3 -1 x1 , x2, x3 ≥0 x1 -2 x2 +x3 +x4 11 -4 x1 +x2 +2x3 –x5 3 -2x1 +x3 1 x1 -2 x2 + x3 +x4 11 -4 x1 + x2 +2x3 –x5 +x6 3 -2x1 +x3 +x7 1 A 1 -2 1 1 0 -4 1 2 0 -1 2 0 1 0 0 1 -2 1 1 0 0 0 -4 1 2 0 -1 1 0 2 0 1 0 0 0 1 《运筹学》 第一章 线性规划与单纯形法 Slide * 3.3最优性检验与解的判别 四种情况: 唯一最优解 无穷多最优解 无界解 无可行解 《运筹学》 第一章 线性规划与单纯形法 Slide * 3.3最优性检验与解的判别 一般情况下,经过迭代后 z0 σj (1-24) 将(1-24)代入目标函数得: zj 《运筹学》 第一章 线性规划与单纯形法 Slide * 令 1 最优解的判别定理:若 为对应于基B的一个基可行解,且对于一切j m+1,…,n有σj≤0,则 为最优解.称σj为检验数. 再令 于是 则 (1-26) (1-27) 3.3最优性检验与解的判别 《运筹学》 第一章 线性规划与单纯形法 Slide * 证明:因对一切非基变量的角下标j,均有 ≤0,显然,对于任一可行解X均有z≤z0,但是基本可行解 能使等式成立,故  为最优解 3.3最优性检验与解的判别 《运筹学》 第一章 线性规划与单纯形法 Slide * 3.3最优性检验与解的判别 2 无穷多最优解的判别定理:若 为一个基可行解,且对于一切j m+1,…,n有σj≤0,又存在某个非基变量的检验数σm+k 0,则线性规划问题有无穷多最优解。 证: 只需将非基变量xm+k换入基变量中,找到一个新基可行解X 1 。因σm+k 0,由 1-27 知z z0,故X 1 也是最优解。由定理3可知,X 0 和X 1 连线上所有点都是最优解。 《运筹学》 第一章 线性规划与单纯形法 Slide * (3)无界解(无有限最优解)判别定理 若 3.3最优性检验与解的判别 为一基可行解,有一个σm+k>0,并且对i 1,2,…,m有 ai,m+k≤0,那么该线性规划问题具有无界解(无最优解)  证明方法属于构造性的证明,其依据是用非基变量表示基变量的表达式构造一族可行解,使之对应的目标函数值趋于无穷大,几何意义就是沿着无界边界朝目标函数值递增方向前进的一族可行解. 《运筹学》 第一章 线性规划与单纯形法 Slide * 3.3 最优性检验与解的判别 证: 构造一个新的解 X 1 ,它的分量为 因 ,所以对任意的λ>0都是可行解,把X 1 代入目标函数内,得到 z z0+λσm+k 因σm+k>0,故当λ→+∞,则z→+∞,故该问题目标函数无界。 《运筹学》 第一章 线性规划与单纯形法 Slide * (4)无可行解 约束条件相互矛盾,可行域为空集. 最终计算表中人工变量仍然为基变

文档评论(0)

bbnnmm885599 + 关注
实名认证
内容提供者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档