×
马蒂奥·菲舍蒂;多梅尼科·萨尔瓦金

可行性泵2.0。 （英语） Zbl 1180.90208号

数学。程序。计算。 1，编号2-3，201-222（2009）。
摘要：找到给定混合整数规划（MIP）模型的可行解是一个非常重要的（{mathcal{NP}}）完整问题，在实践中可能非常困难。可行性泵（FP）是一种启发式方案，用于寻找一般MIP的可行解，可以被视为一种巧妙的方法，将LP松弛的分数解序列四舍五入，直到最终找到可行解。在本文中，我们研究了用更聪明的舍入启发式替换原始舍入函数（快速简单，但有点盲目）的效果。特别是，我们研究了基于舍入和约束传播的类占卜过程的使用，这是约束编程中的一个基本工具。文献中对二进制和一般整数MIP的大量计算结果表明，新方法大大提高了FP成功率，而不会减慢方法的速度，并且找到的可行解的质量显著提高。

引用于41文件

MSC公司：

90立方厘米 混合整数编程
90C27型 组合优化
90C57型 多面体组合学，分支与绑定，分支与切割
90 C59 数学规划中的近似方法和启发式

关键词：

混合整数编程;原始启发式;约束编程;约束传播

软件：

Gecode公司;辛烷值;SCIP公司;FEASPUMP公司;MIPLIB公司;优化软件基准;MIPLIB2003;CPLEX公司;禁忌搜索
PDF格式BibTeX公司 XML格式引用
\textit{M.Fischetti}和\textit{D.Salvagin}，数学。程序。计算。1，编号2--3，201-222（2009；Zbl 1180.90208）
全文： 内政部

参考文献：

