线性规划详细介绍.ppt

二、线性规划问题的共同特征（模型的三要素） ⑴ 每一个问题都用一组决策变量(x1，x2，…，xn)表示某一方案；这组决策变量的值就代表一个具体方案。一般这些变量取值都是非负的。 ⑵ 存在一定的约束条件，这些约束条件可以用一组线性等式或线性不等式来表示。 ⑶ 都有一个要求达到的目标，它可用决策变量的线性函数（称为目标函数）来表示。按问题的不同，要求目标函数实现最大化或最小化。 三、线性规划数学模型的一般表示方式 1.和式 2.向量式 3.矩阵式 四、线性规划问题的标准形式 线性代数基础知识补充与回顾 一、克莱姆规则 含有n个未知数x1,x2,…xn的n个线性方程的方程组如下式所示： 克莱姆法则 如果上述线性方程组的系数行列式不等于零，即有： 二、矩阵的秩 定义1 在 定义二: 设在矩阵中有一个不等于0的r阶子式D，并且所有的r+1阶子式（如果存在）全等于零，那么D称为矩阵A的最高阶非零子式，数r称为矩阵A的秩。 例：找出下述线性规划问题的全部基解，指出其中的基可行解，并确定最优解。 解:该线性规划问题的全部基解见表l-4中的 ①-⑧，打√者为基可行解，注*者为最优解，z* ＝l9。 证明： (1)必要性 由基可行解的定义可知，X为基可行解 ? 其正分量的系数列向量线性无关。 (2)充分性 若向量 线性独立，则必有k≤m；当k＝m时，它们恰好构成一个基，从而 为相应的基可行解。当是km时，则一定可以从其余列向量中找出(m-k)个与 构成一个基，其对应的解恰为X，所以据定义它是基可行解。 定理2 线性规划问题的基本可行解 对应线性规划问题可行域（凸集）的顶点。 则问题可以转化为证明： 的正分量对应的系数列向量线性相关 在可行域内存在两点 、 ， 可以用 、 的凸组合表示。 不是基本可行解 不是可行域的顶点。 不是基本可行解 的正分量对应的系数列向量线性相关。 不是可行域的顶点 在可行域内存在两点 、 ， 可以用 、 的凸组合表示。 证明思路： 利用反证法证明。 证明: 本定理需要证明：X是可行域顶点——X是基可行解。下面采用反证法，即：X不是可行域的顶点——X不是基可行解。分两步来证明。 （2.11） 由引理知： X不是基可行解，所以 线性相关，即存在一组不全为零的数 ，使得有： （2.12） (2.12)式乘上一个不为零的数 得： （2.13） (2.13)+ (2.11)得： (2.11)- (2.13)得： 令 又 可以这样来选取，( 取 ，则有 ) 使得对所有 有 ,且 。 由此 ，即X不是可行域的顶点。 不失一般性，假设X的前m个分量为正，故有： (1) X不是基可行解——X不是可行域的顶点。 不失一般性，设 不是可行域的顶点，因而可以找到可行域内另外两个不同点Y和Z，有 ，或写为： 。 (2) X不是可行域的顶点—— X不是基本可行解。 因 ，故当 时 ，必有 。 因有 (2.14) - (2.15)得 (2.15) (2.14) 因 不全为零，故 线性相关，即 X不是基可行解。 定理3 若线性规划问题有最优解，一定存在一个基可行解是最优解。 情形2：当 线性相关时，存在不全为零的 ，使得 。 已知，且至少有一个 ，取 ，则对任意 ，有 ， ；存在某个 ，有 或 。且 。 情形1：当 线性无关时，由引理，线性规划问题的可行解 为基可行解的充分必要条件是 的正分量所对应的系数列向量是线性无关，定理结果显然成立。