运筹学导论之整数线性规划.pptVIP

根据例1，如果决策变量数很少，穷举法还是勉强可用的。例如，例1的组合(不都是可行的)数是3×5=15个。 对于大型的问题，可行的整数组合数是很大的。例如在指派问题中，将n项任务指派n个人去完成，不同的指派方案共有n!种，当n=10，这个数就超过300万；当n=20，这个数就超过2×1018，如果一一计算，就是用每秒百万次的计算机，也要几万年。显然对于大型问题，穷举法不可行。 所以我们的方法一般应是仅检查可行的整数组合的一部分，就能定出最优的整数解。分支定界解法(branch and bound method)就是其中的一个。 第三十一页，共六十二页。 设有最大化的整数线性规划问题A，与它相应的线性规划为问题B，从解问题B开始，若其最优解不符合A的整数条件，那么B的最优目标函数必是A的最优目标函数z*的上界，记作 ；而A的任意可行解的目标函数值将是z*的一个下界。分支定界法就是将B的可行域分成子区域(称为分支)的方法，逐步减小和增大，最终求到z*。 分支定界法可用于解纯整数或混合的整数线性规划问题。在20世纪60年代初由Land Doig和Dakin等人提出。由于这方法灵活且便于用计算机求解，所以现在它已是解整数线性规划的重要方法。 8.2.1 分支定界算法 第三十二页，共六十二页。 max z=5x1+4x2 x1+x2≤5