运筹学本科-整数规划.ppt

整数规划 Integer Programming（IP） 第五章 整数规划 整数规划 Integer Programming（IP） 整数规划的数学模型及解的特点 整数规划数学模型的一般形式 整数规划 Integer Programming（IP） 整数规划的数学模型及解的特点 整数规划问题的类型 纯整数线性规划——pure integer linear programming：全部决策变量都必须取整数值。 混合整数线性规划——mixed integer linear programming：决策变量中一部分必须取整数值，另一部分可以不取整数值。 0-1型整数线性规划——zero-one integer linear programming：决策变量只能取值 0 或 1 。 整数规划 Integer Programming（IP） 整数规划的例子 例1、Page 124 工作时间和人员安排问题 例2、Page 124 投资项目选择问题 例3、Page 125 建厂选址问题 整数规划 Integer Programming（IP） 整数规划问题的求解方法 分支定界法branch and bound method 分支定界法是一种隐枚举方法（implicit enumeration）或部分枚举方法，它不是一种有效的算法，是枚举方法基础上的改进。其关键是分支和定界。 例—— 整数规划 Integer Programming（IP） 整数规划问题的求解方法 分支定界法图解整数规划 整数规划 Integer Programming（IP） 整数规划问题的求解方法 分支定界法图解整数规划 整数规划 Integer Programming（IP） 整数规划问题的求解方法 分支定界法图解整数规划 整数规划 Integer Programming（IP） 整数规划问题的求解方法 分支定界法图解整数规划 整数规划 Integer Programming（IP） 整数规划问题的求解方法 割平面法cutting plane approach 割平面法求解整数规划问题时，若其松驰问题的最优解 X* 不满足整数要求时，则从 X* 的非整分量中选取一个，用以构造一个线性约束条件（Gomory 割平面），将其加入原松驰问题中，形成一个新的线性规划，然后求解之。其关键在于新增加的这个线性约束条件将切割掉部分非整数解，至少将当前松驰问题的非整数最优解切割掉了，而不会切割掉问题的任何整数解。 整数规划 Integer Programming（IP） 整数规划问题的求解方法 割平面法cutting plane approach 构造切割方程的步骤： 1、令 xi 是相应松驰问题的最优解中为非整数值的一个基变量，由单纯形表最终表得： xi + ∑aik xk = bi ……………………（1 式） 其中 i ∈Q （Q 指非基变量下标集） k ∈K （K 指基变量下标集） 整数规划 Integer Programming（IP） 整数规划问题的求解方法 割平面法cutting plane approach 构造切割方程的步骤： 2、将 bi 和 aik 都分解成整数部分 N （不超过 b 的最大整数）与非负真分数部分 f 之和，即： bi = Ni + fi ， 其中 0 ＜ fi ＜ 1 ………（2 式） aik = Nik + fik ，其中 0 ≤ fik ＜ 1 例如：若 b = 2.35 ，则 N = 2 ，f = 0.35； 若 b = -1.45 ，则 N = -2 ，f = 0.55 整数规划 Integer Programming（IP） 整数规划问题的求解方法 割平面法cutting plane approach 构造切割方程的步骤： 2、将（2 式）代入（1 式）得： xi + ∑ Nik xk - Ni = fi - ∑ fik xk ……………………（3 式） 3、提出变量为整（当然含非负）的条件： 由于（3 式）中等式左边需整，而 0 ＜ fi ＜ 1 ，故有 fi - ∑ fik xk ≤ 0 ……………………（4 式） 此即为所需切割方程。 整数