×

探索放松诱导的社区以改进MIP解决方案。 (英语) Zbl 1131.90036号

摘要:给出混合整数规划(MIP)模型的可行解,一个自然的问题是该解是否可以使用局部搜索技术进行改进。局部搜索在许多其他组合优化领域中得到了非常成功的应用。不幸的是,局部搜索广泛依赖于解决方案邻域的概念,而该邻域几乎总是根据要解决的特定问题的结构进行裁剪。MIP模型通常很少传达有关潜在问题结构的信息。本文考虑了两种新的方法来探索MIP中有趣的、与域相关的邻里。这两种方法中更有效的一种,我们称之为松弛诱导邻域搜索(RINS),它使用MIP模型的连续松弛中包含的信息构建了一个有希望的邻域。然后将邻域探索表示为MIP模型本身并递归求解。第二个步骤,我们称之为引导潜水,是对MIP树遍历顺序的简单修改。松散地说,它引导搜索到最著名可行解的近邻节点。在非常困难的MIP模型上进行的大量计算实验表明,在几个不同的度量方面,这两种方法都优于默认的CPLEX MIP和先前描述的用于探索MIP邻域(局部分支)的方法。我们考虑的指标是在一定时间限制内生成的最佳整数解的质量、改进给定整数解的能力(质量好或差)以及分散搜索以找到新解所需的时间。

MSC公司:

