二次0-1型整数规划的线性化求解.pdfVIP

长江大学学报 (自科版) 2015年2月第 12卷 第4期 (理工上旬刊) JournalofYangtzeUniversity(NaturalScienceEdition) Feb．2015，Vo1．12No．4 [引著格式]龙松，谢康 ．二次 。一1型整数规划的线性化求解 [J]．长江大学学报 (自科版)，2015，12(4)：5～7，10 二次 0-1型整数规划 的线性化求解 龙松 (华中科技大学武昌分校基础科学部，湖北武汉430064) 谢康 (湖北省沙市中学，湖北荆州43400o) [摘要]对 目标函数为二次、约束条件为线性的二次规划 问题，如果采用一定变换将其变为普通的线性规 划 ，这既能保证结果的正确性，又可 以大大地简化计算。讨论 了二次 O-1型整数规划的线性化求解 ：将二 次0-I型整数规划问题等价转化为一次函数的线性 O-i型整数规划问题，这样可 以有效地简化求解。并给 出了二次 O-1型整数规划 问题等价转化为线性 O-1型整数规划问题的理论证 明。实例分析进一步说 明了该 方法 的适用性和可行性。 [关键词]二次O-I型整数规划问题 ；线性O一1型整数规划 问题；线性化；等价转换 [中图分类号]O221．2 [文献标志码]A [文章编号]1673—1409 (2015)O4—0005—03 非线性规划是约束条件或 目标函数至少其一是非线性 的一种规划 ，是运筹学的重要分支 。相对于线 性规划 ，非线性规划的应用更为广泛，但其计算难度更大。非线性规划的求解算法一般都是从一个初始 可行点出发，按照一定的搜索条件 ，逐步迭代 ，直到寻找到最优解或满足终止退出条件 。二次规划问题 是非线性规划中比较简单的一类，很多方面的实际问题都可以抽象成二次规划模型去求解 ，被广泛用 于经济调度 、合理分配 、计划决策等问题 。目前对二次规划的求解一般采用模拟退火算法、粒子群优化 算法、遗传算法等 ，但是这些算法对 目标 函数为二次 、约束条件为线性 的一类较为特殊的二次规划问题 仍具有一定的局限性 ，往往仅能得出局部最优解 。对这一类较为特殊的二次规划问题 ，如果采用一定变 换将其变为普通的线性规划 ，这将大大地简化计算，也更能保证结果的正确性 。 I 二次 0-I型整数规划的等价转化 考虑二次 0—1型整数规划 ： minF(x)一∑∑ z 一 1J一 1 ∑口 一6 i—l，2，…，优 (1) 一 1 一0或 1 J一1，2，… ， z =0或 1 k一1，2，…， 式中，常数 “、c 、b 都是整数 。 命题 1 二次 0—1型整数规划 (1)可等价转换为 目标 函数为一次函数的线性 0—1型整数规划 ： (2) i一 1，2， … ， 一 0或 1 一1，2，… ， [收稿 日期]．2014一10—06 [基金项目]湖北省教育科学 。十二五 规划项目 (2012B426)。 [作者简介]龙松 (1978～)，男，硕士，讲师，现主要从事概率统计、优化决策方面的教学与研究工作：E-mail @qq．como ·6 · 理工上旬刊 *数值方法研究 2015年 2月 式 中，常数 n 、c、b 都是整数。 证明 首先选取一个足够大的整常数 R来去掉二次 0—1型整数规划问题 (1)中的约束 ，得到 ： mi z)一 +RE (E ) 一 0或 1 一1，2，…， (3)