1-2线性规划问题几何意义和解性质定理-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是点X(1)和X(2) 连线上的任意一点，有X=αX(1)+(1-α)X(2)，那么有;惹节恐丸接咨峰呢庭封暇疲样砧暴返处很赚循朝涸而撬壤侧测屑揖纤塞谈1-2线性规划问题几何意义和解性质定理-zff1-2线性规划问题几何意义和解性质定理-zff;引理1 若X是LP问题的可行解，则X是基本可行解的充分必要条件是X的正分量所对应的系数列向量线性独立. ; 充分性←对于有着秩为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的正分量所对应的系数列向量线性无关）进行证明。;证明思路：;必要性→;必要性→;必要性→;充分性→;充分性→; 引理2 若K是有界凸集，则此凸集上的任何一点X可表示为K的顶点的凸组合。 证明思路： 根据凸组合的定义证明。 ;定理3 若可行域有界，则线性规划问题的目标函数一定可以在可行域的顶点上达到最优值。 证明思路： 1)首先, 可行域有界就能够找到最优解; 2)如果在非顶点X处取得最优值，则存在顶点X(m)也取得相同的最优值。; 证明：;;上述定理的一些有意义的启示： ; 在可行域中寻找LP的最优解可以转化 为只在可行域的顶点中找，从而把一 个无限的问题转化为一个有限的问题. 顶点个数＝基本可行解个数≤基的个数≤ 若已知一个LP有两个或两个以上最优 解，那么就一定有无穷多个最优解。