×
爱德华·兰姆；格雷姆·恒河；彼得·斯图基（Peter J.Stuckey）。；帕斯卡·范·亨特利克；Jip J.德克尔。

Nutmeg：使用分支和检查的MIP和CP混合求解器。 （英语） Zbl 1459.90133号

序号操作。Res.论坛 第1期，第3期，第22号论文，第28页（2020年）.
摘要：本文描述了Nutmeg的实现，这是一种混合整数线性规划和约束规划的求解器，使用基于逻辑的Benders分解的分支和切割风格，即分支和检查。给定一个高级约束编程模型，肉豆蔻自动推导出一个混合整数编程主问题，该问题省略了具有弱线性松弛的全局约束，以及一个与原始模型相同的约束编程子问题。在分枝定界搜索树中的每个节点上，线性松弛计算对偶边界并提出解决方案，检查约束规划子问题中省略约束的可行性。在不可行的情况下，冲突分析生成Benders切割，并将其附加到线性松弛中，以切断候选解决方案。实验结果表明，肉豆蔻的自动分解在已知成功实现基于逻辑的Benders分解的问题上优于纯约束规划和纯混合整数规划，但在缺乏特定可分解结构的一般问题上表现不佳。尽管如此，肉豆蔻在一个没有已知可分解结构的问题上优于单独的方法，初步表明手动分解这个问题是值得的。总的来说，肉豆蔻是新手建模者尝试混合求解的宝贵工具，也是专家建模者快速比较不同的基于逻辑的Benders问题分解的宝贵工具。

引用于6文件

MSC公司：

90立方厘米 混合整数编程
90C57型 多面体组合学，分支与绑定，分支与切割

关键词：

混合整数规划；约束编程；杂交；分支和检查；基于逻辑的Benders分解；冲突分析；无营养的；惰性子句生成；线性约束；双重界限

软件：

科幻小说；迷你锌；CHUFFED公司；GCG公司
PDF格式BibTeX公司 XML格式引用
\textit{E.Lam}等人，序号Oper。Res.Forum 1，No.3，论文No.22，28 p.（2020；Zbl 1459.90133）
全文： DOI程序

参考文献：

