多个约束变为一个约束的整数规划问题的新算法.pdfVIP

江两师范大学2006届硕士研究生学位论文 以葺必须取小于等于1或大于等于2的整数值．利用这一明显的结果，我们可 以把问题(如)划分为两个子问题： min，=一■一5屯 ■一x2≥一2 s30 5■十缸2 墨s4 ■s1 五、z2≥0，■、z2整数 min厂一一■一5工2 五一．砭≥一2 5墨+％≤30 4 ■s 薯≥2 邓工2苫0，郦t整数 这样划分，并未丢掉问题(zL0)的任何一个可行解．这一过程，我们称为分 謦-i三．臻观，我们用树形图来表示这一分枝过程，这个树形图称之为枚举树 (见下图)． 要求问题(砜)的最优解，只要分别求出子问题(皿)和子问题(乜2)的最 优解即可． 对于子问题(皿)，我们可求出其对应的￡P问题的最优解为： 薯。1，恐2 3，对应目标函数值为：五=一16．由于两个变量都为整数，这 已经是予问题(皿)的最优解，这个可行解称为活点．这时称子问题(玛)已被 多个约束变为一个约束的整数规划问题的新算法 探明，不必继续分枝了．在树形图上扪上记号“#”，表不于】叫题已珠明． 同时，子问题(皿)的最优解也是原问题(如)的可行解．因此，子问题 (皿)的最优值是原问题的目标函数值的一个上界，记z=^=一16．如果能 求得原整数规划问题的上界，则称之为定界． 我们再考虑子问题(见2)，类似地，先求解其松驰问题(嗄)．松驰问题 (鹏)的最优解为：_=2，z：=!孚，对应目标函数值为：，2=一18吾．因为 ，2小于现有的上界一16，所以原问题可能有比一16更小的最优值． ‘ ’ 、 ‘7 因为x2：掣不是整数，利用3s婴蔓4，我们可以在子问题(见2)中分别加入 气 气 约束条件恐s3或z：≥4，就把子问题(肛2)划分为子问题(如)和(皿。)： min，=一五一5x2 置一屯≥一2 5t+6％§30 2 4 s■s 屯s3 葺、x2≥0，■、戈2整数 min，=一葺一5x2 ’ ■一x2≥一2 5■+6也s30 2 4 s■s x2≥4 ■、工2≥0，■、x2整数 子问题(如)对应的松驰问题的最优解为：一22詈，屯23，对应目标 7) ， 函数值为：，2=一17詈·仍小于现有上界·同时_2 2詈不是整数，所以必须 江西师范大学2006届硕士研究生学位论文 将问题(如)继续分枝．利用2s娶s3，我们可以将_s2和而≥3分别加 入子问题(如)的约束条件中去，得到子问题(以)和子问题(玩)． 在求解子问题