数据模型与决策-第七章7272.pptx

第七章整数线性规划主要内容整数线性规划的分类1全整数线性规划的图解与计算机解法23含有0-1变量的整数线性规划的应用0-1整数变量在建模过程中的灵活性分析47.1 整数线性规划的分类整数线性规划 有这样一类问题，这类问题可以被构建成线性规划模型，并且其中至少有一个变量是整数。这类问题称作整数线性规划（integer linear program）。全整数线性规划 在线性规划问题中，如果所有变量均为整数，就称其为全整数线性规划（all-integer linear program）。 下面是一个含有两个整数变量的全整数线性规划模型。 max 2X1+3X2 s.t. 3X1+3X2≤12 2/3X1+1X2≤4 1X1+2X2≤6 X1, X2≥0, 且为整数LP松弛：去掉整数要求后得到的线性规划称作整数线性规划的LP松弛（LP Relaxation）。7.1 整数线性规划的分类混合整数线性规划在线性规划问题中，如果只有一部分量是整数而非全部都是，则称作混合整数线性规划（mixed-integer linear program）。 max 3X1+4X2 s.t -1X1+2X2≤8 1X1+2X2≤12 2X1+1X2≤16 X1, X2≥0, 且X2为整数去掉“X2为整数”这个条件后，我们得到此混合整数线性规划的LP松弛7.1 整数线性规划的分类0-1整数线性规划 在应用整数线性规划时，经常要求变量等于0或1，这些变量称为0-1变量或二进制变量。如果所有变量均为0-1变量，这类规划被称作0-1整数线性规划（0-1 linear program）。 使用0-1变量可以使线性规划很灵活、很容易求解。7.2 全整数线性规划的图解法与计算机解法 伊斯特伯恩房地产公司有200万美元可用于购买新的租赁财产。经过筛选，公司已将投资项目的方案减少为连体别墅和公寓楼。每套连体别墅售价为282 000美元，现有5套空置。每幢公寓楼售价400 000美元，而且开发商可以根据伊斯特伯恩的需要数量建房。 伊斯特伯恩的财产经理每月可以有140小时用来处理这些新置的财产，其中，每套连体别墅预计每月要花4小时，每幢公寓楼预计每月40小时。扣除抵押偿还和经营成本后，年现金流量预计为：每套连体别墅10 000美元；每幢公寓楼15 000美元。伊斯特伯恩的股东想知道在保证年现金流量最大的要求下，购买连体别墅和公寓楼的数量。7.2伊斯特伯恩房地产公司案例 定义决策变量如下： T——连体别墅的数量； A——公寓楼的数量。 全整数线性规划模型： max 10T+15A s.t 282T+400A≤2 000可用资金（1000美元） 4T+ 40A≤ 140管理者的时间（小时） T ≤ 5可得连体别墅 T, A≥0, 且为整数。7.2.1 LP松弛的图解法去掉T和A为整数的条件，运用第2章中的图解步骤得下图。即T=2.479套连体别墅，A=3.252幢公寓楼。目标函数的最优值为73.574 。由于T和A非整数，所以需要进一步分析。7.2.2 近似整数解的获得 大多数情况下，可以通过使用本节的方法来求得可接受的整数解。例如，某生产进度问题求得的线性规划结果可能要求生产15 132.4箱谷类食品。其近似结果为15 132箱，而该近似解对目标函数的值及其结果的可行性只产生极小的影响。因此，近似是较好的方法。实际上，只要近似对目标函数的约束条件只产生极小的影响，大多数管理者都可以接受。此时，近似解就够了。 然而，近似并不是万能的方法。当决策变量取很小的数值就对目标函数的值和结果的可行性产生较大的影响时，就需要一个最优的整数解。7.2.2 近似整数解的获得——伊斯特伯恩公司 重新检验一下伊斯特伯恩公司问题中的近似解。伊斯特伯恩房地产问题LP松弛后的最优结果是T=2.479套连体别墅，A=3.252幢公寓楼。由于每套连体别墅售价282 000美元，每幢公寓楼售价400 000美元，如果近似得到一个整数解，将会对这个问题产生重大的经济影响。 假设我们把LP松弛的解近似到整数：T=2，A=3。于是目标函数值为：10×2+15×3=65。而65 000美元的年现金流量比LP松弛的结果73 754美元少很多。 对其他近似方法的研究表明：整数结果T=3，A=3不可行，因为这样资金就超过了伊斯特伯恩公司现有的2 000 000美元；同理，T=2，A=4也不可行。在这样的情况下，近似得到此问题的最可行的整数结果：2套连体别墅，3幢公寓楼和65 000美元的现金流量。但是，我们并不知道这一结果是否为该问题的最优整数结果。7.2.2 近似整数解的获得 近似到整数解是一个反复试验的方法。每一个近似解都必须经过可行性检查和对目标函数值