[1] Achterberg，T.，混合整数规划中的冲突分析，离散优化，4，1，4-20（2007）·Zbl 1169.90414号 ·doi:10.1016/j.disopt.2006.10.006
[2] Achterberg，T.，SCIP：求解约束整数程序，数学程序计算，1,1,1-41（2009）·Zbl 1171.90476号 ·doi:10.1007/s12532-008-0001-1
[3] Albareda-Sambola，M。；费尔南德斯，E。；Laporte，G.，《容量和距离受限的工厂选址问题》，《计算运营研究》，36，597-611（2009）·Zbl 1163.90583号 ·doi:10.1016/j.cor.2007.10.017
[4] Beck JC（2010）《分支与检查的检查》。Cohen D（ed）约束编程原理与实践-CP 2010，计算机科学课堂讲稿，第6308卷。柏林施普林格，第84-98页
[5] Belov G，Stuckey PJ，Tack G，Wallace M（2016）约束规划模型的改进线性化。参见：Rueher M（ed）约束规划的原则和实践：2016年9月5日至9日在法国图卢兹举行的第22届国际会议，CP 2016。诉讼程序。施普林格国际出版公司，第49-65页
[6] Benchimol，P。；WJ van Hoeve；雷金，JC；卢梭，LM；Rueher，M.，加权电路约束的改进滤波，约束，17，3，205-233（2012）·Zbl 1309.90115号 ·文件编号：10.1007/s10601-012-9119-x
[7] Benders，JF，解决混合变量编程问题的分区程序，数值数学，4，1，238-252（1962）·Zbl 0109.38302号 ·doi:10.1007/BF01386316
[8] Bensana，E。；勒迈特，M。；Verfaillie，G.，地球观测卫星管理，约束，4，3，293-299（1999）·Zbl 0963.90507号 ·doi:10.1023/A：1026488509554
[9] Chu GG改进组合优化。墨尔本大学博士论文（2011年）。http://hdl.handle.net/11343/36679
[10] 康福尔蒂，M。；Cornuéjols，G。；赞贝利，G.，《整数编程》，第271卷（2014年），柏林：施普林格出版社，柏林·Zbl 1307.90001号
[11] Davies TO，Gange G，Stuckey PJ（2017）使用MiniZinc进行基于自动逻辑的Benders分解。收录：AAAI，第787-793页
[12] Feydy T，Stuckey PJ（2009）《懒惰条款生成再造》。摘自：Gent IP（ed）约束编程的原则和实践——CP 2009：第15届国际会议，CP 2009里斯本，葡萄牙，2009年9月20日至24日会议记录。柏林施普林格，第352-366页
[13] 福卡奇，F。；Lodi，A。；Milano，M.，面向优化的全球约束，约束，7，3-4，351-365（2002）·Zbl 1028.68024号 ·doi:10.1023/A:1020589922418
[14] Fontaine D，Michel L，Van Hentenryck P（2014）基于约束的拉格朗日松弛。收录于：O'sullivan B（ed）《约束规划的原则和实践：第20届国际会议》，2014年9月8日至12日，法国里昂，CP 2014。诉讼程序。计算机科学课堂讲稿，第8656卷。施普林格国际出版公司，第324-339页
[15] Gamrath，G.，通用分支机构削减和价格（2010），柏林理工大学：博士论文，柏林理工大学
[16] Gamrath G，Lübbecke ME（2010）整数程序的通用Dantzig-Wolfe分解实验。摘自：Festa P，《实验算法：2010年第九届SEA国际研讨会伊斯基亚岛》（eds）。柏林施普林格，第239-252页
[17] Gange G，Berg J，DemirovićE，Stuckey PJ（2020）《CP的核心引导和核心支持搜索》。摘自：第七届约束编程、人工智能和运筹学集成国际会议论文集。（出现）
[18] Gleixner A、Bastubbe M、Eifler L、Gally T、Gamrath G、Gottwald RL、Hendel G、Hojny C、Koch T、Lübbecke ME、Maher SJ、Miltenberger M、Müller B、Pfetsch ME、Puchert C、Rehfeldt D、Schlösser F、Schubert C、Serrano F、Shinano Y、Viernickel JM、Walter M、Wegscheider F、Witt JT、Witzig J（2018）SCIP Optimization Suite 6.0。ZIB报告18-26，柏林祖斯研究所。http://nbn-resolution.de/urn:nbn:de:0297-zib-69361号
[19] Hooker JN（2004）规划和调度的混合方法。摘自：Wallace M（ed）约束编程原理与实践-CP 2004，计算机科学课堂讲稿，第3258卷。柏林施普林格，第305-316页·Zbl 1152.90445号
[20] 胡克，JN，《基于逻辑的Benders分解的规划和调度》，Oper Res，55，3，588-602（2007）·Zbl 1167.90512号 ·doi:10.1287/opre.1060.371
[21] 胡克，JN；Ottosson，G.，基于逻辑的Benders分解，数学程序，96，1，33-60（2003）·Zbl 1023.90082号 ·doi:10.1007/s10107-003-0375-9
[22] Junker U、Karisch SE、Kohl N、Vaaben B、Fahle T、Sellmann M（1999）基于约束编程的列生成框架。收录于：Jaffar J（ed）约束编程原理与实践-CP'99：第五届国际会议，CP'99，美国弗吉尼亚州亚历山大市，1999年10月11-14日。诉讼程序。施普林格，第261-274页·Zbl 0983.90059号
[23] Lam E（2017）车辆路径问题的混合优化。墨尔本大学博士论文。http://hdl.handle.net/11343/220534
[24] Lam，E。；Van Hentenryck，P.，带位置拥堵的车辆路径问题的分支和价格检查模型，约束，21，3，394-412（2016）·Zbl 1368.90115号 ·doi:10.1007/s10601-016-9241-2
[25] Lam E，Van Hentenryck P（2017年），针对带有时间窗的车辆路径问题进行分支和检查，并进行解释。摘自：Beck JC（ed）《约束编程的原则与实践：第23届国际会议》，2017年8月28日至9月1日，澳大利亚维多利亚州墨尔本，CP 2017，会议记录。查姆施普林格，第579-595页
[26] Marques Silva JaP，Sakallah KA（1996）GRASP——一种新的可满足性搜索算法。在：1996年IEEE/ACM计算机辅助设计国际会议论文集，ICCAD'96。IEEE计算机学会，第220-227页
[27] Nethercote N、Stuckey PJ、Becket R、Brand S、Duck GJ、Tack G（2007）《迷你锌：走向标准CP建模语言》。在：Bessière C（ed）约束编程的原则和实践-CP 2007。柏林施普林格，第529-543页
[28] Ohrimenko，O。；Stuckey，PJ；Codish，M.，通过惰性子句生成进行传播，约束，14，3357-391（2009）·Zbl 1192.68654号 ·数字对象标识代码：10.1007/s10601-008-9064-x
[29] Refalo P（2000）约束规划模型和混合求解器的线性公式。摘自：Dechter R（ed）约束编程的原理和实践——CP 2000。柏林施普林格，第369-383页·Zbl 1044.68792号
[30] Régin，JC，全球基数约束的基于成本的弧一致性，约束，7，3，387-405（2002）·Zbl 1028.68157号 ·doi:10.1023/A:1020506526052
[31] A.舒特。；Feydy，T。；Stuckey，PJ；Wallace，MG，解释累积传播子，约束，16，35250-282（2010）·Zbl 1226.68099号 ·doi:10.1007/s10601-010-9103-2
[32] Shen K，Schimpf J（2005）Eplex：利用数学规划求解器进行约束逻辑编程。收录于：约束规划的原则和实践：第11届国际会议，CP2005，会议记录，LNCS，第3709卷。施普林格，第622-636页
[33] Steiger R，van Hoeve WJ，Szymanek R（2011）一种有效的通用网络流约束。摘自：2011年ACM应用计算研讨会论文集。ACM，第893-900页
[34] Taškin ZC（2010）Benders分解。收录：威利运营研究和管理科学百科全书。威利
[35] Thorsteinson E（2001）分支与检查：混合整数规划和约束逻辑规划的混合框架。收录于：Walsh T（ed）约束编程的原理与实践——CP.计算机科学课堂讲稿，第2239卷。柏林施普林格，第16-30页·Zbl 1067.68677号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。