![运筹学](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=1739379577-UPtYgRLsIEKGh3OKG0XpzBvF8lIz7cYQ-0-852b7696e489d7c9165ca5bdcd67c0b0)
建立以变量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=1739379577-hrRKtrcGPNj8WC7SmAwIEV1gBfw09te7-0-7bae40ff4f668efd2ba801ea1aa40a5f)
位于这条直线上的点,具有相同的目标函数值,该直线也被称为目标函数的“等值线”。例如取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=1739379577-ZDyUOkDOZlgkyMuoPOKytfOOYwA8JABp-0-9756dbea92111c3d2d5d89a2f6d44f50)
图1.1 图解法
![](https://epubservercos.yuewen.com/D5CA62/17967719108898606/epubprivate/OEBPS/Images/39379-0023-0050.jpg?sign=1739379577-jdPRqIDDt18AKePZuzq3BkIO04TOlltO-0-6b85e1cd9c46a080c2d5539ef6d93ef7)
图1.2 最优解不唯一
(2)无界解。如例1.4中的约束条件改为
![](https://epubservercos.yuewen.com/D5CA62/17967719108898606/epubprivate/OEBPS/Images/39379-0023-0051.jpg?sign=1739379577-W6Zu1Lt6Xjdja9v3OrB0Ke5PNs7tVnDy-0-55d71ff65ef0f3889f4db48da5a0694d)
通过图1.3可以看出,可行域可以向右侧无限延伸,该问题的可行域无界。目标函数的等值线可以向右上方无限移动,目标函数值可无限增大,那么称这种情况为无界解。
![](https://epubservercos.yuewen.com/D5CA62/17967719108898606/epubprivate/OEBPS/Images/39379-0023-0052.jpg?sign=1739379577-Tb8GVGxwI5BlYkNBbQKCrPwVtb5NBFfO-0-940a523ca9c95adfc024d3c8237b7db4)
图1.3 无界解
(3)无可行解。若例1.4中的约束条件改为
![](https://epubservercos.yuewen.com/D5CA62/17967719108898606/epubprivate/OEBPS/Images/39379-0024-0053.jpg?sign=1739379577-5lWiTNDnUupkMaqDvX0lWJEtvelOgan3-0-d2ebc0f2eea22d5c9c75891ca2e4b72b)
根据图解法求解时,可以看出满足所有约束的可行解不存在,即可行域为空集。说明线性规划问题无可行解。
一般来说出现无界解和无可行解的两种情形时,说明线性规划的数学模型有误。前者缺乏必要的约束条件,后者则意味约束条件互相矛盾。通过讨论可以知道,线性规划的解有如图1.4所示的几种情况。
![](https://epubservercos.yuewen.com/D5CA62/17967719108898606/epubprivate/OEBPS/Images/39379-0024-0054.jpg?sign=1739379577-uq5duBma6HWwTofnBLjZHTNcDXj83e9U-0-68cec3cca1ffdde9d81820131b8adc4b)
图1.4 线性规划解的情况
1.2.2 线性规划问题的基本概念
在讨论线性规划问题一般的求解方法之前,首先需要了解线性规划解的基本概念和性质。因为任一线性规划问题都可以转化为其标准形式,记,
,则线性规划的标准型还可以写成如下向量形式:
![](https://epubservercos.yuewen.com/D5CA62/17967719108898606/epubprivate/OEBPS/Images/39379-0024-0057.jpg?sign=1739379577-5b47zp9AB3fFYGroUy0P6XwOQ3ZnKYIb-0-8f16560119e986b24525ff8287a8adb0)
(1)可行解和最优解。满足约束条件式(1.2.2)和式(1.2.3)的解称为线性规划问题的可行解,可行解组成的集合称为可行域。其中,使目标函数达到最大值的可行解称为最优解。
约束条件式(1.2.2)的系数矩阵
![](https://epubservercos.yuewen.com/D5CA62/17967719108898606/epubprivate/OEBPS/Images/39379-0024-0059.jpg?sign=1739379577-PbgGGeOu24ffqLkqyXuBDvmo0m67TpuH-0-1ac6e57fc82b3e44c88746537547cb16)
是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=1739379577-C6oCVIBkGhoWsWzXTLVhvIXn3ZaUyFOy-0-9a2b5f3904470fb28a483fb621c3e93f)
当确定了线性规划的一个基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=1739379577-gh3l99I3XIWMBwms9XAUmey8y2EfPYzR-0-16d312af1ee3039c11088fec0d00ae91)
且由于B为线性规划的一个基,因此B为可逆阵。由式(1.2.5)可得m个基变量的唯一解
![](https://epubservercos.yuewen.com/D5CA62/17967719108898606/epubprivate/OEBPS/Images/39379-0025-0065.jpg?sign=1739379577-L4yq90BJr00Cmpf9giCrOy0a5qG5qX4i-0-2721ee2472314e5a6c5c96bd1bbe3419)
将这个解加上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=1739379577-OcRydu60ZDh5SMaTMTNhVVmouRMiZ2qG-0-833822864332a42ec99537a0b4687499)
其系数矩阵为,矩阵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=1739379577-6jwcy41NoNHtuIQIgkzc4quEXGUfKwiG-0-b0451a6890d48f368323d7e9fe2ef05b)
该矩阵也构成线性规划的一个基。与之对应的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=1739379577-djUwqqanKpfWN3sUIaw1NVsVBKbnSN6o-0-edc2818591bd8f88628ef52972c2d7a4)
图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=1739379577-8xDWSkMWHpFaxl1MKdQbjaJBcqnTAVx7-0-a1c1d5aa45712751dc41ab49eeb4dea5)
图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=1739379577-mH3iSpifJQ733oiVy5BIHnedagxI2L8K-0-8cd676a9a12c82b7ceada56978e448a7)
为的凸组合。(当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=1739379577-2x1wyzJBBRma2GTGzpGIFfDcIp1XmD5V-0-00c56209b86b75d4c2fa8ab20b8fbbbe)
X(1)和X(2)连线上的任意一点可表示为,其中
。易知,X≥0。由式(1.2.6),可得
![](https://epubservercos.yuewen.com/D5CA62/17967719108898606/epubprivate/OEBPS/Images/39379-0027-0093.jpg?sign=1739379577-lpaImsLbwvVefl0mcvKIuenmtyxH60KV-0-bb704da2b42815f8a641cb26b63f9e23)
所以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=1739379577-g3PdVGhwD3uXNF8TKUE65x7FjQU3Y6Zw-0-6cd93b43f090dc27dee22de040cacedf)
现在用反证法分两方面来证明。
(1)X不是基可行解不是可行域的顶点。根据定理1.2.2,若X不是基可行解,则其正分量所对应的系数列向量
线性相关,即存在一组不全为零的数
,使得
![](https://epubservercos.yuewen.com/D5CA62/17967719108898606/epubprivate/OEBPS/Images/39379-0027-0107.jpg?sign=1739379577-dJUV32gf5j1ICJUjCSScdhxsNUVcwIep-0-5ca7a4af377079d33c29b2e317ca7476)
将式(1.2.8)两端分别乘以μ(μ>0)得
![](https://epubservercos.yuewen.com/D5CA62/17967719108898606/epubprivate/OEBPS/Images/39379-0027-0108.jpg?sign=1739379577-WUlQ2Puw7E58u2LUHmV7kae7j7BOOo7k-0-60b92d53c50e96ad86309f15d1b450b2)
用式(1.2.7)分别加上和减去式(1.2.9),得
![](https://epubservercos.yuewen.com/D5CA62/17967719108898606/epubprivate/OEBPS/Images/39379-0027-0109.jpg?sign=1739379577-srVLjELkjBFBejuaSfqvrnpcPR1oIDzO-0-3b75f1019a4eaa8249fe8f4fe0c7c36c)
令
![](https://epubservercos.yuewen.com/D5CA62/17967719108898606/epubprivate/OEBPS/Images/39379-0027-0110.jpg?sign=1739379577-FcdJ0JHBaG9Pmu3pwBWCJuATctcGzz2O-0-0c210a2ca3e5f151b4be2e696b34fd1d)
当μ充分小时,可使得,且
,即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=1739379577-AmMuPO6EMGWOlhPTdCJgei19tr6ky1Hn-0-c67374afad659924f2927a876b5c2c63)
![](https://epubservercos.yuewen.com/D5CA62/17967719108898606/epubprivate/OEBPS/Images/39379-0028-0121.jpg?sign=1739379577-wLgO3X9TgRXDbWj84t40mxOgNzimpntq-0-74d6614b356ec8eb2a3fe4d34bc5afcd)
将式(1.2.10)和式(1.2.11)相减,得
![](https://epubservercos.yuewen.com/D5CA62/17967719108898606/epubprivate/OEBPS/Images/39379-0028-0122.jpg?sign=1739379577-wWAYKGGXQUh3qMnPyBifZTRplKQLJPKv-0-1478499925d9dee5dcfb20a50e592f9c)
因,所以式(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=1739379577-bI6fcWKlk8KPrJ3i0FVaXcwYB62sY1Et-0-5b60db480361862db8080310f29c05bb)
在所有的顶点中必然能找到一个点X*,使
,根据式(1.2.13),则有
![](https://epubservercos.yuewen.com/D5CA62/17967719108898606/epubprivate/OEBPS/Images/39379-0028-0133.jpg?sign=1739379577-EfNyeIukVpiybpdzOE80nKWeWX34t8Id-0-7f2bdbe3ae000942d216fb9ad0e8700d)
根据假设CX(0)是目标函数的最大值,又由于,因此目标函数在顶点X*处也达到最大值,可知基可行解X*也为最优解。
对于目标函数可能在多个顶点处达到最优的情形,不妨设是目标函数达到最优的顶点,则它们的凸组合
![](https://epubservercos.yuewen.com/D5CA62/17967719108898606/epubprivate/OEBPS/Images/39379-0028-0136.jpg?sign=1739379577-CEvoLoW3g4VHJOYOEZ0h9SERY0UUuXN4-0-42a0f770a39a5c305b5910133aa11be6)
仍然使目标函数达到最优,此时线性规划问题有无穷多个最优解。
通过以上定理,可以得到以下结论。
(1)线性规划问题的可行域(可行解集)是一个凸集,可能有界也可能无界,但其顶点(极点)的个数是有限的。
(2)线性规划问题的每个基可行解都对应于可行域的顶点。
(3)若线性规划问题有最优解,则其最优解必在可行域的某个(或多个)顶点上。
上述结论为我们提供了寻求线性规划问题最优解的途径,在基可行解中寻找最优解,在一个线性规划问题中基可行解的个数是有限的,不会超过基解的个数,同时基解的个数不会超过Cmn,其中m, n分别为线性规划问题[式(1.1.5)]中系数矩阵A的行数和列数。