Mathematica求解整数规划研究.pdfVIP

维普资讯 科 【苑 【论 I谈 科 Mathematica求解整数规划研究 郭志军 (辽宁对外经贸学院，辽宁 大连 116052) 摘 要：分支定界法可求纯整数或混合整数线性规划问题，求解方法由分支和定界组成。“分支”为整数规划最优解的出现创造 了条件 ，而 “定 界”则可以提高搜索的效率。应用数学软件mLathemat~ ，通过计算机来完成这一复杂的过程。 关键词：整数规划；分支定界法；举例 1求整数最优解问题的提出 一 个不符合整数条件的变量 ，设其值为l，fll1 r{548／31，{x1-48／31,x2-125／31}1 把线性规划中的某些变量的非负约束条 是不超过L的最大整数。构造两个约束条件： 最优解不是整数 ，x。 1按条件 x。--2和 件改为非负整变量，所得到的模型叫做整数线 x．萎[1l1和)(I [1j1+1，将两个条件分别加入其松 将问题 LP分解成子问题 LP1和 122，再次求 性规划 (integerhnearprogramming，简记作 弛同题LP，将 LP分成两个后继问题 LP1和 解 ， ILP)，还简称为整数规划。如果所有变量都是整 LP2。不考虑整数条件要求 ，求解LP1和LP2。根 求线性规划子问题 LP1： 变量 ，叫做纯整数规划，全是fO，1}变量的，叫做 据需要各后继问题可用类似的方法进行分支， IP1=ConstrainedMax[x1+4x2，{5x1+8x2=40, 一 2xl+3x2=9． f0，1l规划。否则是混合整数规划。 如此不断继续，直到获得整数规划的最优解 ，这 ，xl=1}，{xl，x2}】 对于整数规划的一个数字题 ，把它的整数 就是所谓的 “分支”。 计算结果 约束条件改为非负约束 ，得到一个普通线性规 第2步——定界：以每个后继子问题为一 4{7／3，{xl一J，．x2-11／3}} 划的题目，这个过程叫做从原问题ILP得到它 分支并标明求解的结果，与其他问题的解的结 求线性规划子问题 LP2： 的一个松弛问题 LP；说它是 “松弛”的，是因为 果一道 ，找出最优目标函数值最大者作为新的 IP2=ConstrainedMax [[xl+4x2，{Sxl+8x2： 从整数变为实数 ，条件放宽了许多。 上界，替换z。，从已符合整数条件的各分支中， 4O，一2xl+3x2=9，x1=2}，{xl，x2}】 找出目标函数值为最大者作为新的上界z，即 计算结果 有Z0 Z茎z。 {17，{xl-2，x2-一15／4}} ILP f Ax (或=，或 )6 第3步——比较与剪支：各分支的最优 目 两个答案都不是 ILP的可行解 ，比较两个 ■ 0 =1，2．…．,／／) 标函数中若有小于z’者，则剪掉这一支；若大 答案，LP2的上界 17比LP1的47／3大．LP1为 _ (=1，2，…，H)取整数 于z，且不符合整数条件，则重复第一步骤，一 待解的