引理1.线性规划问题的可行解X为基本可行解的充分 必要条件是X的正分量所对应的系数列向量是线性独立的. 证明:
必要性:已知X为线性规划的基本可行解,要证X的 正分量所对应的系数列向量线性独立。
因为X为基本解,由定义,其非零分量所对应的系数 列向量线性独立;又因为X还是可行解,从而其非零分量 全为正。
•有唯一解
例1: max z=2x1+ 3x2 s.t. x1+2x2≤8 4x1≤16 x1,x2≥0
画图步骤: 1、约束区域的确定 2、目标函数等值线 3、平移目标函数等值线求最优值
x2
可行域
(4,2) z=14
目标函数 等值线
x1
•有无穷多解
例2 max z =2x1+4x2 s.t. x1+2x2≤8 4x2 ≤ 12 3x1 ≤12 x1, x2 ≥0
X(0)=Σ α iX(i) α i0,Σ α i=1 记X(1),X(2), …,X(k)中满足max CX(i)的顶点为X(m)。于是,
k
k
CX (0) Ci X (i) Ci X (m) CX (m)
i 1
i 1
由假设CX(0)为最优解,所以CX(0)=CX(m),即最优解可在顶点
充分性:已知可行解X的正分量所对应的系数列向量 线性独立,欲证X是线性规划的基本可行解。
若向量P1, P2,…, Pk线性独立,则必有k≤m;当k=m时, 它们恰构成一个基,从而X=(x1,x2,…,xk,0…0)为相 应的基可行解。K〈m时,则一定可以从其余的系数列向量 中取出m-k个与P1, P2,…, Pk构成最大的线性独立向量组, 其对应的解恰为X,所以根据定义它是基可行解。
§2 线性规划图解法