01二次规划测试函数的构造.pdfVIP

第52卷第s1期 武汉大学学报(理学版) V01．52No．S1 2006年10月 J．WuhanUniv．(Nat．Sci．Ed．) 0ct．2006．170～172 文章编号：1671—8836(2006)$1—0170—03 0-I二次规划测试函数的构造 雍 龙 泉 (陕西理工学院数学系，陕西汉中723001) 摘 要：给出了0-1二次规划测试函数的构造方法．通过线性变换z=P一2z，得到一个新的二次规划，而该二 次规划恰好以初始点Zo为最优解；进而构造出了一系列具有共同最优解的0-1二次规划． 关键词：0-1二次规划；测试函数；半正定矩阵 中图分类号：O221 文献标识码：A 更困难的事情．下面我们不用计算A的特征值来选 0 引 言 取e．利用引理2，不难估计出矩阵A的特征值的范 围．设矩阵A的任一特征值为A，G。为第i个盖尔 衡量一个算法的好与坏，需要利用算法做相应 圆，记A的所有盖尔圆的并集为G=UG；由引理2 的数值实验进行测试．而做数值实验时，就要求所给 知，A∈G．因此，总可以在G的外面取一个数￡，使得 的测试问题的最优解已知．只有知道了测试问题的 A+d为半正定矩阵．下面通过例子来说明该结论． 最优解之后，用设计的算法来进行测试，再用计算后 一1 2 0 O 的结果和已知最优解做比较，才能知道算法的好与 2 —1 2 0 例1考虑矩阵M一 坏．因此，如何构造测试问题来验证算法的好与坏是 O 2 —1 2 计算数学的难点．本文初步给出了0-1二次规划测 O O 2 —1 z+1 试函数的一个构造方法，用已知的可行点孙和矩阵 对应的盖尔圆为G。：1名+1I≤2和G2：J1≤4． UGz；由引 M构造出了一系列的0-1二次规划，使得这些。一1设A为矩阵M的任一特征值，则A∈(G1 二次规划都具有共同的最优解． 理1知道，矩阵M的特征值皆为实数，故A∈[一5， 3]．因此，只要选取e∈{￡Ie≥3或e≤一5，且￡≥o)， 1 理论基础 也即e≥3则行，此时M+ef为半正定矩阵．这里得 到了一系列的￡，此结果比文献[2]中的结论更完 善；更一般． 引理1 设A是咒×咒的实对称矩阵，则A的 特征值皆为实数． 引理2矩阵A的一切特征值都在它的挖个盖 2 测试函数的构造 尔圆的并集之内． 考虑如下形式的0—1二次规划： 引理1和引理2的证明见参考文献[1]．根据引 理1，从理论上讲，可以找到一个足够大的e，使得A ’