![运筹学](https://wfqqreader-1252317822.image.myqcloud.com/cover/194/33628194/b_33628194.jpg)
§1.2 解与性质
1.2.1 线性规划问题的图解法
对于只含有两个决策变量的线性规划问题,由于变量的取值可以用在二维坐标平面上的点来表示,因此可以用图解法进行求解。图解法不仅简单、直观,而且有助于我们了解线性规划解的性质和求解的基本原理。一个线性规划问题有解,是指能找到一组决策变量满足所有的约束条件,称这组决策变量为线性规划的可行解。
例1.4 用图解法求解线性规划
![](https://epubservercos.yuewen.com/D5CA62/17967719108898606/epubprivate/OEBPS/Images/39379-0022-0045.jpg?sign=1738884235-OQyVPEeYyfKrL37nWHPx9QFVjUE5sS0g-0-b6ea0c03417ce6ef4b9a14ee4cb55eb7)
建立以变量x1为横轴,x2为纵轴的直角坐标系,非负约束x1,x2≥0是指第一象限。其他每个约束条件均代表一个半平面,如4x1≤16是代表x1 =4这条直线上的点及其左侧的半平面;4x2≤12是代表x2 =3这条直线上的点及其下方的半平面;x1+2x2≤8是代表x1+2x2=8这条直线上的点及其左下方的半平面。同时满足例1.4中所有约束条件的点如图1.1中阴影部分所示,图中凸多边形OABCD所包含的阴影部分区域中的每一个点(包括边界点)都是这个线性规划问题的可行解,将该区域称为线性规划问题的可行解区域,即可行域。
目标函数z=2x1+3x2可表示为斜率为,截距为
的一条直线,即
![](https://epubservercos.yuewen.com/D5CA62/17967719108898606/epubprivate/OEBPS/Images/39379-0023-0048.jpg?sign=1738884235-EVV9Qsi5F8P8PmXhvCvJJz530NwieFUC-0-5b964ed732440bc2597e735091606f6c)
位于这条直线上的点,具有相同的目标函数值,该直线也被称为目标函数的“等值线”。例如取z =6,则直线2x1+3x2=6的截距为2,如图1.1所示。随着参数z从小到大变化,直线沿其法线方向向右上方移动(图1.1中箭头方向)。一直移动到目标函数直线与可行解区域相切时为止,切点即代表最优解的点。当直线移动到B点时,目标函数的值在可行域边界上实现最大化,此时,即得到了例1.4的最优解,即在B点取到唯一最优解。由B点坐标知,最优解为x1 =4,x2 =2,最优目标函数值maxz =14。
然而对于一般的线性规划问题的求解还可能出现其他情况。
(1)最优解不唯一。如例1.4中的目标函数改为z=2x1+4x2,此时目标函数的等值线与可行域的边界x1+2x2=8平行。当目标函数值由小变大,即目标函数等值线向右上方移动直至z最大。此时目标函数等值线与可行域的边界在BC线段上相切,如图1.2所示,则线段BC上任一一点均为线性规划问题的最优解。
![](https://epubservercos.yuewen.com/D5CA62/17967719108898606/epubprivate/OEBPS/Images/39379-0023-0049.jpg?sign=1738884235-tImKWdqUN43mkMS6THGLrCc0GPo4IL8T-0-11c1047f94b29f31995f506e3733c4fa)
图1.1 图解法
![](https://epubservercos.yuewen.com/D5CA62/17967719108898606/epubprivate/OEBPS/Images/39379-0023-0050.jpg?sign=1738884235-OxZVk1e6KFWh5aj3Rz3iewoMzfldhsdH-0-8422222640c2892303b1c84ca75c281a)
图1.2 最优解不唯一
(2)无界解。如例1.4中的约束条件改为
![](https://epubservercos.yuewen.com/D5CA62/17967719108898606/epubprivate/OEBPS/Images/39379-0023-0051.jpg?sign=1738884235-wwAjB417KBEMr7Z17gPw83eHXIhsUTDN-0-c4e2652ee5ca38da3a778aa8b48822f2)
通过图1.3可以看出,可行域可以向右侧无限延伸,该问题的可行域无界。目标函数的等值线可以向右上方无限移动,目标函数值可无限增大,那么称这种情况为无界解。
![](https://epubservercos.yuewen.com/D5CA62/17967719108898606/epubprivate/OEBPS/Images/39379-0023-0052.jpg?sign=1738884235-JJqvfQBQa0S56cHs5TuTAtJaKEmrcrec-0-028bf273dadbad45f9bb3767a2f1db98)
图1.3 无界解
(3)无可行解。若例1.4中的约束条件改为
![](https://epubservercos.yuewen.com/D5CA62/17967719108898606/epubprivate/OEBPS/Images/39379-0024-0053.jpg?sign=1738884235-3nY3rJfGcFkODZx7KFF9jGML1hqeJTll-0-b4babff4a87e3f103b38e8393ff25f3d)
根据图解法求解时,可以看出满足所有约束的可行解不存在,即可行域为空集。说明线性规划问题无可行解。
一般来说出现无界解和无可行解的两种情形时,说明线性规划的数学模型有误。前者缺乏必要的约束条件,后者则意味约束条件互相矛盾。通过讨论可以知道,线性规划的解有如图1.4所示的几种情况。
![](https://epubservercos.yuewen.com/D5CA62/17967719108898606/epubprivate/OEBPS/Images/39379-0024-0054.jpg?sign=1738884235-4bDrN7BLq4zsHGxYkTnxW4NDytJeLj62-0-5f3b8e81a432edb760c575380a9d7400)
图1.4 线性规划解的情况
1.2.2 线性规划问题的基本概念
在讨论线性规划问题一般的求解方法之前,首先需要了解线性规划解的基本概念和性质。因为任一线性规划问题都可以转化为其标准形式,记,
,则线性规划的标准型还可以写成如下向量形式:
![](https://epubservercos.yuewen.com/D5CA62/17967719108898606/epubprivate/OEBPS/Images/39379-0024-0057.jpg?sign=1738884235-0D1bawL6JRN933gO3GuPlAMVBsJxn45Z-0-9b2199d02d3951820799f9d3404195eb)
(1)可行解和最优解。满足约束条件式(1.2.2)和式(1.2.3)的解称为线性规划问题的可行解,可行解组成的集合称为可行域。其中,使目标函数达到最大值的可行解称为最优解。
约束条件式(1.2.2)的系数矩阵
![](https://epubservercos.yuewen.com/D5CA62/17967719108898606/epubprivate/OEBPS/Images/39379-0024-0059.jpg?sign=1738884235-YPHHgKS3Vs4CG3i0Df86CHNrd810KGcF-0-54acfca08482f342e00eb25ca57e869b)
是m× n矩阵(设m< n),A的秩r(A )≤m。若r(A )<m,则称该线性规划问题是退化的,否则就称为是非退化的。
(2)基。若系数矩阵A的秩r(A )=m,称A的任一m× m非奇异子矩阵B为线性规划问题的一个基。不失一般性,设
![](https://epubservercos.yuewen.com/D5CA62/17967719108898606/epubprivate/OEBPS/Images/39379-0025-0060.jpg?sign=1738884235-Xh6YqVbPxXiMeD88FsV9CI5EQIM8xpJ3-0-f1b77f07a6d6b373124a471730a4e424)
当确定了线性规划的一个基B,则B中的每一个列向量称为基向量,与基向量 Pj所对应的变量xj称为基变量。线性规划中其他的变量均称为非基变量。
(3)基解。在线性规划的约束条件式(1.2.2)中,令所有的非基变量,式(1.2.2)可表示成
![](https://epubservercos.yuewen.com/D5CA62/17967719108898606/epubprivate/OEBPS/Images/39379-0025-0064.jpg?sign=1738884235-SUhRYA8EGEjrAeqBWyfL9T9t1rQpUSVk-0-725c94e74e81157285d0c2f52f32728f)
且由于B为线性规划的一个基,因此B为可逆阵。由式(1.2.5)可得m个基变量的唯一解
![](https://epubservercos.yuewen.com/D5CA62/17967719108898606/epubprivate/OEBPS/Images/39379-0025-0065.jpg?sign=1738884235-V86ZKgEmY6h7kmp8PE0KU1aBJunNEsQE-0-d3ad45dd1a7766bec31cd7c7c0d78634)
将这个解加上n-m个非基变量取0的值,则得到线性规划的一个解,其称为线性规划问题的基解。由于线性规划中基的个数不超过Cmn个,故基解的个数也不超过Cmn个。
(4)基可行解。满足非负约束式(1.2.3)的基解称为基可行解。
下面结合一个线性规划的例子,来说明有关线性规划解的概念。
例1.5 对于线性规划问题
![](https://epubservercos.yuewen.com/D5CA62/17967719108898606/epubprivate/OEBPS/Images/39379-0025-0068.jpg?sign=1738884235-jm9SwJFE9v5QUumWcbDZ6JNQNSrblgvv-0-6b7b3074d41666a1de6a4da1fc4b165f)
其系数矩阵为,矩阵A的秩r(A )=3,因此该线性规划为非退化的。在矩阵A中有
个3× 3的子矩阵。例如,取A的非奇异子矩阵
,则其构成线性规划的一个基。与之对应的x3,x4和x5称为基变量,其余的变量x1和x2称为非基变量。令所有非基变量
,得出基变量的唯一解,即
,我们把这个解称为基解,该基解满足非负约束,也被称为基可行解。
又如,取下列非奇异子矩阵
![](https://epubservercos.yuewen.com/D5CA62/17967719108898606/epubprivate/OEBPS/Images/39379-0026-0074.jpg?sign=1738884235-Wre5u7OyuLifgHRoudTH5UpVWr1qrjWq-0-cf489724ab4301fd4f6d11141b2d0962)
该矩阵也构成线性规划的一个基。与之对应的x2,x3和x4称为基变量,其余的变量x1和x5为非基变量。令所有非基变量x1=x5=0,同理求得:x2=8,x3=16,。可见,该基解不满足非负约束,故称为基非可行解。
对于线性规划来说,可行解、基解、基可行解三者之间的关系如图1.5所示。
![](https://epubservercos.yuewen.com/D5CA62/17967719108898606/epubprivate/OEBPS/Images/39379-0026-0076.jpg?sign=1738884235-yRiCoo1nkPN187CSO9zef75PWr70myFJ-0-36c4f177ff3618ec6fd773455efd4038)
图1.5 线性规划解的关系
1.2.3 线性规划问题解的性质
1.基本概念
定义1.2.1 设集合为n维欧氏空间的一个点集,若S中的任意两点
连线上的所有点
仍在S中,则称S为凸集。
如实心圆(球)或实心椭圆(球)、长方形(体)或多边形(体)等都是凸集,圆环等不是凸集。如图1.6中的(a)、(b)和(c)都是凸集,(d)和(e)都不是凸集。需要我们注意的是,凸集的交集为凸集,但凸集的并集不一定是凸集。
![](https://epubservercos.yuewen.com/D5CA62/17967719108898606/epubprivate/OEBPS/Images/39379-0026-0080.jpg?sign=1738884235-QQ3pqJ9WYIHuslWhL28oElD65ytquyFF-0-8de90e18b827be21fbbfd42e00cd0eec)
图1.6 凸集与非凸集示例
定义1.2.2 设是n维欧氏空间Rn中的k个点,若存在
,满足
且0≤wi≤1,
,则称
![](https://epubservercos.yuewen.com/D5CA62/17967719108898606/epubprivate/OEBPS/Images/39379-0026-0085.jpg?sign=1738884235-oGvyEBNLuDryeD7G5r3dxCo74VvoKhAb-0-cc0b42ac0cc6be160d79cdd36965ecca)
为的凸组合。(当0<wi<1时,称为严格凸组合)
定义1.2.3 设S为凸集,x∈S,若x不能用S中两个不同点x(1),x(2)的一个严格凸组合来表示,则称x为S中的一个顶点(或极点)。
2.相关性质
以下通过几个定理说明线性规划问题解的相关性质。
定理1.2.1 若线性规划问题存在可行解,则线性规划问题的可行域是凸集。
证明 由式(1.1.5),记线性规划的可行域为。设
和
为S中任意两点,有X(1)≥0,X(2)≥0且
![](https://epubservercos.yuewen.com/D5CA62/17967719108898606/epubprivate/OEBPS/Images/39379-0027-0090.jpg?sign=1738884235-Qktinn4yQHTMCEUjnXvVVOiW1SwxltSt-0-88437df66215e9b1485e160336ead684)
X(1)和X(2)连线上的任意一点可表示为,其中
。易知,X≥0。由式(1.2.6),可得
![](https://epubservercos.yuewen.com/D5CA62/17967719108898606/epubprivate/OEBPS/Images/39379-0027-0093.jpg?sign=1738884235-grgQ2K4VyLWEhacjqgJQx9mZmWGTpqtU-0-f9bd05a5c3e7dbdbfae7e0ff0a7fe5f4)
所以X∈S,根据凸集的定义,S为凸集。
定理1.2.2 线性规划问题的可行解为基可行解的充分必要条件是X的正分量所对应的系数列向量线性无关。
证明 (1)必要性:由基可行解的定义显然成立。
(2)充分性:若线性规划问题可行解的正分量
所对应的系数列向量
线性无关,由于(rA)=m,则k≤m。
若k=m,那么是线性规划问题的一个基,对应的基可行解就是
;若k<m,那么一定可以从A的其余
个列向量中选择
个列,与
构成一个基,其对应的解恰为X,根据定义知,其为基可行解。
定理1.2.3 线性规划问题的基可行解X对应于可行域S的一个顶点。
证明 不失一般性,假设基可行解X的前m个分量为正。因此有
![](https://epubservercos.yuewen.com/D5CA62/17967719108898606/epubprivate/OEBPS/Images/39379-0027-0103.jpg?sign=1738884235-9T9tiShAiFxT6wDmuZSrxbzrKvdlRnB9-0-9cd697993bb24c1d054d49bae17a5cbf)
现在用反证法分两方面来证明。
(1)X不是基可行解不是可行域的顶点。根据定理1.2.2,若X不是基可行解,则其正分量所对应的系数列向量
线性相关,即存在一组不全为零的数
,使得
![](https://epubservercos.yuewen.com/D5CA62/17967719108898606/epubprivate/OEBPS/Images/39379-0027-0107.jpg?sign=1738884235-IxsDY5Wgjh8OxYidrnwbHrpXU55iHMrh-0-29542c175c13d863df927fb5be7ccd5e)
将式(1.2.8)两端分别乘以μ(μ>0)得
![](https://epubservercos.yuewen.com/D5CA62/17967719108898606/epubprivate/OEBPS/Images/39379-0027-0108.jpg?sign=1738884235-vghlSPA4VRsf2asOVRHYCpToj6kXMwwI-0-26a0a6d7bad29bfca31b610f37b9d5c6)
用式(1.2.7)分别加上和减去式(1.2.9),得
![](https://epubservercos.yuewen.com/D5CA62/17967719108898606/epubprivate/OEBPS/Images/39379-0027-0109.jpg?sign=1738884235-2A7xgFX44PoHfrU1EwfHVVVPBE00g8nR-0-1e3ebc51e89fc7fc479b705228c52a9d)
令
![](https://epubservercos.yuewen.com/D5CA62/17967719108898606/epubprivate/OEBPS/Images/39379-0027-0110.jpg?sign=1738884235-It2z1jC1A80d4ILhYIPW8dsezYi2yIU5-0-4676c3e3b8399cde9be97f68668d372f)
当μ充分小时,可使得,且
,即X是X(1),X(2)连线的中点,X不是可行域S的顶点。
(2)X不是可行域S的顶点不是基可行解。
若不是可行域S的顶点,故在可行域S中可以存在两个不同的点
和
,使得
(0<α<1),也可写为
。若可行解X的非零分量的个数超过m个,它一定不是基可行解;如果可行解X的非零分量的个数不超过m个,不妨设前m个分量不等于零,其余分量都等于零,即当j>m时,必有
,进而可得
![](https://epubservercos.yuewen.com/D5CA62/17967719108898606/epubprivate/OEBPS/Images/39379-0028-0120.jpg?sign=1738884235-gjxn6X2NyvO4SDB2HlqZY5YYRXoe1RyO-0-76c77afa664ee5039904666b99b7bb97)
![](https://epubservercos.yuewen.com/D5CA62/17967719108898606/epubprivate/OEBPS/Images/39379-0028-0121.jpg?sign=1738884235-dCzIfwds9IhuqknbWi5uOUkdRkAwBDkN-0-b9f575bedc580e4ae7dce50014e96a4a)
将式(1.2.10)和式(1.2.11)相减,得
![](https://epubservercos.yuewen.com/D5CA62/17967719108898606/epubprivate/OEBPS/Images/39379-0028-0122.jpg?sign=1738884235-vNwApXGnzMdVaXpjHU5yK9rEx1p8Jq32-0-7d9d341f0907d4756f3f38786b4ed9aa)
因,所以式(1.2.12)中,
不全为零,故
线性相关,因此X不是基可行解。
定理1.2.4 如果线性规划问题式(1.1.5)存在最优解,则一定存在一个基可行解是最优解。
证明 设是线性规划可行域S的全部顶点。设最优解X(0)不是顶点,目标函数在
处达到最大,即
。因为X(0)不是顶点,所以X(0)可用S的顶点的凸组合表示为,
,因此
![](https://epubservercos.yuewen.com/D5CA62/17967719108898606/epubprivate/OEBPS/Images/39379-0028-0130.jpg?sign=1738884235-05K2p4wAboIUaGbvJezIX5Lup5ElyegY-0-611287f3615992a26e8172694e664d14)
在所有的顶点中必然能找到一个点X*,使
,根据式(1.2.13),则有
![](https://epubservercos.yuewen.com/D5CA62/17967719108898606/epubprivate/OEBPS/Images/39379-0028-0133.jpg?sign=1738884235-3jHBbpvbJYwtlwx2PSFI3i0AUtXFr4sA-0-a2165a2b515e81be083f9e9f9bcd0d49)
根据假设CX(0)是目标函数的最大值,又由于,因此目标函数在顶点X*处也达到最大值,可知基可行解X*也为最优解。
对于目标函数可能在多个顶点处达到最优的情形,不妨设是目标函数达到最优的顶点,则它们的凸组合
![](https://epubservercos.yuewen.com/D5CA62/17967719108898606/epubprivate/OEBPS/Images/39379-0028-0136.jpg?sign=1738884235-iZCfW8ZBF87u1P0LQdR6nGCGust4t1o0-0-fa0fedab741ad8aea0c4627270d21ac5)
仍然使目标函数达到最优,此时线性规划问题有无穷多个最优解。
通过以上定理,可以得到以下结论。
(1)线性规划问题的可行域(可行解集)是一个凸集,可能有界也可能无界,但其顶点(极点)的个数是有限的。
(2)线性规划问题的每个基可行解都对应于可行域的顶点。
(3)若线性规划问题有最优解,则其最优解必在可行域的某个(或多个)顶点上。
上述结论为我们提供了寻求线性规划问题最优解的途径,在基可行解中寻找最优解,在一个线性规划问题中基可行解的个数是有限的,不会超过基解的个数,同时基解的个数不会超过Cmn,其中m, n分别为线性规划问题[式(1.1.5)]中系数矩阵A的行数和列数。