第六章 分支定界法 作业题
7.某产品装配作业及其顺序在表中给出。试将这些作业安排到各工作地以形成一条流水线。这条流水线每天运行7.5h，要求每天生产1000件产品。（p117）
表6-6 各作业的时间和顺序
(1)画出装配网络图。
(2)针对预定1000件产品的产量用分支定界法进行流水线平衡。
生产节拍r=工作时间/计划产量=7.5*60*60/1000=27s/件
S=T r ??????
=1524612186119147151027
+++++++++++?????
?
≈6个 111k k T T S r -??=+????
7
25
因此可以得到流水线平衡的结果为： 工作地1：{ A,C,F } 工作地2：{ B } 工作地3：{ D,H } 工作地4：{ E } 工作地5：{ G ,J } 工作地6：{ K,L }
(3) 根据（2）中的条件，计算装配线平衡后的效果
该流水生产线平衡方案的设备利用率=装配网络图上各项作业
的时间总和/（节拍*工作地数）=147/(27*6) ≈90.74%
(4)生产开始后，市场部意识到他们低估了市场需求，决定将产量提高到1500件。应该采取什么措施？试定量地作出回答。
当产量提高到1500件的时候，生产节拍r=工作时间/计划产量=7.5*60*60/1500=18s/件，由于生产节拍r变快了，
S=
T
r
??
??
??=
15246121861191471510
18
+++++++++++
??
??
??≈9个，所以应该
增加工作地数。
运筹学 (1)
期末考试《运筹学》B 卷 一、单项选择题（在下列每题的四个选项中，只有一个选项是符合试题要求的。请把答案填入答题框中相应的题号下。每小题2分，共20分） 1．单纯形迭代中，出基变量在紧接着的下一次迭代中（ ）立即进基。 A ．会 B ．不会 C ．有可能 D ．不一定 2．线性规划的约束条件为 X 1 + X 2 + X 3 = 3 ，2X 1+ 2X 2+ X 4= 4，X i ≥0（i=1-4）,则基本可行解是（ ） A ．（0，0，4， 3） B ．（0，0，3，4） C ．（2，1，0，-2） D ．（3，0，0，-2） 3．普通单纯形法的最小比值定理的应用是为了保证（ ） A ．使原问题保持可行 B ．使对偶问题保持可行 C ．逐步消除原问题不可行性 D ．逐步消除对偶问题的不可行性 4. 原问题与对偶问题都有可行解，则有（ ） A ．原问题有最优解，对偶问题可能没有最优解 B ．原问题与对偶问题可能都没有最优解 C ．可能一个问题有最优解，另一个问题具有无界解 D ．原问题与对偶问题都具有最优解 5. 求解整数规划问题的分支定界法中，有（ ） A ．最大值问题的目标值是各分支的上界 B ．最大值问题的目标值是各分支的下界 C ．最小值问题的目标值是各分支的上界 D ．以上结论都不对 6．在运输方案中出现退化现象，是指数字格的数目 （ ） A ．等于 m+n B ．等于m+n-1 C ．小于m+n-1 D ．大于m+n-1 7．若运输问题的单位运价表的某一行元素分别加上一个常数k ，最优调运方案将（ ）。 A ．发生变化 B ．不发生变化 C ．A 、B 都有可能 D. 都不对 8．在产销平衡运输问题中，设产地为m 个，销地为n 个，那么解中非零 变量的个数（ ）。 A ．不能大于(m+n-1) B ．不能小于(m+n-1) C ．等于(m+n-1) D ．不确定 9．在运输问题中，每次迭代时，如果有某非基变量的检验数等于零，则该运输问题（ ）。 A ．无最优解 B ．有无穷最优解 C ．有唯一最优解 D ．出现退化解 10．动态规划问题中最优策略具有性质：（ ）。 A ．每个阶段的决策都是最优的 B ．当前阶段以前的各阶段决策是最优的 C ．无论初始状态与初始决策如何，对于先前决策所形成的状态而言，其以后的所有决策应构成最优策略 D ．它与初始状态无关 二、判断题（每题1分,共10分）
分支定界法详解
1、概念： 分支定界算法(Branch and bound，简称为BB、B&B, or BnB)始终围绕着一颗搜索树进行的，我们将原问题看作搜索树的根节点，从这里出发，分支的含义就是将大的问题分割成小的问题。大问题可以看成是搜索树的父节点，那么从大问题分割出来的小问题就是父节点的子节点了。分支的过程就是不断给树增加子节点的过程。而定界就是在分支的过程中检查子问题的上下界，如果子问题不能产生一比当前最优解还要优的解，那么砍掉这一支。直到所有子问题都不能产生一个更优的解时，算法结束。 2、例子： 用BB算法求解下面的整数规划模型 因为求解的是最大化问题，我们不妨设当前的最优解BestV为-INF，表示负无穷。 1.
首先从主问题分出两支子问题： 通过线性松弛求得两个子问题的upper bound为Z_LP1 = 12.75，Z_LP2 = 12.2。由于Z_LP1 和Z_LP2都大于BestV=-INF，说明这两支有搞头，继续往下。 2. 3.
从节点1和节点2两个子问题再次分支，得到如下结果： 子问题3已经不可行，无需再理。子问题4通过线性松弛得到最优解为10，刚好也符合原问题0的所有约束，在该支找到一个可行解，更新BestV = 10。 子问题5通过线性松弛得到upper bound为11.87>当前的BestV = 10，因此子问题5还有戏，待下一次分支。而子问题6得到upper bound为9<当前的BestV = 10，那么从该支下去找到的解也不会变得更好，所以剪掉！ 4.
对节点5进行分支，得到： 子问题7不可行，无需再理。子问题8得到一个满足原问题0所有约束的解，但是目标值为4<当前的BestV=10，所以不更新BestV，同时该支下去也不能得到更好的解了。 6.
分支定界算法的MATLAB程序
Linprogdis子程序: function [x,fval,exitflag,output,lambda]=... linprogdis(ifint,f,A,b,Aeq,beq,lb,ub,x0,options) %Title: % 分支定届法求解混合整数线性规划模型 % %初步完成：2002年12月 %最新修订: 2004-03-06 %最新注释：2004-11-20 %数据处理 [t1,t2] = size(b); if t2~=1, b=b';%将b转置为列向量 end %调用线性规划求解 [x,fval,exitflag,output,lambda] = linprog(f,A,b,Aeq,beq,lb,ub,x0,options); if exitflag<=0,%如果线性规划失败，则本求解也失败 return end %得到有整数约束的决策变量的序号 v1=find(ifint==1);%整数变量的index tmp=x(v1);%【整数约束之决策变量】的当前值 if isempty(tmp), %无整数约束，则是一般的线性规划，直接返回即可 return end v2=find(checkint(tmp)==0);%寻找不是整数的index if isempty(v2), %如果整数约束决策变量确实均为整数，则调用结束 return end %第k个决策变量还不是整数解 %注意先处理第1个不满足整数约束的决策变量 k=v1(v2(1)); %分支1：左分支 tmp1=zeros(1,length(f));%线性约束之系数向量 tmp1(k)=1; low=floor(x(k)); %thisA 分支后实际调用线性规划的不等式约束的系数矩阵A %thisb 分支后实际调用线性规划的不等式约束向量b if ifrowinmat([tmp1,low],[A,b])==1 %如果分支的约束已经存在旧的A，b中，则不改变约束 thisA= A; thisb= b;
整数规划_分支定界法_MATLAB程序
整数规划分支定界法MATLAB 程序 1.这种方法绝对能都解出答案，而且答案正确function [x,val]=fzdj(n,f,a,b,aeq,beq,lb,ub) x=zeros(n,1); x1=zeros(n,1); m1=2; m2=1; [x1,val1]=linprog(f,a,b,aeq,beq,lb,ub); if (x1==0) x=x1; val=val1; elseif (round(x1)==x1) x=x1; val=val1; else e1={0,a,b,aeq,beq,lb,ub,x1,val1}; e(1,1)={e1}; zl=0; zu=-val1; while (zu~=zl) for c=1:1:m2 if (m1~=2) if (cell2mat(e{m1-1,c}(1))==1) e1={1,[],[],[],[],[],[],[],0}; e(m1,c*2-1)={e1}; e(m1,c*2)={e1}; continue; end; end; x1=cell2mat(e{m1-1,c}(8)); x2=zeros(n,1); s=0; s1=1; s2=1; lb1=cell2mat(e{m1-1,c}(6)); ub1=cell2mat(e{m1-1,c}(7)); lb2=cell2mat(e{m1-1,c}(6)); ub2=cell2mat(e{m1-1,c}(7)); for d=1:1:n if (abs((round(x1(d))-x1(d)))>0.0001)&(s==0) s=1; lb1(d)=fix(x1(d))+1; if (a*lb1<=b) s1=0; end; ub2(d)=fix(x1(d)); if (a*lb2<=b) s2=0; end; end; end; e1={s1,a,b,aeq,beq,lb1,ub1,[],0}; e2={s2,a,b,aeq,beq,lb2,ub2,[],0}; e(m1,c*2-1)={e1}; e(m1,c*2)={e2}; end; m1=m1+1;
分支定界法
整数线性规划之分支定界法 摘要 最优化理论和方法是在上世纪 40 年代末发展成为一门独立的学科。1947年，Dantaig 首先提出求解一般线性规划问题的方法，即单纯形算法，随后随着工业革命、计算机技术的巨大发展，以及信息革命的不断深化，到现在的几十年时间里，它有了很快的发展。目前，求解各种最优化问题的理论研究发展迅速，例如线性规划、非线性规划以及随机规划、非光滑规划、多目标规划、几何规划、整数规划等，各种新的方法也不断涌现，并且在军事、经济、科学技术等方 面应用广泛，成为一门十分活跃的学科。 整数规划（integer programming）是一类要求要求部分或全部决策变量取整数值的数学规划，实际问题中有很多决策变量是必须取整数的。本文主要介绍求解整数线性规划问题的分支定界法及其算法的matlb实现。 关键词：整数线性规划；分支定界法；matlb程序；
1．引言 1.1优化问题发展现状 最优化理论与算法是一个重要的数学分支，它所讨论的问题是怎样在众多的方案中找到一个最优的方案.例如，在工程设计中，选择怎样的设计参数，才能使设计方案既满足要求又能降低成本；在资源分配中，资源有限时怎样分配，才能使分配方案既可以满足各方面的要求，又可以获得最多的收益；在生产计划安排中，怎样设计生产方案才能提高产值和利润；在军事指挥中，确定怎样的最佳作战方案，才能使自己的损失最小，伤敌最多，取得战争的胜利；在我们的生活中，诸如此类问题，到处可见.最优化作为数学的一个分支，为这些问题的解决提供了一些理论基础和求解方法. 最优化是个古老的课题.长期以来，人们一直对最优化问题进行着探讨和研究.在二十世纪四十年代末，Dantzig 提出了单纯形法，有效地解决了线性规划问题，从而最优化成为了一门独立的学科。目前，有关线性规划方面的理论和算法发展得相当完善,但是关于非线性规划问题的理论和算法还有待进一步的研究，实际应用中还有待进一步的完善。传统的非线性全局最优化方法只能求出问题的局部最优解，但由于许多问题的局部最优解不一定是全局最优解，使得传统的非线性最优化方法不能直接成功地应用于求解非线性全局最优化问题。另外，没有一个固定的评判标准来判断得到的局部最优解是否为全局最优解。随着科学技术的发展和计算机计算能力的提高，最优化理论在最近这几年来得到了迅速的发展，涌现出了许多新的算法, 如打洞函数法,填充函数法，lagrangian 乘子函数方法，信赖域方法，虑子方法等。 本文主要介绍求解整数线性规划问题的分支定界法及其算法的matlb实现。 1.2整数线性规划及其数学模型 整数规划主要有以下三大类： （1）全整数规划（all integer programming）：所有的决策变量都取整数值，也称为纯整数规划（pure integer programming）； （2）混合整数规划（mixed integer programming）：仅要求一部分决策变量取整数值； （3）0-1规划（zero-one integer programming）：该类问题的决策变量只能取0或1. 本文主要讨论的整数线性规划问题模型为：
运筹学方法总结
一．线性规划 1.问题背景：线性规划是运筹学中研究较早、发展较快、应用广泛、方法较成熟的一个重要分支,它是辅助人 们进行科学管理的一种数学方法.在经济管理、交通运输、工农业生产等经济活动中，提高经济效果是人们不可缺少的要求，而提高经济效果一般通过两种途径：一是技术方面的改进，例如改善生产工艺，使用新设备和新型原材料.二是生产组织与计划的改进，即合理安排人力物力资源. 线性规划所研究的是：在一定条件下，合理安排人力物力等资源，使经济效果达到最好.一般地，求线性目标函数在线性约束条件下的最大值或最小值的问题 2.求解方法： a.单纯形法： 适用的问题：约束条件全部为≤，右边常数全部为非负，对目标函数的系数没有要求。 min z=3x1-2x2 s.t. x1+2x2≤12 2x1+ x2≤18 x1,x2≥0 求解步骤： STEP 0 将线性规划问题标准化 STEP 1 是否有明显的初始基础可行解，如果有，转STEP 3，否则，转STEP 2。 STEP 2 构造辅助问题，用两阶段法求解辅助问题。如果辅助问题最优解的目标函数值大于0，原问题无可行解，算法终止。否则转STEP 3。 STEP 3 写出单纯形表，将基变量在约束条件中的系数消为单位矩阵，将基变量在目标函数中的系数消为0。转STEP 4。 STEP 4 如果所有非基变量的检验数全为负数或0，则已获得最优解，算法终止。否则，选择检验数为正数并且绝对值最大的非基变量为进基变量。转STEP 5。 STEP 5 如果进基变量在约束条件中的系数全为负数或0，目标函数无界，算法终止。否则根据右边常数和正的系数的最小比值，确定离基变量。转STEP 6。 STEP 6 进基变量列和离基变量行交叉的元素称为主元。对单纯形表进行行变换，将主元变为1，将主元所在列的其他元素变为0。转STEP 4。 b.对偶单纯形法： 适用的问题:约束条件中至少有一个是≥，相应的右边常数为非负，目标函数系数全部为非负。 min z=3x1+2x2 s.t. x1+2x2≥12 2x1+ x2≤18 x1,x2≥0 求解步骤： 步骤1 确定原问题（L）的初始基B，使所有检验数，即是对偶可行解，建立初始单纯形表。 步骤2 检查基变量的取值，若≥0，则已得最优解，计算停；否则求确定单纯形表第L行对应的基变量为旋出变量。 步骤3 若所有,则原问题无可行解，计算停；否则，计算确定对应的为旋入变量。 步骤4 以为主元作（L，K）旋转变换，得新的单纯形表，转步骤2。可以证明，按上述方法进行迭代，所得解始终是对偶可行解。 二．运输问题 1.问题背景：一般的运输问题就是要解决把某种产品从若干个产地调运到若干个销地，在每个产 地的供应量与每个销地的需求量已知，并知道各地之间的运输单价的前提下，如何确定一个使得总的运输费用最小的方案。
分支定界法Matlab程序实现与验证
分支定界法Matlab 程序实现与验证 为了更深入理解分支定界法计算流程，从而决定花费几天时间仔细学习该算法，并编写出该算法的Matlab 计算程序。同时为了后面个人的借鉴学习，编写本文档。在进行分支定界法计算程序编写过程中，通过网络搜索，发现了Matlab2014版之后嵌入了混合整数线性规划求解函数intlinprog，从而也将该函数的使用方法撰写下来。 1 整数规划问题简介 在线性规划问题中，有些最优解可能是分数或小数，但对于某些具体问题，常有要求解答必须是整数的情形(称为整数解)。例如：所求解是机器的台数、完成工作的人数或装货的车数等，分数或小数的解答就不合要求。为了满足整数解的要求，初看起来，似乎只要把已得到的带有分数或小数的解经过“舍入化整”就可以了。但这常常是不行的，因为化整后不见得是可行解；或虽是可行解，但不一定是最优解。因此，对求最优整数解的问题，有必要另行研究。人们称这样的问题为整数规划(Integer Programming，IP)，整数规划是最近几十年发展起来的规划论中的一个分支。 整数规划中如果所有的变数都限制为(非负)整数，就称为纯整数规划(Pure Integer Programming，PIP)或称为全整数规划(All Integer Programming，AIP)；如果仅一部分变数限制为整数，则称为混合整数计划(Mixed Integer Programming，MIP)。整数规划的一种特殊情形是0-1规划，该规划中变量的取值仅限于0或1，指派问题就是一类典型的0-1规划问题。 现举例说明用前述单纯形法求得的解不能保证是整数最优解。 例1：某厂拟用集装箱托运甲乙两种货物, 每箱的体积、重量、可获利润以及托运所受限制如表1所示。问两种货物各托运多少箱, 可使获得利润为最大? 表1 货物托运示例数据 货物 体积（m3/箱） 重量（百公斤/箱）利润（百元/箱） 甲 5 2 20 乙 4 5 10 托运限制 24（m3） 13百公斤 设1x 、2x 分别为甲、乙两种货物的托运箱数（为非负整数），列该问题的纯 整数规划模型如下： 12max 2010z x x =+
分支定界法
分支定界法 分支定界法，顾名思义，就是按照定好的界进行分支。这里说的分支意思是“剪枝”。剪的枝是问题解空间树的枝。所谓解空间树，即此问题所有解和中间解形成的树型结构，是有序的。常有排列树和子集树之分，举个例子，n个物品的0-1背包问题的解空间树就是子集树(每个物品都可能为0或1)，而最短路径问题的解空间树是一颗排列树。 分支定界法一般有两种实现形式：1.优先队列法2.FIFO队列法。这与分支定界的思想无太多本质联系，只是前者在一般情况下能更快的求得问题解。分支定界法要对问题的解空间树进行“剪枝”操作以减少对解空间树的搜索。那么问题是，如何“剪枝”？这就要回答如何定界的问题。在分支定界法中，“界”的作用就是用来阻止对不可行分支的搜索的。当解空间树很深时（叶子节点为解），如果能在前面几层就预先的知道了“此路不通”或者“此路不是最优”而停止此路的继续，这样能大幅度的提高算法效率。如何定界要放入具体问题中考虑，一般可以以“理论最大最小”这个概念来求界。以0-1背包问题为例，设所有物品预先已经按照单位价值量递减排列。在解空间树的第i层（此时正在考虑第i个物品是否应该被放入的时刻），设左子树为放入i物品，右子树为不放i物品。那么在确定左子树的上界的时候有：界=当前价值+i
的价值+MaxValue(背包剩余重量-i物品重量);其中的MaxValue为放i后剩余背包容量能获得的最大价值，应该注意的是此最大价值为理论意义上的最大价值，比如在继续放入p个后(按单位价值量递减),放不下第p+1个，此时应该按(Value[p+1]/Weight[p+1])*(WeightLeft)来计p+1物品的价值,(实际中不可能放入零点几个某物品。。。)；右子树的情形类似。 知道了如何定界，那么在实际流程中就要根据当前目标节点的界来剪枝了（是用上界还是下界，具体问题具体分析）。今天准备举个稍微有点挑战的例子---NPC问题中的TSP问题。 在TSP问题中，由于是环路，每个节点都要进出各一次，我们可以将每个节点最小的入度和最小的出度的和累加作为一个下界，这个下界几乎不可能达到！（全部最小出度的和即为下面提到的rcost的初值） 初始时我们创建一个最小堆，表示活节点队列。堆中按照每个节点的下界来划分优先级，下界越小的优先级越高。由于有是要求回路最小值，所以可以先判断此图是否有回路，没有直接返回，有再继续往下做。然后开始解空间树的搜索，广度优先遍历当前点的连通点，用curcost 来存当前的耗费总和，rcost表示当前点到叶子节点最小出度之和，那么一个节点的下界计算为：curcost+rcost-MinOut(当前点);如果此下界小于当前最优值，则将这个连
分支定界法
分支定界法 分支定界法(branch and bound)是一种求解整数规划问题的最常用算法。这种方法不但可以求解纯整数规划，还可以求解混合整数规划问题。 基本信息 中文名称：分支定界法 外文名称：branch and bound 用途：整数规划问题 性质：算法 定义 分支定界法（branch and bound）是一种求解整数规划问题的最常用算法。这种方法不但可以求解纯整数规划，还可以求解混合整数规划问题。 算法步骤 第1步：放宽或取消原问题的某些约束条件，如求整数解的条件。如果这时求出的最优解是原问题的可行解，那么这个解就是原问题的最优解，计算结束。否则这个解的目标函数值是原问题的最优解的上界。 第2步：将放宽了某些约束条件的替代问题分成若干子问题，要求各子问题的解集合的并集要包含原问题的所有可行解，然后对每个子问题求最优解。这些子问题的最优解中的最优者若是原问题的可行解，则它就是原问题的最优解，计算结束。否则它的目标函数值就是原问题的一个新的上界。另外，各子问题的最优解中，若有原问题的可行解的，选这些可行解的最大目标函数值，它就是原问题的最优解的一个下界。 第3步：对最优解的目标函数值已小于这个下界的问题，其可行解中必无原问题的最优解，可以放弃。对最优解的目标函数值大于这个下界的子问题，都先保留下来，进入第4步。
第4步：在保留下的所有子问题中，选出最优解的目标函数值最大的一个，重复第1步和第2步。如果已经找到该子问题的最优可行解，那么其目标函数值与前面保留的其他问题在内的所有子问题的可行解中目标函数值最大者，将它作为新的下界，重复第3步，直到求出最优解。
分支定界法
以下内容基本为转载内容: 1. 模型 整数规划的模型与线性规划基本相同，只是额外的添加了部分变量为整数的约束。 2. 求解步骤 整数规划求解的基本框架是分支定界法（Branch and bound，BnB）。首先去除整数约束得到“松弛模型”，使用线性规划的方法求解。若有某个变量不是整数，在松弛模型上分别添加约束： x<=floor(A) 和 x>=ceil(A) 然后再分别求解，这个过程叫做分支。当节点求解结果中所有变量都是整数时，停止分支。这样不断迭代，形成了一棵树。 定界，指的是叶子节点产生后，相当于给问题定了一个下界。 之后在求解过程中一旦某个节点的目标函数值小于这个下界，那就直接pass，不用再进行分支了；每次新产生叶子节点，则更新下界。 3. python算法实现 import mathfrom scipy.optimize import linprogimport sys def integerPro(c,A,b,Aeq,beq,t=1.0E-12): res=linprog(c,A_ub=A,b_ub=b,A_eq=Aeq,b_eq=beq) if(type(res.x)is float):#produces error code bestX=[sys.maxsize]*len(c) else: bestX=res.x bestVal=sum([x*y for x,y in zip(c,bestX)]) if all(((x-math.floor(x))
分支定界法概述
分枝定界-简介 分枝定界（branch and bound）是另一种系统地搜索解空间的方法，它与回溯法的主要区别在于对E-节点的扩充方式。每个活节点有且仅有一次机会变成E-节点。当一个节点变为E-节点时，则生成从该节点移动一步即可到达的所有新节点。在生成的节点中，抛弃那些不可能导出（最优）可行解的节点，其余节点加入活节点表，然后从表中选择一个节点作为下一个E-节点。从活节点表中取出所选择的节点并进行扩充，直到找到解或活动表为空，扩充过程才结束。 分枝定界-方法 有两种常用的方法可用来选择下一个E-节点（虽然也可能存在其他的方法）： 1) 先进先出（F I F O）即从活节点表中取出节点的顺序与加入节点的顺序相同，因此活节点表的性质与队列相同。 2) 最小耗费或最大收益法在这种模式中，每个节点都有一个对应的耗费或收益。如果查找一个具有最小耗费的解，则活节点表可用最小堆来建立，下一个E-节点就是具有最小耗费的活节点；如果希望搜索一个具有最大收益的解，则可用最大堆来构造活节点表，下一个E-节点是具有最大收益的活节点。 分枝定界-例子 例5-1 【迷宫老鼠】考察图16-3a 给出的迷宫老鼠例子和图1 6 - 1的解空间结构。使用F I F O分枝定界，初始时取（1，1）作为E-节点且活动队列为空。迷宫的位置（1 , 1）被置为1，以免再次返回到这个位置。（1，1）被扩充，它的相邻节点（1，2）和（2，1）加入到队列中（即活节点表）。为避免再次回到这两个位置，将位置（1，2）和（2，1）置为1。此时迷宫如图1 7 - 1 a所示，E-节点（1，1）被删除。 节点（1，2）从队列中移出并被扩充。检查它的三个相邻节点（见图1 6 - 1的解空间），只有（1，3）是可行的移动（剩余的两个节点是障碍节点），将其加入队列，并把相应的迷宫位置置为1，所得到的迷宫状态如图17-1b 所示。节点（1，2）被删除，而下一个E-节点（2，1）将会被取出，当此节点被展开时，节点（3，1）被加入队列中，节点（3，1）被置为1，节点（2，1）被删除，所得到的迷宫如图17-1c 所示。此时队列中包含（1，3）和（3，1）
运筹学课程概述
1.研究对象 主要研究经济活动和军事活动中能用数量来表达的有关策划、管理方面的问题。随着客观实际的发展，也应用于日常生活问题的解决。 2.运筹学的分支 运筹学的具体内容包括：规划论（包括线性规划、整数规划、非线性规划和动态规划）、图论、排队论、存储论、对策论、决策论。 3.运筹学各分支的求解方法 规划论： 线性规划—单纯形法、表上作业法 整数规划—分支定界法、割平面法、匈牙利法 非线性规划—梯度法（最速下降法、共轭梯度法）、可行方向法、制约函数法 动态规划—逆推解法、顺推解法 图论： 最短路径法、寻求最大流的标号法 决策论： 决策树 4.方法适用范围及特点 5.分支应用领域及具体应用问题 规划论： 应用领域：用电子计算机来处理成千上万个约束条件和变量的大规模线性规划问题，从解决技术问题的最优化，到工业、农业、商业、交通运输业以及决策分析部门都可以发挥作用。 具体问题：计划管理工作中有关安排和估值的问题，解决的主要问题是在给定条件下，按某一衡量指标来寻找安排的最优方案。它可以表示成求函数在满足约束条件下的极大极小值问题。 图论： 应用领域：网络技术 具体问题：最短路、网络最大流、最小费用最大流、中国邮递员问题、完成工程任务的时间最少，距离最短，费用最省 存储论： 应用领域：生产日常生活活动中与存储量有关的问题 具体问题：水电站蓄水问题、工厂生产原料储存、机器制造中工序中生产备件、商店商品储存 对策论： 应用领域：政治、经济、军事活动 具体问题：下棋、打牌、体育比赛；谈判；战争。
决策论： 应用领域：政治、经济、技术 具体问题：企业决策问题、人事管理 5.1市场销售 在广告预算和媒体的选择、竞争性定价、新产品开发、销售计划的制定等方面。 5.2生产计划 在总体计划方面主要是从总体确定生产、储存和劳动力的配合等计划以适应变动的需求计划，主要用线性规划和仿真方法等。此外，还可用于生产作业计划、日程表的编排等。还有在合理下料、配料问题、物料管理等方面的应用。 5.3库存管理 存货模型将库存理论与计算器的物料管理信息系统相结合，主要应用于多种物料库存量的管理，确定某些设备的能力或容量，如工厂的库存、停车厂的大小、新增发电设备容量大小、计算机的主存储器容量、合理的水库容量等。 5.4运输问题 这里涉及空运、水运、公路运输、铁路运输、捷运、管道运输和厂内运输等。包括班次调度计划及人员服务时间安排等问题。 5.5财政和会计 这里涉及预算、贷款、成本分析、定价、投资、证券管理、现金管理等。用得较多的方法是：统计分析、数学规划、决策分析。此外，还有盈亏点分析法、价值分析法等。 5.6人事管理 这里涉及六方面。(1)人员的获得和需求估计；(2)人才的开发，即进行教育和训练；(3)人员的分配，主要是各种指派问题；(4)各类人员的合理利用问题；(5)人才的评价，其中有如何测定一个人对组织、社会的贡献；(6)薪资和津贴的确定等。 5.7设备维修、更新和可靠度、项目选择和评价 如电力系统的可靠度分析、核能电厂的可靠度以及风险评估等。 5.8工程的最佳化设计 在土木、建筑、水利、信息、电子、电机、光学、机械、环境和化工等领域皆有作业研究的应用。 5.9计算器和讯息系统 可将作业研究应用于计算机的主存储器配置，研究等候理论在不同排队规则对磁盘、磁鼓和光盘工作性能的影响。有人利用整数规划寻找满足一组需求档案的寻找次序，利用图论、数学规划等方法研究计算器讯息系统的自动设计。 5.10城市管理 包括各种紧急服务救难系统的设计和运用。如消防队救火站、救护车、警车等分布点的设立。美国曾用等候理论方法来确定纽约市紧急电话站的值班人数。加拿大亦曾研究一城市警车的配置和负责范围，事故发生后警车应走的路线等。此外，诸如城市垃圾的清扫、搬运和处理；城市供水和污水处理系统的规划......等等
分支定界法原理简介
分支定界法原理简介 分支定界法是一种广义搜索算法，人工使用非常繁琐，但由于计算机的运算速度快的特点，这种算法十分适合计算机进行。分支定界法是计算机最擅长的广义搜索穷举算法。 基本思想： 1. 松弛模型的最优解要优于其相应的整数规划的解 由于松弛模型可行解的区域（多边形）包含了对应的整数规划的可行解的集合（多边形内的整数点），因而松弛模型的解要优于整数规划的解。这就是说，如果问题是求最大值的，则松弛模型最优解对应的目标函数值必大于或等于整数规划最优解对应的目标函数值；如果问题是求最小值的，则松弛模型的最优解对应的目标函数值必小于或等于整数规划最优解对应的目标函数值。由此可以推出： 2. 松弛模型的最优解如果是整数解，则必然也是整数规划的最优解。 3. 松弛模型的最优解如果不是整数解，则如果问题是求最大值的，松弛模型最优解的目标函数值是整数规划最优解目标函数值的一个上界；如果问题是求最小值的，则松弛模型最优解的目标函数值是整数规划最优解目标函数值的一个下界。 我们用例子来说明用分支定界法求解整数规划的步骤。 例 求下面整数规划的最优解 12 12121212max 4090s.t. 9756 72070 ,0 x ,Z x x x x x x x x x =++≤+≤≥为整数 解 从上述各约束条件可见，是一个可行解，对应的松弛模型目标函数值。本问题是一个求最大值的问题，因而整数规划最优解的目标函数的下界可以取为0，即取整数规划模型最优值的下界(0,0)0Z =0Z =。 先考虑此整数规划问题的线性松弛模型0： 其解为 松弛模型0 012356 4.811.82 Z x x === 由于松弛模型解的目标函数值是整数规划模型最优值的一个上界，可以取此处的0Z 为整数规划模型最优值的一个上界356Z =。由于该松弛模型解不是整数 解，分原问题为和两个子模型：子模型1和子模型2。 14x ≤15x ≥
分支定界法
分支定界法 求解整数规划时，如果可行域是有界的,首先容易想到的方法就是穷举变量的所有可行的整数组合，对于变量数较小的情况，这种方法是可行的，也是有效的。对于大型问题,可行的整数组合数是很大的，穷举法是不可取的。我们一般仅检查可行的整数组合的一部分,就能定出最优的整数解。分支定界法(branch and bound method)就是其中一种。分支定界法可用于解纯整数或混合的整数规划问题。在20世纪60年代由Land Dakin和Dakin等人提出。由于这方法灵活且便于计算机求解，所以现在它已是解整数规划的重要方法。 设有最大化的整数规划问题A，与它相应的线性规划为问题B，从解问题B 开始，若其最优解不符合A的整数条件，那么B的最优目标函数必是A的最优目标函数*z的上界,记作z;而A的任意可行解的目标函数值将是*z的一个下界Z。分枝定界法就是将B的可行域分成子区域(称为分支)的方法，逐步减小z和增大Z, 最终求到*z。 下面以实例来说明算法的步骤： 例1 求解下面整数规划 解：先不考虑条件⑸，求解相应的线性规划问题L，得最优解 x=4.81，2x=1.82，0z=356（见图） 1 x=4.81，对问题L分别增加约束条件：该解不是整数解。选择其中一个非整数变量，如 1 ≤4，≥5 将问题L分解为两个子问题，（分枝），也就是去掉问题L不含整数解的一部分可行域，将原可行域D变为、两部分（如图）
因为没有得到整数解，所以继续对L1进行分解，增加约束：≤2，≥3 将分解成问题与，并求得最优解如下： 问题的解已是整数解，它的目标值=340，大于问题L4的目标值，所以问题已无必要再分枝。但由于问题的目标值大于，分解还有可能产生更好的整数解，因此继续对分枝。增加约束≤1，≥2 将分解成问题与，并求解，结果如下： 问题的，所以不必分解了；问题无可行解，于是可以断定问题的解：=4.00，=2.00即为最优整数解。 整个分枝定界过程如下图所示： 用分枝定界法求解整数规划的步骤可总结如下： 步骤1：求解与整数规划相对应的线性规划L，若L无可行解，则整数规划也没有可行解，计算停；若L 的最优解是整数解，则该解即为整数规划的最优解，计算停；若L的最优解不是整数解，则转步骤2。