×
雅各布·维茨;蒂莫·伯托尔德;斯特凡·海因茨

混合整数规划中冲突分析的实验。 （英语） Zbl 1489.68261号

Salvagnin，Domenico（编辑）等人，《人工智能和OR技术在约束编程中的集成》。2017年6月5日至8日在意大利帕多瓦举行的2017年CPAIOR第14届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10335, 211-220 (2017).
摘要：不可行子问题的分析在求解混合整数规划（MIP）中起着重要作用，并在大多数主要的MIP求解器中实现。从不可行子问题生成有效的全局约束有两个根本不同的概念。首先是分析通过域传播获得的导致不可行的含义序列。分析的结果是一组或多组相互矛盾的变量边界，从中可以生成所谓的冲突约束。这个概念起源于解决可满足性问题，同样也用于约束规划。第二个概念是分析不可行线性规划（LP）松弛。双LP解决方案提供了一组乘数，可用于生成单个新的全局有效线性约束。这篇短文的主要贡献是对两种方法的结合进行了实证评估。在标准公共测试集（例如米普利布2010; 提出的算法已经在非商业MIP求解器SCIP中实现。此外，我们提出了一种基于池的冲突管理方法，该方法解决了MIP求解器遍历搜索树的方式，优于SAT求解中已知的老化策略。
关于整个系列，请参见[Zbl 1364.68017号].

引用于9文件

MSC公司：

68T20型 人工智能背景下的问题解决（启发式、搜索策略等）
90立方厘米 混合整数编程

软件：

MIPLIB公司;MIPLIB2003公司;SCIP公司
PDF格式BibTeX公司 XML格式引用
\textit{J.Witzig}等人，Lect。注释计算。科学。10335、211-220（2017；Zbl 1489.68261）
全文： 内政部 arXiv公司

参考文献：

