线性规划理论与模型应用04.pptVIP

主要内容 整数规划问题就是决策变量取整数值的线性或非线性规划，由于非线性整数规划目前还没有一般解法，因此本章仅讨论整数线性规划。在第一章例4中的截料问题即是一个整数线性规划问题。整数线性规划问题又可分为： 纯整数(全整数) 所有决策变量均要求取整数； 混合整数 部分决策变量要求取整数； 纯0-1规划 所有决策变量均要求取0或1； 混合0-1规划 部分决策变量要求取0或1。 整数规划问题的松弛问题是指在整数规划中去掉整数性约束后的线性规划问题，求解整数规划常常借助于松弛问题。 在本章中我们用Z表示整数集合； 整数规划模型及穷举法 一. 整数规划模型 例4.1 某厂生产甲、乙两种大型设备，生产中所需物质A、B限制如下表所示，其他所需物质和零件充足，问各生产甲、乙设备多少台，利润最大？ 解：设x1，x2分别为生产甲、乙设备的台数，z为总利润，则 整数规划模型及穷举法 整数规划模型及穷举法 例4.4(选址问题) 某种商品有n个销售地，各销售地每月的需求量分别为bj吨(j=1,2,…,n)。现拟在m个地点选择建厂，用来生产这种产品以满足供应，且规定一个地址最多只能建一个工厂，若选择第i个地址建厂将来生产能力为ai吨，每月的生产成本为di元(i=1,2,…,m)。已知从第i个工厂至第j个销售地的运价为cij元/吨。应如何选择厂址和安排调运，可使总的费用最小? 解：设每月从第i厂至第j个销地的运量为xij吨，z为每月的总费用， 设 整数规划模型及穷举法 则该问题的数学模型为： 整数规划模型及穷举法 二.穷举法 类似于线性规划的图解法，对于二维线性整数规划问题，也可以用图解法—穷举法。用穷举法求解例4.1 整数规划模型及穷举法 2) 找出松弛问题的解x=(9/4，15/4)，过最优点做目标函数的等值线，令该等值线向可行域内保持平行移动，首先遇到的格点就是最优整数解! 4.2 分支定界法 整数规划问题的分支定界法可以求解全整数规划和混合整数规划问题，其基本思想可描述为： 首先求解相应的松弛问题； 如果最优解不是整数解，将问题的可行域分为两部分，就是进行分支； 分别求解这两个分支可行域中的整数规划问题，对两个分支重复这一分支过程，…，当某个分支的解是整数解时，将此解的目标函数值作为一个界，就是进行定界； 在求解每个分支问题时，如果松弛问题无可行点或目标函数值小于所定的界(极小问题)，这一分支终止，否则继续求解并继续分支。 此求解过程可用一个二叉树描述，原问题的松弛问题是树根，两分支是左右子树，终止分支的子问题是树叶。 分支定界法 首先引入符号[s]表示对s 向下取整，s=s - [s]表示 s的小数部分。 考虑如下整数规划问题 分支定界法 例4.1的整数规划问题的求解过程。 分支定界法 考虑两问题的可行 域，P1的最优点是 x(1)=(2,35/9)T， P2的最 优点是x(2)=(3,3)T。显然 x(1)不是整数解，而x(2)是 整数解，得出例4.1的一 个整数解。 定界：当得到一个整数 解后可对原问题进行定 界。 分支定界法 考虑两问题的可行域如图： P3的最优点是(2,3)T，目标 函数值是10+18=2833，停止分 支； P4的最优点是(9/5,4)T,目标 函数值是9+24=33 继续分支， 得如下两问题。 分支定界法 考虑两问题的可行域如图： P5的最优点(1,40/9)T，目标 函数值是5+80/333，停止 分支； P6可行域为空，也停 止继续分支。从而例4.1的最 优解是：最优点(3,3),最优目 标函数值33。 分支定界法 例4.1的求解过程可用下图表示 分支定界法 一般整数规划的求解过程可用单纯形表格方式实现，首先 求出P0的最优解，得到P0的最终单纯形表格(变为最大值问 题) 。 分支定界法 将P1变为标准型 分支定界法 作业 P145 5 4.3 割平面法 整数规划问题割平面法的基本思想首先求解对应的松弛问题，如果松弛问题的解是整数解，则其也是原整数规划问题的解。如果松弛问题的解不是整数解，则根据当前解的信息构造一个线性方程(称其为割平面方程)，将松弛问题的可行域切割去一部分不包含整数点的区域，然后继续求解新的松弛问题。通过不断增加割平面方程，使可行域不断缩小，直到求出整数解或可行域为空而断定问题无整数解。 分支定界法将松弛问题的可行域一分为二； 割平面法在可行域中切除掉一部分不包含整数点的区域。 割平面法 割平面方程的导出 考虑如下整数规划问题 割平面法 代入原方程中， 得 割平面法 原松弛问题的最优解x*不满足新的割平面方程，显然将x*代入该方程，有fi ≤ 0，与fi 0矛盾，从而割平面方程切割掉了x*及附近的可行区