可集成规划案例研究.doc

运筹学难点辅导材料 整数规划补例 1、对（IP）整数规划问题，问用先解相应的线性规划然后凑整的办法能否求到最优整数解？再用分支定界法求解。 解 先不考虑整数约束，得到线性规划问题（一般称为松弛问题LP） 用图解法求出最优解且。 如用“舍入取整法”凑整可得到四个点，即（1，3）、（2，3）、（1，4）、（2，4）。代入约束条件发现他们都不是可行解。可将可行域内的所有整数点一一列举（完全枚举法），本例中（2，2）、（3，1）点为最大值。 令及最优值。可行域记为D，显然不是整数解。 定界：取，再用视察法找一个整数可行解及，取，即 分支：（关键点，在B的最优解中任选一个不符合整数条件的变量，其值为，构造两个约束条件，这里用了取整函数呵！）任取最优解中一个不为整数的变量值，例如，根据，构造两个约束条件，形成下面两个子问题（IP1）和（IP2） 解（IP1）和（IP2），得最优解分别为和，这两个都不是符合整数条件的可行解。 修改上下界：根据个分支的最优解，可取新的上界， 再分支：由于，故先对（IP2）进行分支，取，根据，构造两个约束条件，形成下面两个子问题（IP3）和（IP4）。 解相应的松弛问题（IP3）和（IP4），得（IP4）无可行解，（IP3）的最优解为。 在考虑（IP1），由（IP1）的最优解，取，根据，构造两个约束条件，形成下面两个子问题（IP5）和（IP6），得（IP6）无可行解，（IP5）的最优解为。 在修改上下界：根据上述两个最优解的情况，有 再分支：由（IP3）的最优解，取，根据，构造两个约束条件，形成下面两个子问题（IP7）和（IP8） ，得（IP7）的最优解为，（IP8）的最优解为。 重新定界：由于的最优解为为整数解，且，故 2、对整数规划问题，问用先解相应的线性规划然后凑整的办法能否求到最优整数解？ 解 用单纯形法解对应的LP问题，求到最优解 当凑为时，为可行解，；当凑为时，为非可行解； 当凑为时，为非可行解；当凑为时，为非可行解； 下面用分支定界法来解整数规划问题。令，显然为可行解，从而。将原问题分解为下面两个子问题（用分支，复杂些，不妨去试试！） （IP1）和（IP2） （IP1）的最优解为和（IP2）的为 因为，所以，且为整数，则为最优解。 3、用割平面法求解 解 引入松弛变量和人工变量及一个充分大的数，先解一个大问题： 作初始单纯形表，并进行迭代运算 3 -1 0 0 0 CB 基XB 常数 0 3 3 * -2 1 0 0 0 10 5 4 0 -1 0 1 0 5 2 1 0 0 1 0 ，检. 0 0 0 0 3 1 1 -2/3 1/3 0 0 0 5 0 22/3 * -5/3 -1 0 1 0 3 0 7/3 -2/3 0 1 0 ，检 0 0 0 0 3 16/11 1 0 2/11 -1/11 0 1/11 -1 15/22 0 1 -5/22 -3/22 0 3/22 0 31/22 0 0 -3/22 7/22 * 1 -7/22 ，检 0 0 -17/22 0 3 13/7 1 0 1/7 0 2/7 0 -1 9/7 0 1 -2/7 0 3/7 0 0 31/7 0 0 -3/7 1 22/7 -1 ，检 0 0 -3/7 0 略去人工变量，得最终单纯形表 3 -1 0 0 0 CB 基XB 常数 3 13/7 1 0 1/7 0 2/7 -1 9/7 0 1 -2/7 0 3/7 0 31/7 0 0 -3/7 1 22/7 检 0 0 -5/7 -3/7 再略去松弛变量，最优解为，显然不是整数规划的最优解。引进以行为源行的割平面，即，再将变形代入得（该割平面确实割去了松弛问题最优解为，但未割去原问题的任一整数可行点。） 引入松弛变量，化为写入上表，得 3 -1 0 0 0 0 CB 基XB 常数 3 13/7 1 0 1/7 0 2/7 0 -1 9/7 0 1 -2/7 0 3/7 0 0 31/7 0 0 -3/7 1 22/7 0 0 -6/7 0 0 -1/7 0 -2/7 * 1 ，检 0 0 -5/7 0 -3/7 0 3 1 1 0 0 0 0 1 -1 0 0 1 -1/2 0 0 3/2 0 -5 0 0 -2 * 1 0 11 0 3 0 0 1/2 0 1 -7/2 ，检 0 0 -1/2 0 0 -3/2 3 1 1 0 0 0 0 1 -1 5/4 0 1 0 -1/4 0 -5/4 0 5/2 0 0 1 -1/2 0 -11/2 0 7/4 0 0 0 1/4 1 -3/4 检验数 0 0 0 -1/4 0 -17/4 再略去松弛变量，最优解为，显然仍不是整数规划的最优解。继续作割平面，以行为源行的