[1] Achterberg，T.：混合整数规划中的冲突分析。离散优化。4(1), 4–20 (2007) ·Zbl 1169.90414号 ·doi:10.1016/j.disopt.2006.10.006
[2] Achterberg，T.：约束整数编程（2007）·Zbl 1169.90414号
[3] Achterberg，T.，Berthold，T.：杂交分枝。摘自：Hoeve，W.-J.，Hooker，J.N.（编辑）CPAIOR 2009。LNCS，第5547卷，第309-311页。斯普林格，海德堡（2009）。数字对象标识：10.1007/978-3-642-01929-6-23·doi:10.1007/978-3-642-01929-6_23
[4] Achterberg，T.、Koch，T.和Martin，A.：MIPLIB 2003。操作。Res.Lett公司。34(4), 361–372 (2006) ·Zbl 1133.90300号 ·doi:10.1016/j.orl.2005.07.009
[5] Bénichou，M.、Gauthier，J.-M、Girodet，P.、Hentges，G.、Ribière，G.和Vincent，O.：混合整数线性规划实验。数学。程序。1(1), 76–94 (1971) ·兹比尔0233.90016 ·doi:10.1007/BF01584074
[6] Berthold，T.，Gleixner，A.M.：Undercover：探索最大子MIP的原始MINLP启发式。数学。程序。144(1–2), 315–346 (2014) ·Zbl 1291.90144号 ·doi:10.1007/s10107-013-0635-2
[7] Berthold，T.，Hendel，G.：转变和传播。《启发式杂志》21（1），73–106（2015）·Zbl 1360.90297号 ·doi:10.1007/s10732-014-9271-0
[8] Bixby，R.E.，Boyd，E.A.，Indovina，R.R.:MIPLIB：混合整数规划问题的测试集。SIAM新闻25、16（1992）
[9] Brearley，A.、Mitra，G.、Williams，H.：应用单纯形算法之前的数学规划问题分析。数学。程序。8, 54–83 (1975) ·Zbl 0317.90037号 ·doi:10.1007/BF01580428
[10] Cornuéjols，G.，Dawand，M.：一类难的小型0-1程序。收录：Bixby，R.E.，Boyd，E.A.，Ríos-Mercado，R.Z.（编辑）IPCO 1998。LNCS，第1412卷，第284-293页。斯普林格，海德堡（1998）。数字对象标识：10.1007/3-540-69346-7_22 ·Zbl 0910.90220号 ·doi:10.1007/3-540-69346-7_22
[11] Dakin，R.J.：混合整数规划问题的树搜索算法。计算。J.8（3），250–255（1965）·Zbl 0154.42004号 ·doi:10.1093/comjnl/8.3.250
[12] Davey，B.，Boland，N.，Stuckey，P.J.：使用线性规划的高效智能回溯。信息J.计算。14(4), 373–386 (2002) ·兹比尔1238.90144 ·doi:10.1287/ijoc.14.4.373.2823
[13] Gamrath，G.、Fischer，T.、Gally，T.，Gleixner，A.M.、Hendel，G.，Koch，T.；Maher，S.J.、Miltenberger，M.、Müller，B.、Pfetsch，M.E.、Puchert，C.、Rehfeldt，D.、Schenker，S.、Schwarz，R.、Serrano，F.、Shinano，Y.、Vigerske，S.，Weninger，D.、Winkler，M.，Witt，J.、Witzig，J.：SCIP优化套件3.2。技术报告15–60，ZIB，Takustr。7，14195柏林（2016）
[14] Ginsberg，M.L.：动态回溯。J.阿蒂夫。智力。决议1，25-46（1993年）·Zbl 0900.68179号
[15] Jiang，Y.，Richards，T.，Richard，B.：约束满足和优化中带有最小冲突修复的No-good回溯。在：PPCP，第94卷，第2-4页。Citeser（1994）
[16] KílñnçKarzan，F.，Nemhauser，G.l.，Savelsbergh，M.W.P.：二进制线性混合整数程序的基于信息的分支方案。数学。程序。计算。1(4), 249–293 (2009) ·Zbl 1184.90114号 ·doi:10.1007/s12532-009-0009-1
[17] 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
[18] Land，A.H.，Doig，A.G.：解决离散编程问题的自动方法。《计量经济学》28（3），497–520（1960）·Zbl 0101.37004号 ·doi:10.2307/1910129
[19] Linderath，J.T.，Ralphs，T.K.：混合整数线性规划的非商业软件。整数程序：西奥。实际。3, 253–303 (2005) ·Zbl 1137.90622号
[20] Linderath，J.T.，Savelsbergh，M.W.：混合整数规划搜索策略的计算研究。信息J.计算。11(2), 173–187 (1999) ·Zbl 1040.90535号 ·doi:10.1287/ijoc.11.2.173
[21] Marques-Silva，J.P.，Sakallah，K.：掌握：命题可满足性的搜索算法。IEEE传输。计算。48(5), 506–521 (1999) ·数字对象标识代码：10.1109/12.769433
[22] Pólik，I.：（Re）在MILP中使用双重信息。信息计算学会会议，弗吉尼亚州里士满（2015）
[23] Pólik，I.：在MILP中使用双重信息的更多方法。在：国际数学规划研讨会，宾夕法尼亚州匹兹堡（2015）
[24] Sandholm，T.，Shields，R.：混合整数编程学习效果不佳。In:组合优化中的混合方法和分支规则研讨会，Montréal（2006）
[25] Stallman，R.M.，Sussman，G.J.：计算机辅助电路分析系统中的正向推理和依赖导向回溯。Artif公司。智力。9(2), 135–196 (1977) ·Zbl 0372.94024号 ·doi:10.1016/0004-3702（77）90029-7
[26] Witzig，J.、Berthold，T.、Heinz，S.：混合整数规划中冲突分析的实验。技术报告16–63，ZIB，Takustr。7，14195柏林（2016）·Zbl 1489.68261号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。