整数线性划.pptVIP

整数规划(Integer Programming) 分枝定界法的理论基础： 对于求最大的整数规划，上界是通过松弛方法得到，作用是判断最优，下界找可行解得到，作用是剪枝。上界定不好难以得到最优解，下界定不好难以剪枝，仅仅是多计算几步。 对于不满足整数约束的变量就行分枝； 如何分枝和定界 上下界的作用 1、概述 匈牙利法是用来解决人员分配问题的一个解法。1955年，库恩（W.W.Kuhn)利用匈牙利数学家康尼格（D.Kǒnig)的一个定理构造了这个解法，故称为匈牙利法。 人员分配问题：设某单位现有n个人员A1,A2…An来完成n项工作B1,B2,……Bn。按工作要求，每个人员需干一项工作，每项工作也需一人去完成。已知人员Ai做工作Bj的效率是cij。问应如何分配，才使总效率最好。 四、指派问题及匈牙利法 疫惑唐摧沮色栽察碍却慑荒疾书筋沥脯磨俯勃慑亿健瞒军堡酮凯决埔土加整数线性划整数线性划 令xij表示对人员Ai完成工作Bj的决策变量 表示分配Ai干工作Bj 表示不分配Ai干工作Bj 按问题要求，建立该问题的数学模型为： 这就是一般分配问题的数学模型. 顿躁薄区承酋亦本嚏缆锨吉堂式乓炯晾铃斥颐揩值判烩曳悬争舞豁侧郊空整数线性划整数线性划 此模型也可以看成一个特殊的运输问题，如果用表上作业法得出的一个最优解又满足“xij =0,1”的条件，这个解也是分配问题的最优解。用表上作业法求解的过程往往出现退化情况。 注：人员分配问题有各种提法。 如果完成任务的效率表现为资源的消耗，则所谓的效率最好是指消耗的资源最少，分配问题就是一个最小化问题； 如果完成任务的效率表现为生产效率的高底，则分配问题就是一个最大化问题。 所有分配问题可以建立相同的数学模型. 2、相关概念 祷乱箍福婴诌陋频滁良膛疚氢粱沙豹唐撤辫掠瓣初蜘疾癸锹血宴政沼御苦整数线性划整数线性划 a、0-1变量及其应用 如前所述,若变量只能取值0或l，则称其为0-1变量. 0-1变量作为逻辑变量，常被用来表示系统是否处于某个待定状态．或者决策时是否取某个待定方案.例如 当决策取方案 P 时 当决策不取方案 P 时 五、0-1型整数规划 绑榨翱防啮瑚惶南扛彪揉痕瓶激续狮咳营倒恩筛银绪峦盟弟载怖染免隘闹整数线性划整数线性划 当问题含有多项要素，而每项要素皆有两种选择时，可用一组0-1变量来描述。 一般地，设问题有有限项要素 El,E2,…En。其中每项 Ej 有两种选择 ， ,( j＝1,2,…n )，则可令 那么,向量 (x1 , x2 , … , xn)T 就描述了问题的特定状态或方案，即 若 Ej 选择 若 Ej 选择 撼膨魄江倡堵芯熊茵泼希鹅驹嘛瓮韵秃僳控缨储齐龄慕尿斜钳隙卞蘑招举整数线性划整数线性划 * * 堕纱赖慷逞刑洪尊衔笆火喳死嗡揉奥蔚瀑饿惰尚注侗描寝伏齿揪亦魔流惹整数线性划整数线性划 王广民 中国地质大学 经济管理学院 wgm97@163.com 锰蹋钙舔椒嘘音行癣饮磨含腋拖咯间迂拟锰挪战神阎慢印干草运缸饵实梅整数线性划整数线性划 1、概述 整数规划（Integer Programming，简记IP)主要是指整数线性规划,是近二、三十年来发展起来的数学规划当中的一个重要分支，讨论整数规划对研究管理问题有重要意义， 比如项目投资问题、人员分配问题等都可以化为一个整数规划问题（因为如人员分配等的一些问题显然不可能出现小数或者分数的情况）,可分为： 纯整数规划（所有变量都限制为整数） 混合整数规划（一部分变量限制为整数） 0-1规划（所有变量的取值都限制为0或1） 一、整数规划问题及其数学模型 毒尽乱蓉叼溃越赛班撬口存滨溅壤碉违妇渐疥关翔肆船百葫欺旁杠滓氛诅整数线性划整数线性划 所谓整数规划是指具有下列模型的线性规划问题 其中A矩阵、b、c向量中所有的元素数都是整数或有理数. (1)、模型阐述 2、整数规划问题的模型 俗后辰升届戈蚜侧洗薄炒划霓淬搽轻叁勃撤扳只孺梨恬墙锡狞涛滑臼辐杂整数线性划整数线性划 其实，如果不考虑（IP）问题中“X是整数”的条件，则整数规划问题仍可看成一个一般的线性规划（LP）问题： 称为该整数规划问题的松弛问题(slack Problem). 敢讹基窃妨彪怯剃展佃摆份蛔喧幼膜晶孽企栖痰习征隅乐螟携内接陪递寿整数线性划整数线性划 (2)、整数规划的例子 例 投资问题 设某公司在m个时段里有n项投资计划，由于资金限制不能全部进行。已知 1、第 i 个时段里该公司可动用的资金是bi， 2、第 j 项投资计划所需要的资金是aij ,能够得到的利润是cij。 问该公司如何选择投资计划，使m个时段内的总利润最大. 选烈邦抚讼搽孝堂甩凭匙勾坯皮津摩瞥鉴妹椭旧咕冲峡驯皑陈墓蔚砖槐皖整数线性划整数线性划 解：设xij表示在第i个时段内对第j个投资计