第1-2章 线性规划 整数规划.docxVIP

第1-2章 线性规划 整数规划 第一章 线性规划 §1 线性规划 在人们的生产实践中，经常会遇到如何利用现有资源来安排生产，以取得最大经济效益的问题。此类问题构成了运筹学的一个重要分支―数学规划，而线性规划(Linear Programming 简记LP)则是数学规划的一个重要分支。自从1947年G. B. Dantzig 提出求解线性规划的单纯形方法以来，线性规划在理论上趋向成熟，在实用中日益广泛与深入。特别是在计算机能处理成千上万个约束条件和决策变量的线性规划问题之后，线性规划的适用领域更为广泛了，已成为现代管理中经常采用的基本方法之一。 1.1 线性规划的实例与定义 例1 某机床厂生产甲、乙两种机床，每台销售后的利润分别为4000元与3000元。生产甲机床需用A、B机器加工，加工时间分别为每台2小时和1小时；生产乙机床需用A、B、C三种机器加工，加工时间为每台各一小时。若每天可用于加工的机器时数分别为A机器10小时、B机器8小时和C机器7小时，问该厂应生产甲、乙机床各几台，才能使总利润最大？ 上述问题的数学模型：设该厂生产x1台甲机床和x2乙机床时总利润最大，则x1,x2 应满足 （目标函数）maxz=4x1+3x2 (1) ?2x1+x2≤10?x+x≤8?12 s.t.（约束条件）? （2） ≤7x?2??x1,x2≥0 （1）式被称为问题的目标函数，（2）中的几个不等式这里变量x1,x2称之为决策变量， 是问题的约束条件，记为s.t.(即subject to)。由于上面的目标函数及约束条件均为线性 函数，故被称为线性规划问题。 总之，线性规划问题是在一组线性约束条件的限制下，求一线性目标函数最大或最小的问题。 在解决实际问题时，把问题归结成一个线性规划数学模型是很重要的一步，但往往也是困难的一步，模型建立得是否恰当，直接影响到求解。而选适当的决策变量，是我们建立有效模型的关键之一。 1.2 线性规划的Matlab标准形式 线性规划的目标函数可以是求最大值，也可以是求最小值，约束条件的不等号可以是小于号也可以是大于号。为了避免这种形式多样性带来的不便，Matlab中规定线性规划的标准形式为 min cTx x ?Ax≤b? s.t. ?Aeq?x=beq ?lb≤x≤ub? 其中c和x为n维列向量，A、Aeq为适当维数的矩阵，b、beq为适当维数的列向量。 -1- 例如线性规划 max cTx s.t. Ax≥b x 的Matlab标准型为 min ?cx s.t. ?Ax≤?b T x 1.3 线性规划问题的解的概念 一般线性规划问题的（数学）标准型为 max z=∑cjxj (3) j=1 n ?n ?∑aijxj=bii=1,2,L,ms.t. ?j=1 (4) ?x≥0j=1,2,L,n?j 可行解 满足约束条件（4）的解x=(x1,x2,L,xn)，称为线性规划问题的可行解，而使目标函数（3）达到最大值的可行解叫最优解。 可行域 所有可行解构成的集合称为问题的可行域，记为R。 1.4 线性规划的图解法 10987654321z=1200246810x1+x2=8(2,6)x2=72x1+x2=10图1 线性规划的图解示意图 图解法简单直观，有助于了解线性规划问题求解的基本原理。我们先应用图解法来求解例1。对于每一固定的值z，使目标函数值等于z的点构成的直线称为目标函数等位线，当z变动时，我们得到一族平行直线。对于例1，显然等位线越趋于右上方，其上的点具有越大的目标函数值。不难看出，本例的最优解为x*=(2,6)，最优目标值 T z*=26。 从上面的图解过程可以看出并不难证明以下断言： （1）可行域R可能会出现多种情况。R可能是空集也可能是非空集合，当R非空时，它必定是若干个半平面的交集（除非遇到空间维数的退化）。R既可能是有界区域，也可能是无界区域。 （2）在R非空时，线性规划既可以存在有限最优