[1] Achterberg，T.：约束整数编程。柏林理工大学博士论文（2007年）·Zbl 1169.90414号
[2] Achterberg T.，Berthold T.：改进可行性泵。离散优化。4, 77–86 (2007) ·Zbl 1170.90443号 ·doi:10.1016/j.disopt 2006.10.004
[3] Achterberg，T.、Koch，T.和Martin，A.：MIPLIB 2003。操作。Res.Lett.公司。，34:361–372. 问题可在http://miplib.zib.de (2006)
[4] Balas E.、Ceria S.、Dawand M.、Margot F.、Pataki G.：OCTANE：一种用于纯0-1程序的新启发式。操作。第49、207–225号决议（2001年）·Zbl 1163.90654号 ·doi:10.1287/opre.49.2.207.13535
[5] Balas E.，Martin C.：枢轴与补足：0-1编程的启发式。管理。科学。26, 86–96 (1980) ·Zbl 0442.90060号 ·doi:10.1287/mnsc.26.1.86
[6] Balas E.，Schmieta S.，Wallace C.：枢轴和移位——一种混合整数规划启发式方法。离散优化。1, 3–12 (2004) ·Zbl 1087.90052号 ·doi:10.1016/j.disopt.2004.03.001
[7] Bertaco，L.：可行性泵。源代码位于http://www.or.deis.unibo.it/research_pages/ORcodes/FP-gen.html ·Zbl 1169.90415号
[8] Bertaco L.，Fischetti M.，Lodi A.：一般混合整数问题的可行性泵启发式算法。离散优化。4, 63–76 (2007) ·Zbl 1169.90415号 ·doi:10.1016/j.disopt.2006.10.001
[9] Danna E.、Rothberg E.、Pape C.L.：探索松弛诱导的社区以改进MIP解决方案。数学。程序。102, 71–90 (2005) ·Zbl 1131.90036号 ·doi:10.1007/s10107-004-0518-7
[10] Eckstein J.，Nediak M.：透视、切割和俯冲：0–1混合整数规划的启发式方法。《启发式杂志》13，471–503（2007）·doi:10.1007/s10732-007-9021-7
[11] Fischetti M.，Glover F.，Lodi A.：可行性泵。数学。程序。104, 91–104 (2005) ·Zbl 1077.90039号 ·doi:10.1007/s10107-004-0570-3
[12] Fischetti M.，Lodi A.：局部分支。数学。程序。98(1–3), 23–47 (2003) ·Zbl 1060.90056号 ·doi:10.1007/s10107-003-0395-5
[13] Fischetti M.，Polo C.，Scantamburlo M.：一种针对具有2级变量的混合整数程序的局部分支启发式算法，并应用于电信网络设计问题。网络44、61–72（2004）·Zbl 1055.90054号 ·doi:10.1002/net.20017年
[14] Gecode团队：Gecode：通用约束开发环境，2008年。可在http://www.gecode.org (2008)
[15] Glover F.，Laguna M.：整数规划的通用启发式——第一部分：启发式2，343–358（1997）·Zbl 0887.90123号 ·doi:10.1007/BF00132504
[16] Glover F.，Laguna M.：整数规划的通用启发式——第二部分。《启发式杂志》3，161–179（1997）·Zbl 0898.90094号 ·doi:10.1023/A:1009631530787
[17] Glover F.，Laguna M.：禁忌搜索。多德雷赫特·克鲁沃（1997）·Zbl 0930.90083号
[18] Gondzio J.：在应用内点法之前，先对线性程序进行预解分析。信息J.计算。9, 73–91 (1997) ·Zbl 0890.90143号 ·doi:10.1287/ijoc.9.1.73
[19] Hansen P.，MladenovićN.，Urosevic D.：可变邻域搜索和局部分支。计算。操作。第33、3034–3045号决议（2006年）·Zbl 1086.90042号 ·doi:10.1016/j.cor.2005.02.033
[20] Hillier F.：带内部整数线性规划的高效启发式程序。操作。第17号决议，600–637（1969年）·Zbl 0176.49902号 ·doi:10.1287/opre.17.4.600
[21] 胡克J.N.：优化综合方法。施普林格，纽约（2006）·兹比尔1103.68811
[22] Ibaraki T.、Ohashi T.、Mine F.：混合整数规划问题的启发式算法。数学。程序。研究2115-136（1974）·Zbl 0353.90061号
[23] 伊洛格。CPLEX 11.0用户手册（2008）
[24] Lagerkvist M.Z.，Schulte C.：增量传播顾问。摘自：Bessière C.（编辑）第十三届约束规划原则和实践国际会议。计算机科学课堂讲稿，第4741卷，第409-422页。Springer-Verlag，纽约（2007年）
[25] Lökketangen A.：0–1混合整数编程的启发式。摘自：Pardalos，P.，Garey，M.R.（编辑）《应用优化手册》，第474-477页。牛津大学出版社，牛津（2002）
[26] Lökketangen A.，Glover F.：使用禁忌搜索解决零/一混合整数规划问题。欧洲药典。第106、624–658号决议（1998年）·Zbl 0991.90091号 ·doi:10.1016/S0377-2217（97）00295-6
[27] Maros I.：单纯形法的计算技术。Kluwer，Dordrecht（2002）·Zbl 1140.90033号
[28] Mittelmann，H.D.：优化软件的基准：测试用例。问题可在http://plato.asu.edu/sub/testcases.html
[29] Rossi，F.，van Beek，P.，Walsh，T.（编辑）：单纯形方法的计算技术。Elsevier，阿姆斯特丹（2006）·Zbl 1175.90011号
[30] Savelsbergh M.W.P.：混合整数编程问题的预处理和探测。ORSA J.计算。6, 445–454 (1994) ·Zbl 0814.90093号
[31] Schulte，C.：编程约束服务。博士论文，萨尔兰大学，Naturwissenschaftlich-Technische Fakultät I，Fachrichtung Informatik，Saarbrücken，德国（2000）
[32] Schulte，C.，Stuckey，P.J.：加速约束传播。在Wallace M.（ed.）约束编程的原理和实践-CP 2004，第十届国际会议。计算机科学课堂讲稿，第3258卷，第619-633页。斯普林格（2004）·Zbl 1152.68583号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。