整数线性规划_修改_.ppt

整数规划通常要比线性规划困难得多，将其相应的LP 松弛问题的最优 解“化整” 来解原整数规划，虽是最容易想到的， 但常常得不到整数规划的最优解，甚至根本不是可行解，因此有必要对整数规划的解法进行专门研究。 求解一般整数规划问题 的主要方法是分枝定界方法， 此外还有割平面方法。 这两个方法都基于下面基本而重要的观察： 如果你在求解一个IP 的松弛问题时得到了恰好是整数值的解, 那么这个松弛问题的最优解也是这个IP 的最优解。因此，这个IP 的最优值不会小于(对min 问题) 或大于(对max 问题)松弛问题的最优值。因此我们有如下定理： 即使是用每秒1 亿次的计算机, 也要算上130.31 天; 若有100 个0-1 整型变量, 则要算上46.52 年! 解这样的题，穷举法是不可取的。所以我们的方法一般应是仅检查可行的整数组合的一部分，就能定出最优的整数解。分枝定界解法（Branch and Bound Method）就是其中的一个。 显然 必是某个叶子节点的解，且是所有叶子节点的解中最小的。 因此分枝定界法实际上是一个穷举的过程，有可能会遇到“组合爆炸”的问题，但通过分枝、剪枝和定界过程的灵活组合，常常能在规定时间里获得满意的结果，因此分枝定界法是目前求解整数规划问题商业软件的首选方法。在求解过程中首先要解决如下两个问题： 当n 很小时