第二篇 整数线性规划.pdf

第二章 整数线性规划 整数线性规划是指线性规划中的部分(或全部)变量的值要求取整数。尽管整数线性规划 与线性规划形式上差别不太大，但这两个问题有本质的不同。线性规划问题有多项式时间算 法(或者说它属于 P 类) ，而整数线性规划不大可能有多项式时间算法(它是 NP—难的) 。因此 对一般整数线性规划而言，当规模较大时，至今没有一个好的求解方法。早在上个世纪五十 年代末，Gomorg，R.E.就提出了求解整数线性规划的割平面方法；Balas ，E.在 60 年代提出 了分枝估界方法，而在 1979 年，他又提出了隐数算法。本章将介绍求解整数线性规划的三 种方法：几个割平面算法、分枝估界算法以及解 0 －1 规划的隐数方法。如上所述，这些方 法只能用于求解规模不太大的整数线性规划。对于较大规模的整数线性规划还要根据具体情 况采取具体的方法进行处理，这将在后面的几章里可以看到。 2.1 引言 整数线性规划是变量要求取整数值的线性规划。整数线性规划可分为两类：一类是所有 变量都要求取整数值，这一类称之为纯整数规划；另一类是部分变量要求取整数值，此类称 之为混合整数规划。整数线性规划的一般形式为： T T minz0 ＝C X ＋d y AX ＋BY ＝b (MILP) X ≥0 整数向量 y ≥0 其中 A ，B ，C，d ，b 中的元素均为整数，当B 和 d 分别为零矩阵和零向量时，(MILP) 就成为纯整数规划。在线整数规划中，若每一个变量要求只取 0 或 1 时，则称其为 0—1 规 划。如 T minz0 ＝c x (BILP) Ax ＝b x 为 0—1 向量 不难看出，当一个整数变量 x 取值有上界时，比如果安求 0≤x ≤U ，那么x 可以用一 k k k R 个 0 －1 向量表示，也就是说x 可表示为一个二进制的数(y ，y － ，…，y ) ，其中y 取 0 或 1， k l l 1 0 i l′ l 而 l 满足 2l ≤u 2l＋1 。用 i ≤U 及 y ＝0 或 1 代入 x ，并把x ＝ i 代入约束方程 k ∑y 2 k i k k ∑2 y i i i 0 i 0 和目标函数，这样就把整数规划转化为 0 －1 规划。 在线性规划应用中，也经常迂到变量取整数值问题。比如 x