90立方厘米 混合整数编程
90 C59 数学规划中的近似方法和启发式
90B40码 搜索理论
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Aboudi,R.,Jörnsten,K.:使用Pivot和Complement启发式的一般零一整数程序的禁忌搜索。ORSA J.计算。6 (1), 82-93 (1994) ·Zbl 0798.90105号
[2] Adams,J.,Balas,E.,Zawack,D.:车间作业调度的转移瓶颈程序。管理。科学。34 (3), 391-401 (1988) ·Zbl 0637.90051号 ·doi:10.1287/mnsc.34.3.391
[3] Anbil,R.、Gelman,E.、Patty,B.、Tanga,R.:美国航空公司乘务人员配备优化的最新进展。接口21,62-74(1991)·doi:10.1287/inte.211.62
[4] Applegate,D.,Cook,W.:作业车间调度问题的计算研究。ORSA J.计算。3 (2), 149-156 (1991) ·Zbl 0755.90039号
[5] Balas,E.,Ceria,S.,Dawand,M.,Margot,F.,Pataki,G.:OCTANE:纯0-1程序的新启发式。操作。第49(2)号决议,207-225(2001)·Zbl 1163.90654号 ·doi:10.1287/操作49.2.207.13535
[6] Balas,E.,Martin,C.:枢轴与补足?0-1编程的启发式。管理。科学。26 (1), 86-96 (1980) ·Zbl 0442.90060号 ·doi:10.1287/mnsc.26.1.86
[7] Baptiste,P.,Le Pape,C.,Nuijten,W.:在基于约束的调度中纳入高效运筹学算法。1995年第一届人工智能与运筹学国际联合研讨会论文集·邮编1094.90002
[8] Bixby,R.E.,Ceria,S.,McZeal,C.M.,Savelsbergh,M.W.P.:更新的混合整数编程库:MIPLIB 3.0 Optima 58,12-15(1998)
[9] Bixby,R.E.,Fenelon,M.,Gu,Z.,Rothberg,E.,Wunderling,R.:MIP:理论与实践?缩小差距。Kluwer学术出版社,2000年,第19-49页·Zbl 0986.90025号
[10] Caseau,Y.,Laburthe,F.:任务间隔的分离式调度。技术报告,埃科尔·诺曼底Supérieure,1995年
[11] Caseau,Y.,Laburthe,F.:搜索算法的SaLSA规范语言。技术报告,埃科尔·诺曼底Supérieure,LIENS-97-111997·Zbl 1020.68028号
[12] Chabrier,A.、Danna,E.、Le Pape,C.、Perron,L.:解决网络设计问题。出现在CP-AI-OR之后的《运筹学年鉴》特刊上?2002, 2004
[13] Danna,E.:研究现场技术的集成,以法语进行编程。大学博士论文?阿维尼翁,2004年
[14] Danna,E.,Le Pape,C.:通过本地搜索加速分支和价格:带时间窗的车辆路径问题的案例研究。技术报告,ILOG,03-0062003
[15] Danna,E.,Le Pape,C.:两种通用方案,用于高效和稳健的协作算法。约束和整数规划,米歇拉·米兰(编辑),Kluwer学术出版社,2003年,第33-57页·Zbl 1176.90488号
[16] Faaland,B.H.,Hillier,F.S.:启发式整数规划程序的内部路径方法。操作。第27(6)号决议,1069-1087(1979)·Zbl 0442.90062号 ·doi:10.1287/操作27.6.1069
[17] Fischetti,M.,Lodi,A.:地方分支。数学。程序。序列号。B 98,23-47(2003)·Zbl 1060.90056号 ·doi:10.1007/s10107-003-0395-5
[18] Glover,F.,Laguna,M.:禁忌搜索。Kluwer学术出版社,1997年
[19] Glover,F.、Laguna,M.、Martí,F.:分散搜索和路径重新链接的基础。控制与控制论29(3),653-684(2000)·Zbl 0983.90077号
[20] Glover,F.、Lökketangen,A.、Woodruff,D.L.:分散搜索以生成多样的MIP解决方案。M.Laguna,J.L.González-Velarde,(编辑),《用于建模、优化和仿真的OR计算工具:计算机科学和运筹学中的接口》,Kluwer学术出版社,2000年,第299-317页
[21] Hillier,F.S.:带内部整数线性规划的高效启发式程序。操作。第17(4)号决议,600-637(1969)·Zbl 0176.49902号 ·doi:10.1287/opre.17.4.600
[22] Ibaraki,T.、Ohashi,T.和Mine,H.:混合整数规划问题的启发式算法。数学。程序。研究2,115-136(1974)·Zbl 0353.90061号
[23] Junker,U.,Nuijten,W.:基于偏好的搜索,最大限度地减少重新计划问题中的变化。摘自:IJCAI-99《调度和计划实时会议:动态和不确定世界中的监控》,1999年,第39-45页
[24] Jussien,N.,Lhomme,O.:具有约束传播和基于冲突的启发式的局部搜索。人工智能139,21-45(2002)·Zbl 1015.68056号 ·doi:10.1016/S0004-3702(02)00221-7
[25] Le Pape,C.,Baptiste,P.:先发制人Job-Shop调度问题基于约束算法的启发式控制。《启发式杂志》5(3),305-325(1999)·Zbl 1064.90544号 ·doi:10.1023/A:1009613717770
[26] Lökketangen,A.,Woodruff,D.L.:将基于枢轴的搜索与二进制MIP的分支和边界集成?s.控制与控制论,禁忌搜索特刊29(3),741-760(2001)·Zbl 0983.90079号
[27] Minton,S.,Johnston,M.D.,Philips,A.B.,Laird,P.:最小化冲突:约束满足和调度的启发式修复方法。人工智能58,161-205(1992)·Zbl 0782.90054号 ·doi:10.1016/0004-3702(92)90007-K
[28] Mitchell,M.:遗传算法导论。麻省理工学院出版社,1996年·Zbl 0906.68113号
[29] Nediak,M.,Eckstein,J.:Pivot,cut and dive:0-1混合整数规划的启发式。罗格斯大学运筹研究中心技术报告,RRR 53-20012001
[30] Palpant,M.,Artigues,C.,Michelon,P.:解决频率分配问题的启发式方法。收录于:第十一届拉丁美洲-伊比利亚美洲运筹学大会(CLAIO),2002年·Zbl 1066.90037号
[31] Shaw,P.:使用约束编程和局部搜索方法解决车辆路径问题。摘自:《第四届约束编程原理与实践国际会议论文集》(CP?98),1998年,第417-431页
[32] Van Hentenryck,P.,Le Provost,T.:约束逻辑编程中的增量搜索。新一代计算。9 (3), 257-275 (1991) ·Zbl 0731.68023号 ·doi:10.1007/BF03037165
[33] Van Laarhoven,P.J.M.,Aarts,E.H.L.:模拟退火:理论与实践。Kluwer学术出版社,1987年·Zbl 0643.65028号
[34] Van Vyve,M.:基于单件批量模型紧凑公式的生产计划问题的解决方法。卢瓦因-拉纽夫天主教大学博士论文,2003年·Zbl 1078.90510号
[35] Vásquez,M.,Whitley,L.D.:动态作业车间调度问题的遗传算法比较。载:《遗传与进化计算会议论文集》(GECCO-2000),2000年,第1011-1018页
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。