线性规划问题几何意义与解的性质定理zff.pptVIP

西安交通大学 郑斐峰 2.1基本概念 ①凸集：设K是n维欧式空间的一个点集, 若任意 两点 X(1)∈K, X(2)∈K 的连线上一切点 a X (1) +(1-a) X(2)∈K (0a1), 则称K为凸集. ③顶点：设K是凸集, X ∈K。 若X不能用不同的两点x(1)∈K, x(2)∈K 的线性组合表示，即 X≠a x(1) +(1-a) x(2) (0a1), 则称X为K的一个顶点(极 / 角点). 2. 四个重要定理 * 二、 线性规划的几何意义  ②凸组合：设 X(1), X(2), …, X(k) 是n维欧式空间的 k个点, 若存在k个数u1,u2, …,uk　满足0≤ui≤1, , 则称 X= u1X(1)+u2X(2)+…+ uk　X(k) 为 X(1), X(2), …, X(k) 的凸组合。 定理1 线性规划问题的可行解集(可行域) 是凸集。 证明思路：根据凸集定义，采用直接法证明。 具体步骤：①从D中任取两个不同的点X(1)和 X(2)，二者应满足可行解定义中的等式条件； ②设X是点X(1)和X(2) 连线上的任意一点，有X=αX(1)+(1-α)X(2)，证明X∈D。 证明： ①X(1)和X(2)满足可行解定义中的等式条件，则有； ②设X是点X(1)和X(2) 连线上的任意一点，有X=αX(1)+(1-α)X(2)，那么有 引理1 若X是LP问题的可行解，则X是基本可行解的充分必要条件是X的正分量所对应的系数列向量线性独立. 证明思路：X为LP的基本可行解=X的正分 量所对应的系数列向量线性无关. [证] 必要性→对于有着秩为m的m×n阶系数矩阵的LP问题，由基本可行解定义可知，其基本可行解X的非零分量数目k=m，且全部为正。当k=m，这m个正分量所对应的系数列向量线性无关，并恰好构成一个基；当km，这k个正分量所对应的系数列向量线性无关，且有其他（m-k）个0分量所对应的系数列向量和这k个列向量构成一个基。 充分性←对于有着秩为m的m×n阶系数矩阵的LP问题，X为其可行解，则X中所有元素大于等于0。设其中的正分量数目为k，且其对应的系数列向量P1, P2, …Pk线性独立，则必有k =m（否则系数矩阵的秩必然要求大于m）。 当k=m，这k个列向量恰好构成一个基，从而可行解X为其相应的基解，则X是一个基可行解。 当km，除了P1, P2, …Pk线性独立外，必然可以在其他n-k个列向量中找出m-k个列向量，与P1, P2, …Pk构成最大的线性独立向量组（否则系数矩阵的秩必然要求小于m ），其对应的解为X，所有X是一个基可行解。 定理2 （线性规划几何理论基本定理） X是LP问题的可行解（可行域中的一点），如果它是基可行解，则它必然对应于可行域D的顶点。 证明思路： X为LP的基本可行解= X是D的一个顶点 可以利用引理1（X为LP的基本可行解=X的正分量所对应的系数列向量线性无关）进行证明。 证明思路： X是基可行解??X是D的一个顶点 X不是基可行解??X不是D的顶点 必要性→ X不是基可行解?X不是D的顶点 证明： （1）X是可行解，则其所有元素大于等于0。假定其前m个分量为正，则有式（1）成立。 （1） （2）此外，由引理1可知，如果X不是基可行解，则其正分量所对应的系数列向量P1, P2, …Pm线性相关，即存在一组不全为0的数ai(i=1,2,…m)使得式（2）成立 （2） 必要性→ X不是基可行解?X不是D的顶点 （3）用一个u0的数乘以式（2），然后与式（1）相加减，得 现取 则X(1),X(2)是该LP问题的可行解（对应可行域上的两点） 必要性→ X不是基可行解?X不是D的顶点 （4）由X, X(1), X(2)的分量表达可知， 即X是X(1)和X(2)连线的中点，一定不是D的顶