×

移位和传播。 (英语) Zbl 1360.90297号

摘要:近年来,人们对设计用于完全混合整数规划求解器的通用原始启发式越来越感兴趣。许多这些启发式算法依赖于最优LP解决方案,这可能需要花费大量时间才能找到。在本文中,我们通过引入不需要先前找到的LP解的预根原始启发式来解决这个问题。这种启发式方法名为\(\mathsf{Shift-and-Propagate}\),它应用域传播技术来快速推动变量赋值的可行性。计算实验表明,该启发式算法是对现有舍入和传播启发式算法的有力补充。

MSC公司:

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

参考文献:

[1] Achterberg,T.:SCIP-集成约束和混合整数编程的框架。柏林祖斯研究所技术报告04-19(2004)。http://www.zib.de/Publications/abstracts/ZR-04-19/ ·Zbl 1087.90052号
[2] Achterberg,T.:约束整数编程。柏林大学博士论文(2007)·Zbl 1169.90414号
[3] Achterberg,T.,Berthold,T.:改进可行性泵。谨慎。优化。规范第4版(1),77-86(2007)·Zbl 1170.90443号 ·doi:10.1016/j.disopt.2006.10.004
[4] Achterberg,T.,Koch,T.,Martin,A.:MIPLIB 2003。操作人员。Res.Lett公司。34(4), 1-12 (2006) ·Zbl 1133.90300号 ·doi:10.1016/j.orl.2005.07.009
[5] Achterberg,T。;Berthold,T。;亨德尔·G。;Klatte,D.(编辑);Lüthi,HJ(编辑);Schmedders,K.(编辑),混合整数规划的舍入和传播启发式,71-76(2012),柏林·Zbl 1306.90100号 ·doi:10.1007/978-3642-29210-112
[6] 安德森,E.,安德森,K.:线性规划预解。数学。程序。71, 221-245 (1995) ·Zbl 0846.90068号
[7] Balas,E.,Ceria,S.,Dawand,M.,Margot,F.,Pataki,G.:OCTANE:纯0-1程序的新启发式。操作。第49(2)号决议,207-225(2001)·Zbl 1163.90654号 ·doi:10.1287/opre.49.2.207.13535
[8] Balas,E.,Schmieta,S.,Wallace,C.:枢轴和移位——混合整数规划启发式。谨慎。优化。1(1), 3-12 (2004) ·Zbl 1087.90052号 ·doi:10.1016/j.disopt.2004.03.001
[9] Bertaco,L.,Fischetti,M.,Lodi,A.:一般混合整数问题的可行性泵启发式算法。谨慎。优化。规范第4版(1),63-76(2007)·Zbl 1169.90415号 ·doi:10.1016/j.disopt.2006.10.001
[10] Berthold,T.:混合整数程序的原始启发式。柏林理工大学文凭论文(2006年)
[11] Berthold,T。;Kalcsics,J.(编辑);Nickel,S.(编辑),《分支和主席框架的启发式SCIP》,31-36(2008),柏林·Zbl 1209.90356号 ·doi:10.1007/978-3-540-77903-2_5
[12] Berthold,T.:测量原始启发式的影响。操作人员。Res.Lett公司。41(6), 611-614 (2013) ·Zbl 1287.90037号 ·doi:10.1016/j.orl.2013.08.007
[13] Berthold,T。;Feydy,T。;Stuckey,PJ;Lodi,A.(编辑);Milano,M.(编辑);Toth,P.(编辑),二进制程序的快速学习,第6140号,第51-55页(2010年),柏林·Zbl 1285.68151号
[14] Bessiere,C。;Rossi,F.(编辑);Beek,P.(编辑);Walsh,T.(编辑),《约束传播》,29-83(2006),阿姆斯特丹·doi:10.1016/S1574-6526(06)80007-6
[15] Bixby,R.E.,Ceria,S.,McZeal,C.M.,Savelsbergh,M.W.:更新的混合整数编程库:MIPLIB 3.0。Optima 58,12-15(1998)
[16] 比克斯比,RE;Fenelon,M。;顾,Z。;Rothberg,E。;Wunderling,R。;Powell,M.(编辑);Scholtes,S.(编辑),《MIP:理论与实践——弥合差距》,19-49(2000),多德雷赫特·Zbl 0986.90025号 ·数字对象标识代码:10.1007/978-0-387-35514-6_2
[17] Brearley,A.、Mitra,G.、Williams,H.:应用单纯形算法之前的数学规划问题分析。数学。程序。8, 54-83 (1975) ·Zbl 0317.90037号 ·doi:10.1007/BF01580428
[18] COIN-OR分支和切割MIP解算器。https://projects.coin-or.org/Cbc。2014年12月15日访问·Zbl 1201.90207
[19] Danna,E.,Rothberg,E.,Pape,C.L.:探索松弛诱导的邻域以改进MIP解决方案。数学。程序。A 102(1),71-90(2004)·Zbl 1131.90036号 ·doi:10.1007/s10107-004-0518-7
[20] FICO Xpress-Optimizer。http://www.fico.com/en/Products/DMTools/xpress-overview/Pages/xpress-Optimizer.aspx。2014年12月15日访问
[21] Fischetti,M.,Salvagnin,D.:可行性泵2.0。数学。程序。C 1201-222(2009)·Zbl 1180.90208号 ·doi:10.1007/s12532-009-0007-3
[22] 菲舍蒂,M。;Lodi,A。;Cochran,JJ(编辑);Cox,LA(编辑);Keskinocak,P.(编辑);Kharoufeh,JP(编辑);Smith,JC(编辑),混合整数规划中的启发式(2010),纽约
[23] Fischetti,M.,Glover,F.,Lodi,A.:可行性泵。数学。程序。104(1), 91-104 (2005) ·Zbl 1077.90039号 ·doi:10.1007/s10107-004-0570-3
[24] Ghosh,S。;Fischetti,M.(编辑);Williamson,DP(编辑),DINS,MIP改进启发式,第4513、310-323号(2007),海德堡·Zbl 1136.90419号 ·doi:10.1007/978-3-540-72792-7_24
[25] Glover,F.,Laguna,M.:整数规划的通用启发式——第一部分:启发式2(4),343-358(1997a)·Zbl 0887.90123号 ·doi:10.1007/BF00132504
[26] Glover,F.,Laguna,M.:整数编程的通用启发式第二部分。《启发式杂志》3(2),161-179(1997b)·Zbl 0898.90094号 ·doi:10.1023/A:1009631530787
[27] Glover,F.、Lökketangen,A.、Woodruff,D.L.:分散搜索以生成不同的MIP解决方案。收录:Laguna,M.、González-Velarde,J.L.(编辑)《建模、优化和仿真的计算工具》。运筹学/计算机科学接口系列,第12卷,第299-317页。斯普林格美国公司(2000年)
[28] GUROBI优化器。http://www.gurobi.com/products/gurobi-optimizer/gurobi-overview。2014年12月15日访问
[29] Hansen,P.,Mladenović,N.,Urošević,D.:可变邻域搜索和局部分支。计算。操作人员。第33(10)号决议,3034-3045(2006)·Zbl 1086.90042号 ·doi:10.1016/j.cor.2005.02.033
[30] Harvey,W.D.,Ginsberg,M.L.:有限差异搜索。国际Jt。Conf.Artif公司。智力。14, 607-615 (1995)
[31] Hendel,G.:混合整数规划的新舍入和传播启发式。柏林大学(2011),学士论文
[32] Ibm,ILOG CPLEX优化器。http://www-01.ibm.com/software/integration/optimization/cplex-optimizer/。2014年12月15日访问
[33] Jussien,N.,Lhomme,O.:具有约束传播和基于冲突的启发式的局部搜索。Artif公司。智力。139(1), 21-45 (2002) ·Zbl 1015.68056号 ·doi:10.1016/S0004-3702(02)00221-7
[34] Koch,T.、Achterberg,T.,Andersen,E.、Bastert,O.、Berthold,T.和Bixby,R.E.、Danna,E.、Gamrath,G.、Gleixner,A.M.、Heinz,S.、Lodi,A.、Mittelmann,H.、Ralphs,T.。Salvagnin,D.、Steffy,D.E.、Wolter,K.:MIPLIB 2010。数学。程序。计算。3(2), 103-163 (2011) ·doi:10.1007/s12532-011-0025-9
[35] Lin,S.,Kernighan,B.W.:旅行推销员问题的有效启发式算法。操作。第21号决议,498-516(1973)·Zbl 0256.90038号 ·doi:10.1287/opre.21.2498
[36] Lodi,A.:MIP求解器的启发式(黑暗)面。收录于:Talbi,E.G.(编辑)混合元启发式,计算智能研究,第434卷,第273-284页。施普林格,柏林(2013)。doi:10.1007/978-3-642-30671-6_10·Zbl 1209.90356号
[37] Lökketangen,A.:0-1混合整数规划的启发式。收录:Pardalos,P.M.,Resende,M.G.C.(编辑)《应用优化手册》。牛津大学出版社(2002)
[38] Lökketangen,A.,Glover,F.:使用禁忌搜索解决零/一混合整数编程问题。欧洲药典。第106号、第624-658号决议(1998年)·Zbl 0991.90091号 ·doi:10.1016/S0377-2217(97)00295-6
[39] Mareček,J.:利用整数程序中的结构。诺丁汉大学博士论文(2011年)
[40] Minton,S.、Johnston,M.D.、Philips,A.B.、Laird,P.:使用启发式修复方法解决大规模约束满足和调度问题。摘自:第八届全国人工智能会议记录,第17-24页。AAAI出版社(1990)
[41] Moskewicz,M.W.,Madigan,C.F.,Zhao,Y.,Zhang,L.,Malik,S.:Chaff:设计一个高效的SAT求解器。摘自:ACM IEEE设计自动化年会,第530-535页。ACM(2001)
[42] Pesant,G.,Quimper,C.G.,Zanarini,A.:基于计数的搜索:约束满足问题的分支启发式。J.阿蒂夫。智力。第43(1)号决议,173-210(2012)·Zbl 1237.68193号
[43] Rothberg,E.:用于优化混合整数规划解决方案的进化算法。信息J.计算。19(4), 534-541 (2007) ·Zbl 1241.90092号 ·doi:10.1287/ijoc.1060.0189
[44] Rothberg,E.:个人沟通(2013)·Zbl 0814.90093号
[45] Ruml,W.:使用自适应探测的不完全树搜索。收录:国际人工智能联合会议,第235-241页(2001)·Zbl 1306.90100号
[46] Savelsbergh,M.W.P.:混合整数编程问题的预处理和探测技术。ORSA J.计算。6, 445-454 (1994) ·Zbl 0814.90093号 ·doi:10.1287/ijoc.6.4.445
[47] SCIP。求解约束整数程序。http://scip.zib.de/。2014年12月15日访问·Zbl 1169.90415号
[48] Selman,B.,Kautz,H.A.,Cohen,B.:改进局部搜索的噪音策略。参见:《第十二届全国人工智能会议记录》(第1卷),AAAI'94,第337-343页。美国人工智能协会(1994)
[49] SoPlex公司。一个实现修正单纯形算法的开源LP求解器。http://soplex.zib.de/。2014年12月15日访问·Zbl 1170.90443号
[50] 交响乐。开发主页。https://projects.coin-or.org/SYMPHONY。2014年12月15日访问
[51] Wallace,C.:ZI round,一种MIP舍入启发式算法。《启发式杂志》16(5),715-722(2010)·Zbl 1201.90207 ·doi:10.1007/s10732-009-9114-6
[52] Walser,J.P.:《局部搜索的整数优化》,《计算机科学讲义》,第1637卷。柏林施普林格(1999)·Zbl 0934.90053号 ·doi:10.1007/3-540-48369-1
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。