整数第四章6.4.docVIP

整数规划 ?1.1整数规划的定义 ?在工程设计和企业管理中，常常会遇到要求决策变量取整数值的规划问题. 安排生产时，投入的人力与机器数量必须是整数，生产的某些产品（如汽车、机床、船 舶 等）的 数 量 也 是 整 数.整 数 规 划 就 是 用 于 研 究、处 理 这一类问 题 的 数 学 规 划.如果在线 性 规 划 的 基 础 上，把 规 划 中 的 变 量 （ 部 分 或 全 部 ） 限 制 为 整 数 时，就称之为线性整数规划.大部分的整数规划都是线性的所以我们也称线性整数规划为整数规划.在许多情况下，我们都可以把规划问题的决策变量看成是连续的变量；但在某些情况下，规划问题的决策变量却被要求一定是整数.例如，完成某项工作所需要的人数或设备台数，进入市场销售的商品件数，以及某一机械设备维修的次数等.当连续的决策变量变为离散变量时非线性优化问题通常会难解得多.但是应用软件就方便多了，本文给了Lindo在规划中的常用方法和程序. 1.2 整数规划的分类 　　1、纯整数规划：所有决策变量均要求为整数的整数规划 　　2、混合整数规划：部分决策变量均要求为整数的整数规划 　　3、纯0－1整数规划：所有决策变量均要求为0－1的整数规划 　　4、混合0－1规划：部分决策变量均要求为0－1的整数规划 　　整数规划与线性规划不同这处只在于增加了整数约束．不考虑整数约束所得到的线性规划称为整数规划的线性松弛模型． 整数规划是指一类要求问题中的全部或一部分变量为整数的数学规划。是近三十年来发展起来的、规划论的一个分支. 整数规划问题是要求决策变量取整数值的线性规划或非线性规划问题。 一般认为非线性的整数规划可分成线性部分和整数部分，因此常常把整数规划作为线性规划的特殊部分。在线性规划问题中，有些最优解可能是分数或小数，但对于某些具体问题，常要求解答必须是整数。例如，所求解是机器的台数，工作的人数或装货的车数等。为了满足整数的要求，初看起来似乎只要把已得的非整数解舍入化整就可以了。实际上化整后的数不见得是可行解和最优解，所以应该有特殊的方法来求解整数规划。在整数规划中，如果所有变量都限制为整数，则称为纯整数规划；如果仅一部分变量限制为整数，则称为混合整数规划。整数规划的一种特殊情形是01规划，它的变数仅限于0或1。 2 （2.1）（2.1）（A） （A） （A）（2.1）（2.1）（A）（A）（2.1）（2.2）（2.3） （2.4）3 整数规划问题的LINGO求解方法 LINGO可以用于求解非线性规划，也可以用于一些线性和非线性方程组的求解等，功能十分强大，是求解优化模型的最佳选择.LINGO软件求解整数规划问题是一种比较有效的方法. 3.1一般整数规划的解法 一般的整数规划模型程序如下： MODEL: sets: num_i/1..m/:b; num_j/1..n/:x,c; link(num_i,num_j):a; endsets data: b=b(1),b(2),...b(m); c=c(1),c(2),...c(n); a=a(1,1),a(1,2),...,a(1,n), a(2,1),a(2,2),...,a(2,n), ... a(m,1),a(m,2),...,a(m,n); enddata [OBJ]max=@sum(num_j(j):c(j)*x(j)); @for(num_i(i):@sum(num_j(j):a(i,j)*x(j))=b(i);); @for(num_j(j):x(j)=0;); @for(num_j(j):@GIN(x(j));); END 3.2一般0-1规划的解法 针对一般的规划模型编写LINGO程序，在这里仍假设目标函数为最大化问题，约束条件都为“小于等于”的情况． 具体程序如下： MODEL sets: num_i/1..m/:b; num_j/1..n/:x,c; link(num_i,num_j):a; endsets data: b=b(1),b(2),...,b(m); c=c(1),c(2),...,c(n); a=a(1,1),a(1,2),...,a(1,n), a(2,1),a(2,2),...,a(2,n), ... a(m,1),a(m,2),...,a(m,n); enddata [OBJ]max=@sum(num_j(j):c(j)*x(j)); @for(num_i(i):@sum(num_j(j):a(i,j)*x(j))=b(i);); @for(num_j(j):@sumBIN(x(j));); END 4 实例应用 4.1 一般整数规划问题实例分析 例、连续投资问题 某公