二次参数实整混合线性优化的量词消去法-北京工业大学学报.PDFVIP

第28卷第l期 北京工业大学学报 Vol28№l 2002年3月 JoURNAL0FBEU【h昭PoLYTEC}Ⅱ、ⅡCUN【vERSrn’ Mar2002 二次参数实整混合线性优化的量词消去法 赵枫朝，于书举，刘俊千 (北京工业大学计算机学院，北京100022) 摘要： suP．n岍方法．研究丁带有参数的二次目标函数的线性优化，给出了一种具有参数的二次目标函数的整线性优 化的量词消去方法．分析表明，所用方法具有几乎最优的复杂性． 关量词： 量词消去； 二次线性优化；整数优化；计算复杂性 中圈分娄号：TPl8 文献标识码： A 文章螭号： 0254—0037(2002)01—0097—03 F。嘶er在1826年发现的解线性不等式组的方法，通过逐次消去变元的方法解线性不等式组，该方法 可以认为是解线性方程组的Gauss消去法的推广．从实用的角度来看，这个方法的主要缺憾在于消去变 元过程中，约束方程增长过快．weispfenllin窑发现了另外一种量词消去法，具有较优的复杂性结果，它还 能够实现对二次目标函数进行线性优化．作者就是利用这个思想，有效地实现了对二次且标函数的整线 性优化，从而得到一个几乎最优的对二次目标函数的整线性优化过程，它具有指数空间复杂性，对于非参 数输人，时间复杂度可以归约至NP． 文献[1．2]中的带参变量系数的线性实数优化方法，该方法是利用选定的有限多个测试点检测参数线性约 束方程组的相容性(相对于目标函数的极小值)． 对于整数线性优化，消去一个变元时，首先选定一个超平面，将它沿某个坐标轴投射成一个“条块’，这 个条块的厚度与变元的系数有关．进一步消去变元时，前面不同的超平面产生的条块并不相互作用，只是 分别处理．只有当消去过程完成后，才对不同条块中的目标函数的值进行比较，这一点大大异于 F0嘣er_M0乜虹n方法．作者的方法更具有局部特征，易于并行化． 1 整变元的消去 式。。(i)+：…。。口．玉，这里口．是整数，口。(i)是关于i的任意有理系数多项式．目标函数口(i，j)= c。(i)关于(i)的阶数小于D． 在消去整数变元时，不仅考虑那些表示变元的潜在的相容区间端点的线性项，而且考虑两个可能的端 点附近一些线性项。簇”，这些线性项。簇。足够多以保证其中包含有一个整数点．在消去一个变元x，时，使 用一个辅助变元v．表达检测点簇，v，将在一个整数区间上变化．为了方便检测整数点，引入一种新的参数 约束方程，形为“女Ip1(≈整除P)，这里t是非0的整数，p是无分母的参数线性项．区别于普通的约束方 程，本文称这类新的方程为“除式约束方程。，k是方程的除数．这两种方程统称为广义约束方程．广义系 统尸的除数是所有除式约束的除数的最小公倍数．一个除式约束k P是关于x的标准形，当且仅当p是 收稿日期：200l-03．28． 作者简介：赵枫朝(196卜k女，副教授 万方数据 98 北京工业大学学报 2IJ02年 关于x的标准形．当一个广义(非参数)系统JD被某个点i∈z“所满足，则称其为是整相容的．目标函数 日在尸下的整极小点是满足只使q的值最小的那些整数点．下面先承列出算法，再解释它的性质．本文 记i[x，／叶]=x1，…，x，一1，0，●+】，…，x。． 我们的算法中涉及普通约束方程P(i，i)≥0和除式约束方程女Ip，为了方便起见，用s。表示所有形 如p(i，i)≥0的约束方程的下标的集合，用sl表示所有形如女lP的约束方程的下标的集合． 算法l INroPTl fE 输入：一个参数广义约束系统P={p，(打，i)≥oIs，}uf^．I|口．≥olf∈S}，一个目标函 数口(i，j)，它们关于i的阶数均≤D，以及某个自然数l≤，≤H． 输出：一个有限簇{(Pf，f，，g，)lJ∈．，}满足： 1·I．，I≤ls，l+1． fE 2．鼻={p，，(i，I【x，，_!