运筹学—整数规划.ppt

作业：教材P76T7，81.理解分枝与定界的含义2.选择合适的“枝”生“枝”3.掌握何时停止生“枝”4.领会割平面法的基本原理5.分离源行，求出Gomory约束6.在最优表中增加Gomory约束，用对偶单纯形法迭代3.2纯整数规划的求解SolvingPureIntegerProgramming下一节：0－1规划的求解3.30－1规划的求解SolvingBIP3.3.1求解0－1整数规划的隐枚举法隐枚举法的步骤：1.找出任意一可行解，目标函数值为Z02.?原问题求最大值时，则增加一个约束当求最小值时，上式改为小于等于约束3.列出所有可能解，对每个可能解先检验式（*），若满足再检验其它约束，若不满足式（*），则认为不可行，若所有约束都满足，则认为此解是可行解，求出目标值4.目标函数值最大（最小）的解就是最优解3.30－1规划的求解SolvingBIP【例3.7】用隐枚举法求解下列BIP问题【解】（1）不难看出，当所有变量等于0或1的任意组合时，第一个约束满足，说明第一个约束没有约束力，是多余的，从约束条件中去掉。还能通过观察得到X0＝(1，0，0，1)是一个可行解，目标值Z0＝11是BIP问题的下界，构造一个约束：，原BIP问题变为3.30－1规划的求解SolvingBIP*Ch3整数规划IntegerProgramming??制作与教学武汉理工大学管理学院熊伟xiongw@mail.whut.edu.cnPage*3.1整数规划数学模型MathematicalModelofIP3.2纯整数规划的求解SolvingPureIntegerProgramming3.30－1规划的求解SolvingBinaryIntegerProgrammingChapter3整数规划IntegerProgramming运筹学OperationsResearch3.1整数规划数学模型MathematicalModelofIP一个规划问题中要求部分或全部决策变量是整数，则这个规划称为整数规划。当要求全部变量取整数值的，称为纯整数规划；只要求一部分变量取整数值的，称为混合整数规划。如果模型是线性的，称为整数线性规划。本章只讨论整数线性规划。很多实际规划问题都属于整数规划问题1.变量是人数、机器设备台数或产品件数等都要求是整数2.对某一个项目要不要投资的决策问题，可选用一个逻辑变量x，当x=1表示投资，x=0表示不投资；3.人员的合理安排问题，当变量xij=1表示安排第i人去做j工作，xij=0表示不安排第i人去做j工作。逻辑变量也是只允许取整数值的一类变量。3.1整数规划的数学模型MathematicalModelofIP【例3.1】某人有一背包可以装10公斤重、0.025m3的物品。他准备用来装甲、乙两种物品，每件物品的重量、体积和价值如表3-1所示。问两种物品各装多少件，所装物品的总价值最大？表3-1【解】设甲、乙两种物品各装x1、x2件，则数学模型为：(3.1)3.1整数规划的数学模型MathematicalModelofIP430.0020.00251.20.8甲乙价值(元/每件)体积（m3/每件）重量（公斤/每件）物品如果不考虑x1、x2取整数的约束（称为（3.1）的松弛问题），线性规划的可行域如图3-1中的阴影部分所示。3.1整数规划的数学模型MathematicalModelofIP图3-1用图解法求得点B为最优解：X＝(3.57，7.14)，Z＝35.7。由于x1，x2必须取整数值，实际上整数规划问题的可行解集只是图中可行域内的那些整数点。用凑整法来解时需要比较四种组合，但（4，7）、（4，8）（3，8）都不是可行解，（3，7）虽属可行解，但代入目标函数得Z=33,并非最优。实际上问题的最优解是（5，5），Z=35。即两种物品各装5件，总价值35元。由图3－1知，点（5，5）不是可行域的顶点，直接用图解法或单纯形法都无法求出整数规划问题的最优解，因此求解整数规划问题的最优解需要采用其它特殊方法。还有些问题用线性规划数学模型无