57.4分枝定界算法 0≤x≤1 为整数对一切， x为整数 至此，问题已成为一个线性0-1规划问题， §7.4分枝定界算法 求解整数规划问题比较成功的方法是分枝定界算法.这种算法，可以解纯整数规划 问题和混合格数规问题 这个算法的步骤是先不考虑整数约束条件求出相应线性规划问题的最优解，如果这 个解满足已定的整数约束，它就是整数规划问题的最优解.如果有一个或多个整数约束未 被满足，就任选一个应是整数而不是整数解的变量工，设它的解是，不是整数定义 是小于的最大整数，将原问题分成两枝.一枝是原问题约束条件加xk≤⑦]构成，另 一枝是原问题约束条件加≥⑦】+1构成.解这两个分枝的新线性规划问题。对不满足 原问题整数约束的新问题，再按上述办法进行新的分枝，直到发生下面所说的情况才停止 分枝我们仍用本章的例1来说明。表7一1为例1的不考虑整数约束最优单纯形表 表7-1 64000 CB 2 6 0 6 ci-zi 00-元-0 这个问题的相应线性规划问题的最优解是x1=多，2=2，工1不符合整数约束]= 2,将原问题分别加上1≤2和1≥3就构成两个子问题为描述方便，构造一个树形图 原问题为出发节点1，向下分成两枝，如图7-4. 图7-4 图7-5 现在画出原问题及新加约束条件的图解，如图7-5.图中，区域α表示第1个子间题 的可行域区域b表示第2个子问题的可行域.画阴影的区域（不包括边界线）排除在两 个子问题的可行域之外，但它不包含1为整数的解，这样就不会在解两个子何题时把最 优可行解遗漏掉§7.4 Ø✁Ù✁Ú✁Û✁Ü☎Ý 7 0 ≤ x 0 ≤ 1, xj▲✌✴✦ , ❩ ✩✁❞j, x 0▲✌✴✦ . s✌❨, ✭✌✮❿Ø✾ ▲✌✩✌➡✏✌✑ 0–1 ✒✌✓✭✌✮. §7.4 Þ✤ß✤à✤á✤â✡➽ ✱✖ ✴✦❭✒❭✓✭❭✮➥ã➧ä✾✖å❭✗❭➶❣ ★❹æ✖ç✖è✖é✖ê✖ë. ❯❭Ô❢❭❣, ✢❭✣❭✖✖ì✴✦❭✒❭✓ ✭✌✮✌â✁í● ✴✦✌✒✌✓✭✌✮. ❯❭➡❢❭❣✗✖î✖ï★❭➹❊❭õ❭ö✴✦ ï❭ð❭ñ❭ò❭✱❭ù✖♦❭á✏❭✑❭✒❭✓✭❭✮✗❭✔❭✕❭✖, ✶❭s❭❯ ➡ ✖ ◆✌❖❿Ø✝▲✗✴✦ ï✌ð, ➞❉ ★✌✴✦✌✒✌✓✭✌✮✗✌✔✌✕✌✖. ✶✌s❜✩✌➡❫ ➆✌➡✌✴✦ ï✌ð✁ð ❛◆❖, ❉ Õ×✩➡á★✴✦➌✌❊★✌✴✦✖✌✗✙✌✚ xk, ❵ ➞ ✗✖ ★ bk, ❊★✴✦ , ▲❿ñ [bk] ★ ✥❹ bk ✗✌✔✌➔✴✦ , ✞ ➤✌✭✌✮❴✾Ó✁ò. ✩✁ò✌★✁➤✌✭✌✮✌ï✌ð✌ñ✌òà xk ≤ [bk] →✾ , ➣ ✩✁ò✌★✁➤✌✭✌✮✌ï✌ð✌ñ✌òà xk ≥ [bk] + 1 →✾ . ✖❯✌Ó✌➡❴ ò ✗Ò✏✌✑✌✒✌✓✭✌✮. ❩❊◆✌❖ ➤✌✭✌✮✌✴✦ ï✌ð✗Ò ✭✌✮, →✁ó➂✌➨✁ô❣➀✌þÒ✗❴ ò, ✗✁✜➛❡➊✁✻✌✷✽✌✗❧✁♠✌å✁õ✁❳ ❴ ò. ☛✌☞✁ö✌➋✁✬✁÷✁ø✁ù 1 ú✁û☎ü. ❬ 7–1 ý ù 1 ø✁þ✁ÿ✁￾✁✂✁✄✁☎✁✆✁✝✁✞✁✟✁ì✁✠✁✡✁☛ ✡ 7–1 cj → 6 4 0 0 0 cB xB b x1 x2 x3 x4 x5 4 x2 2 0 1 1 3 − 1 3 0 6 x1 5 2 1 0 −1 6 2 3 0 zj 6 4 1 3 8 3 0 cj − zj 0 0 − 1 3 − 8 3 0 ☞✁✌✁✍✁✎ø✁✏✁✑✁✒✁✓✁✔✁✕✍✁✎ø✁✝✁✞✁✖✁✗ x1 = 5 2 ,x2 = 2, x1 þ✁✘✁✙✁✂✁✄✁☎✁✆. [b1] = 2, ✚✁✛✍✁✎✁✜✁✢✁✣✁✤ x1 ≤ 2 ✥ x1 ≥ 3 ✦✁✧✁★✁✩✌✁✪✁✍✁✎. ý✁✫✁✬✁✭✁✮, ✧✁✯✁✰✌✁✱✠✁✲. ✛ ✍✁✎ý✁✳✁✴✁✵✁✶ 1, ✷✹✸✜ ★✁✩✁✺, ✻ ✲ 7–4. ✲ 7–4 ✲ 7–5 ✼✁✽✁✾✳✁✛✍✁✎✁✿✁❀✁✣☎❁✆❁❂✁❃✖ø✁✲❁✖, ✻ ✲ 7–5. ✲❅❄, ❆✁❇ a ✡✁❈✁❉ 1 ✌✁✪✁✍✁✎ ø❁❊❁❋❇, ❆❁❇ b ✡❁❈❁❉ 2 ✌❁✪❁✍❁✎ø❁❊❁❋❇. ✾❁●❁❍ø❆❁❇ (þ❁■❁❏❁❑❁▲❁✒) ▼❁◆✽✩ ✌❁✪❁✍❁✎ø❁❊❁❋❇❁❖❁P, ◗❁❘þ❁■❁❙ x1 ý✂❁✄✖ø❁✖, ☞❁❚✦ þ❁❯✽✖ ✩ ✌❁✪❁✍❁✎❁❱❁❲✝ ✞✁❊✁❋✁✖✁❳✁❨✁❩