运筹学（O.R.）Operations Research.pptVIP

设 则 （1）+（2）得： （1）-（2）得： 又 即X不是可行域的顶点。 （2） X不是可行域的极点， 则X不是基可行解。 不失一般性，设 不是可行域的极点 存在两个不同的点 有 X=αY+(1－α)Z 即 因 故 时 故 因 （1） （2） （1）-（2）得： 因 故P1,P2,…,Pr线性相关 定理3 线性规划如果有可行解，则一定有基可行解；如果有最优解，则一定有基可行解是最优解。 证 （1）不失一般性，假设可行解X的前m个分量为正。 如果P1,P2,…,Pm线性无关，则X是基可行解。 使得 令 则 设 则 若 则X2比X少一个正分量，若X2的m-1个列向量 线性无关，则X2是基可行解，否则，重复以上过程，直到找到基可行解为止。 如果线性相关即存在不全为零的数 （2）设X0是最优解，如果它不是基可行解，则有 则 故X1，X2也是最优解，如前所述， X1，X2中一定有一个点比X0少一个正分量。同理，如果X1（ X2）还不是基可行解，则能找到第三个最优解，其正分量比X1（ X2）少一个，如此继续下去，一定可以求得一个最优解，它的正分量是线性无关的，即这个最优解为基可行解。 第三节单纯形法 一、 单纯形法的解题思路 cj c1 c2 … cm cm+1 … ck … cn CB XB b x1 x2 … xm xm+1 … xk … xn c1 c2 cm x1 x2 xm b1 b2 bm 1 0 … 0 a1m+1 … a1k … a1n 0 1 … 0 a2m+1 … a2k … a2n 0 0 … 1 amm+1 … amk … amn σj 0 0 … 0 二、单纯形表 3. 单纯形法的基本法则 法则1 最优性判定法则 若对基可行解X1，所有检验数σj≤0，则X1为最优解。 法则2 换入变量确定法则 设 ，则xk为换入变量。 法则3 换出变量确定法则 例12 求下列LP问题 x6 x3 x2 x6 x3 x1 0 -12/5 -4/5 0 0 -1/5 σj 1 10 -1/2 0 0 1 11 0 0 2/5 3/10 1 0 1/5 5 3 0 4/5 1/10 0 1 2/5 4 -1 0 -2 -3/4 0 1/2 0 σj 1 8 -3/4 0 -5/2 0 1 0 0 0 1/4 1 -1/2 0 3 3 0 2 1/4 0 [5/2] 1 10 0 -2 8 0 2 x5 -2 0 1 0 0 x6 0 0 3 -1 0 σj 0 3 -4 0 10 x6 0 1 [4] -2 0 12 x4 0 0 -1 3 1 7 x1 0 x4 x3 x2 x1 b XB CB 0 3 -1 0 Cj 三、 关于单纯形法的补充说明 ?1. 无穷多最优解与唯一最优解的判别法则 若对某可行解X1， （1）所有检验数σj≤0，且有一个非基变量xk的检验数等于0，则问题有无穷多最优解； （2）所有非基变量的检验数σj0，则问题有唯一最优解。 * 运筹学（O.R.） Operations Research 运筹学是应用分析、试验、量化的方法，对经济管理系统中的人力、物力、财力等资源进行统筹安排，为决策者提供有依据的最优方案，以实现最有效的管理。 中国古代运筹学思想： 齐王赛马 丁渭修皇宫 沈括运粮 防空系统 商船护航 运筹学的产生： 运筹学发展三阶段： 创建时期（45年至50年代初） 1948年 英国成立“运筹学”俱乐部 1948年 麻省理工学院 介绍运筹学 1950年 伯明翰大学开设运筹学课程 1952年 卡斯大学 设立运筹学硕士和博士学位 1947年 丹捷格 提出单纯形法 50年代初 计算机求解线性规划获得成功 成长时期（50年代初至50年代末） 多个国家成立运筹学会，多种运筹学刊物问世 1957年 在牛津大学召开第一次国际运筹学会议 1959年 成立国际运筹学联合会 迅速发展时期（60年代以来） 运筹学进一步分为各个分支，更多运筹学出版物 运筹学课程纳入教学计划 我国运筹学发展历程： 195