第1章 线性规划与单纯形法-第3节 运筹学ppt.ppt

第1章 线性规划与单纯形法 第三节线性规划问题的几何意义 1、基本概念 2、几个定理 1、 基本概念 （1）凸集 （2）凸组合 （3）顶点 （1）凸集:简单的几何形体可以直观判断其凹凸性，但在高维空间，只能给出点集的解析表达式，因此只能用数学解析式判断。 如果集合C中任意两个点X1、X2，其连线上的所有点也都是集合C中的点，称C 为凸集。由于X1、X2的连线可表示为αX1+(1-α)X2，(0α1)，因此，凸集定义用数学解析式可表示为： 实心圆，实心球体，实心立方体等都是凸集，圆环不是凸集。从直观上讲，凸集没有凹入部分，其内部没有空洞。图中的(a)(b)是凸集，(c)不是凸集。 右图中的阴影部分 是凸集。 任何两个凸集的交集是凸集，见图 (d) （2）凸组合 设X(1)，X(2)，…，X(k)是n维欧氏空间E中的k个点。若存在μ1，μ2，…，μk，且0≤μi≤1, i=1,2,…，k; 使X=μ1X(1)+μ2X(2)+…+μkX(k) 则称X为X(1)，X(2)，…，X(k)的凸组合。（当0＜μi＜1时，称为严格凸组合）. （3） 顶点 设C是凸集，X∈C；若X不能用不同的两点X1∈C和X2∈C的线性组合表示为 X=αX(1)+(1-α)X(2)，(0＜α＜1) 则称X为C的一个顶点(或极点)。 X是凸集C 的极点，即X不 可能是C中某一线段的 内点，只能是C中某一 线段的端点。 图中0，Q1,2,3,4都是顶点。 2、几个定理 ◆定理1 若线性规划问题存在可行域，则其可行域 是凸集。 证：为了证明满足线性规划问题的约束条件 引理1 线性规划问题的可行解X=(x1,x2,…，xn)T为基可行解的充要条件是X的正分量所对应的系数列向量是线性独立的。  ◆定理2 线性规划问题的基可行解X对应于可行域（凸集）D的顶点。 证：不失一般性，假设基可行解X的前m个分量为正。故 若X不是基可行解，则它一定不是可行域D的顶点 根据引理，若X不是基可行解，则其正分量所对应的系数列向量P1，P2，…，Pm线性相关，即存在一组不全为零的数αi,i=1,2,…,m使得 α1P1+α2P2+…+αmPm=0 (1-9) 用一个不为0的数μ乘(1-9)式，得 μα1P1+μα2P2 +…+μαmPm=0 (1-10) 上述两式再分别与(1-8)式相加、相减。 (2) 若X不是可行域C的顶点，则它一定不是基可行解 因为X不是可行域C的顶点，故在可行域C中可找到不同的两点 X(1)=(x1(1),x2(1),…,xn(1))T X(2)=(x1(2),x2(2),…,xn(2))T 使 X=αX(1)+(1-α)X(2) ， 0＜α＜1 或写为xj=αxj(1)+(1-α)xj(2) （0＜α＜1，j=1,2, …n) 因为α0，1-α0，故当xj=0时，必有xj=xj(1)=xj(2)=0 由于X(1)，X(2)是可行域的两点。应满足 ◆定理 3 若线性规划的可行域有界，目标函数一定可以在其可行域的顶点上达到最优。 证明 略 谢谢大家！ * (0α1)，则称C为凸集。 的所有点(可行解)组成的集合是凸集， 只要证明C 中任意两点连线上的点必然在C内即可。 设 是C内的任意两点；X(1)≠X(2)。 现在分两步来讨论，分别用反证法。 （1-8） 这样得到(x1-μα1)P1+(x2-μα2)P2+…+(xm-μαm)Pm=b(x1+μα1)P1+(x2+μα2)P2+…+(xm+μαm)Pm=b 现取X(1)=［(x1-μα1),(x2-μα2),…,(xm-μαm),0,…，0］X(2)=［(x1+μα1),(x2+μα2),…,(xm+μαm),0,…，0］当μ充分小时，可保证xi±μαi≥0，i=1,2,…,m 即X(1)，X(2)是可行解。 由X(1),X(2)可以得到X=（1/2）X(1)+（1/2）X(2)， 即X是X(1)，X(2)连线的中点。证明了X 不是可行域 C 的顶点。 将这两式相减，即得 因X(1)≠X(2)，所以上式系数不全为零，故向量组P1,P2,…，Pm线性相关，即X不是基可行解。与假设矛盾。 证毕 该定理刻划了可行解集的顶点与基本可行解的对应关系，顶点是基本可行解，反之，基本可行解一定是顶点。 *