×
詹斯·文瑟·克劳森;理查德·卢斯比;斯特凡·罗普克

Dantzig-Wolfe格式的一致性降低。 （英语） Zbl 1508.90035号

操作。研究。 70，第5期，2883-2905（2022）.
摘要：本文介绍了一组有效的不等式，我们称之为一致性割集，用于带链接变量的Dantzig-Wolfe重定（或分解）。我们证明，当满足分解结构的某些标准时，这些切割确保了相应的Dantzig-Wolfe松弛的整数解。我们实现了切割，并使用它们来解决一个常用的测试集，其中包含200个时间背包问题的实例。我们评估了有切割和无切割的性能，并将其与CPLEX和历史上用于求解测试集的其他求解方法进行了进一步比较。通过分离一致性割集，我们表明我们可以比其他方法更快地获得最优整数解，甚至可以解决测试集中剩余的未解决问题。我们还对MIPLIB 2017混合集成程序在线库中的实例进行了第二次测试，显示了在更广泛的问题上进行削减的潜力。

引用于1文件

理学硕士：

90立方厘米 整数编程

关键词：

整数规划;切割平面/面;算法;理论

软件：

SCIP公司;CPLEX公司;MIPLIB公司;hMETIS公司
PDF格式BibTeX公司 XML格式引用
\textit{J.V.Clausen}等人，作品。第70号决议，第5号，2883--2905（2022年；Zbl 1508.90035）
全文： DOI程序 arXiv公司 链接

参考文献：

[1] Achterberg T（2009）SCIP：求解约束整数程序。数学。编程计算。1（1）：1-41.Crossref，谷歌学者·Zbl 1171.90476号 ·doi:10.1007/s12532-008-0001-1
[2] Aguado JS（2009）《固定费用运输问题：基于拉格朗日松弛和核心问题求解的新启发式方法》。安·Oper。研究。172（1）：45.Crossref，谷歌学者·Zbl 1181.90031号 ·doi:10.1007/s10479-008-0483-2
[3] Barnhart C、Johnson EL、Nemhauser GL、Savelsbergh MWP、Vance PH（1998）《分支与价格：求解大型整数程序的列生成》。操作。研究。46（3）：316-329链接，谷歌学者·Zbl 0979.90092号
[4] Bartlett M，Frisch AM，Hamadi Y，Miguel I，塔里木公司，Unsworth C（2005）时间背包问题及其解决方案。Bartak R，Milano M，编辑：Internat。Conf.Integration人工智能（AI）运营商。Res.（OR）Techniques Constraint Programming，计算机科学讲义，第3524卷（施普林格，柏林，海德堡），34-48。谷歌学者·Zbl 1133.68425号
[5] Belov G，Letchford AN，Uchoa E（2005）一维库存削减的节点流模型：稳健的分支削减和价格。技术报告：巴西尼特罗伊普罗杜萨昂联邦弗拉米内塞大学。谷歌学者
[6] Benders JF（1962）解决混合变量编程问题的分区过程。数值数学4（1）：238-252.Crossref，谷歌学者·Zbl 0109.38302号 ·doi:10.1007/BF01386316
[7] Bergner M、Caprara A、Ceselli A、Furini F、Lübbecke ME、Malaguti E、Traversi E（2015）《混合整数程序的自动Dantzig-Wolfe重编》。数学。编程149（1-2）:391-424.Crossref，谷歌学者·Zbl 1307.90114号 ·doi:10.1007/s10107-014-0761-5
[8] Caprara A、Furini F、Malaguti E（2013）《时间背包问题的罕见Dantzig-Wolfe重新制定》。信息J.计算。25（3）：560-571.Link，谷歌学者
[9] Caprara A，Malaguti E，Toth P（2011）铁路走廊货运服务设计问题。运输科学。45（2）:147-162链接，谷歌学者
[10] Caprara A、Furini F、Malaguti E、Traversi E（2016），通过递归Dantzig-Wolfe重构解决时间背包问题。通知。处理信函。116（5）：379-386.Crossref，谷歌学者·Zbl 1358.90111号 ·doi:10.1016/j.ipl.2016.01.008
[11] Clautiaux F，Detienne B，Guillot G（2019）时间背包问题的动态规划方法。预印本，2月21日提交，https://hal.archives-ouvertes.fr/hal-02044832v1.谷歌学者·Zbl 1487.90633号
[12] Cormen TH、Leiserson CE、Rivest RL、Stein C（2009）算法简介第3版（麻省理工学院出版社，马萨诸塞州剑桥）。谷歌学者·Zbl 1187.68679号
[13] Dabia S，Ropke S，Van Woensel T（2019）讨论了带时间窗和班次的车辆路径问题的不等式。运输科学。53（5）：1354-1371.链接，谷歌学者
[14] Dantzig GB，Wolfe P（1960）线性程序的分解原理。操作。研究。8（1）：101-111.链接，谷歌学者·Zbl 0093.32806号
[15] Desaulniers G、Desrosiers J、Spoorendonk S（2011）《分支与价格算法的切割平面》。网络58（4）：301-310.Crossref，谷歌学者·Zbl 1231.90296号 ·doi:10.1002/net.20471
[16] Du Merle O，Villeneuve D，Desrosiers J，Hansen P（1999）稳定柱生成。离散数学。194（1-3）：229-237.Crossref，谷歌学者·Zbl 0949.90063号 ·doi:10.1016/S0012-365X（98）00213-1
[17] Forer R（1984）《楼梯矩阵和系统》。SIAM版本。26（1）：1-70.Crossref，谷歌学者·Zbl 0536.65020号 ·数字对象标识代码：10.1137/1026001
[18] Fréville A，Hanafi S（2005）多维0-1背包问题——边界和计算方面。安·Oper。研究。139（1）：195.谷歌学者交叉引用·Zbl 1091.90042号 ·doi:10.1007/s10479-005-3448-8
[19] Fukasawa R、Longo H、Lysgaard J、Poggi de Aragáo M、Reis M、Uchoa E、Werneck RF（2006）《容量受限车辆路径问题的稳健分路与降价》。数学。编程106（3）：491-511.Crossref，谷歌学者·兹比尔1094.90050 ·doi:10.1007/s10107-005-0644-x
[20] Gleixner A、Hendel G、Gamrath G、Achterberg T、Bastubbe M、Berthold T、Christophel P、Jarck K、Koch T、Linderath J、Lübbecke M、Mittelmann HD、Ozyurt D、Ralphs TK、Salvagnin D、Shinano Y（2021）MIPLIB 2017：第六个混合整体编程库的数据驱动编译。数学。编程计算。（13） ：443-490.谷歌学者·Zbl 1476.90191号
[21] Glover F，Klingman D（1988）在线性和整数程序中创建可利用结构的分层策略。数学。编程40（1-3）：165-181.Crossref，谷歌学者·Zbl 0667.90070号 ·doi:10.1007/BF01580728
[22] Gschwind T，Irnich S（2017）使用对偶最优不等式实现时间背包问题的稳定列生成。OR频谱39（2）：541-556 Crossref，谷歌学者·Zbl 1371.90066号 ·doi:10.1007/s00291-016-0463-x
[23] Guignard M（2003）拉格朗日松弛。顶部11（2）：151-200.谷歌学者Crossref·Zbl 1079.90087号 ·doi:10.1007/BF02579036
[24] Guignard M，Kim S（1987）拉格朗日分解：产生更强拉格朗恩边界的模型。数学。编程39（2）：215-228.Crossref，谷歌学者·Zbl 0638.90074号 ·doi:10.1007/BF0529254
[25] Hooker JN，Ottosson G（2003），基于逻辑的折弯机分解。数学。编程服务器。B类96（1）：33-60.Crossref，谷歌学者·Zbl 1023.90082号 ·doi:10.1007/s10107-003-0375-9
[26] ILOG CPLEX Optimization Studio（2017）确定性时限。2021年4月1日访问，https://www.ibm.com/support/knowledgecenter/SSSA5P_12.7.1/ilog.odms.cplex.help/cplex/Parameters/topics/DetTiLim.html谷歌学者
[27] Jayakumar MD，Ramasesh RV（1994）在大规模线性规划模型中检测楼梯结构的聚类启发式算法。欧洲药典。研究。76（1）：229-239.Crossref，谷歌学者·Zbl 0804.90089 ·doi:10.1016/0377-2217（94）90019-1
[28] Jepsen M，Petersen B，Spoorendonk S，Pisinger D（2008）子不等式应用于带时间窗的车辆行驶问题。操作。研究。56（2）：497-511.谷歌学者链接·Zbl 1167.90413号
[29] Karypis KV（1998）hMETIS 1.5：超图分区包。明尼阿波利斯明尼苏达大学技术报告。谷歌学者
[30] Keller H、Pferschy U、Pisinger D（2004）背包问题（斯普林格·弗拉格，柏林，海德堡）。Crossref，谷歌学者·Zbl 1103.90003号 ·doi:10.1007/978-3-540-24777-7
[31] Kohl N，Desrosiers J，Oli B，Madsen G，Solomon MM，Soumis F（1999）带时间窗的车辆路径问题的2-路径切割。运输科学。33（1）：101-116链接，谷歌学者·Zbl 1004.90015号
[32] Lasdon LS（1970）大系统优化理论（纽约麦克米兰）。谷歌学者·Zbl 0224.90038号
[33] Lawler EL，Wood DE（1966）《分枝定界法：一项调查》。操作。研究。14（4）：699-719链接，谷歌学者·Zbl 0143.42501号
[34] Lübbecke ME，Desrosiers J（2005）专栏生成中的选定主题。操作。研究。53（6）：1007-1023.链接，谷歌学者·兹比尔1165.90578
[35] Lübbecke ME，Puchert C（2015）《具有阶梯结构的混合整数程序的原始启发式》。亚琛RWTH大学技术报告。谷歌学者
[36] Mingozzi A，Roberti R（2017）基于源和汇模式匹配的固定电荷传输问题的精确算法。运输科学。52（2）：229-238.链接，谷歌学者
[37] Nemhauser GL，Park S（1991）边缘着色的多面体方法。操作。Res.Lett公司。10（6）：315-322.Crossref，谷歌学者·Zbl 0754.90062号 ·doi:10.1016/0167-6377（91）90003-8
[38] Nilsson O，Sjelvgren D（1997），变量分裂应用于短期水力发电调度中启动成本的建模。IEEE传输。电力系统12（2）:770-775.Crossref，谷歌学者·数字对象标识代码：10.1109/59.589678
[39] Pessoa A、Sadykov R、Uchoa E、Vanderbeck F（2018）柱生成中基于线性编程的稳定技术的自动化和组合。信息J.计算。30（2）：339-360.链接，谷歌学者·Zbl 1528.90164号
[40] Petersen B、Pisinger D、Spoorendonk S（2008），在Dantzig-Wolfe分解带时间窗的车辆路径问题时使用的Chvátal-gomory秩-1切割。Golden B、Raghavan S、Wasil E编辑。车辆路径问题：最新进展和新挑战《运筹学/计算机科学接口》，第43卷（Springer，Boston），397-419。Crossref，谷歌学者·Zbl 1187.90059号 ·doi:10.1007/978-0-387-77778-8_18
[41] Pigatti A，De Aragao MP，Uchoa E（2005）广义分配问题的稳定分支与降价。电子笔记离散数学。19:389-395.Crossref，谷歌学者·Zbl 1203.90137号 ·doi:10.1016/j.endm.2005.05.052
[42] Poggi de Aragao M，Uchoa E（2003）《稳健分支与降价算法的整数程序重新制定》。程序。Conf.数学。里约计划：纳尔逊·马库兰荣誉大会，里约热内卢，巴西，56-61。谷歌学者
[43] Savelsbergh M（1997）广义指派问题的分支与价格算法。操作。研究。45（6）：831-841.Link，谷歌学者·Zbl 0895.90161号
[44] Schrijver A（1986）线性与整数规划理论（John Wiley&Sons，纽约）。谷歌学者·Zbl 0665.90063号
[45] Spooredonk S，Desaulniers G（2010）将Clique不等式应用于具有时间窗的车辆路径问题。INFOR通知。系统操作。研究。48（1）：53-67.Crossref，谷歌学者·Zbl 07683562号 ·doi:10.3138/infor.48.1.053
[46] Tang L，Meng Y，Liu J（2011）动态批处理决策问题的改进拉格朗日松弛算法。国际。J.生产研究。49（9）：2501-2517.Crossref，谷歌学者·网址：10.1080/00207543.2010.532915
[47] Van den Akker M，Hurkens CAJ，Savelsbergh MWP（2000）机器调度问题的时间诱导公式：列生成。信息J.计算。12（2）：111-124.链接，谷歌学者·Zbl 1034.90004号
[48] Vanderbeck F，Savelsbergh MWP（2006）混合整数规划中Dantzig-Wolfe分解的一般视图。操作。Res.Lett公司。34（3）：296-306.Crossref，谷歌学者·Zbl 1109.90062号 ·doi:10.1016/j.orl.2005.05.009
[49] Vanderbeck F，Wolsey LA（2010）整数规划的重整和分解。1958-2008年整数编程50年（施普林格，柏林，海德堡），431-502.谷歌学者·Zbl 1187.90207号
[50] Wang J，Ralphs T（2013）离散优化中基于超图的自动分解方法的计算经验。Gomes C，Sellmann M，编辑：国际。Conf.AI OR技术——恒定编程组合优化。计算机科学问题，讲稿，第7874卷（施普林格，柏林，海德堡），394-402。谷歌学者·Zbl 1382.90119号
[51] Wolsey LA，Nemhauser GL（1988）整数与组合优化（John Wiley&Sons，纽约）。谷歌学者·Zbl 0652.90067号
[52] Wu D，Ierepatritou MG（2003）有效解决短期调度问题的分解方法。计算。化学工程。27（8-9）：1261-1276.Crossref，谷歌学者·doi:10.1016/S0098-1354（03）00051-6
[53] Zhao Y，Larsson T，Rönnberg E，Pardalos PM（2018）固定费用运输问题：基于拉格朗日分解和列生成的强公式。J.全球优化。72（3）:517-538.Crossref，谷歌学者·Zbl 1406.90020号 ·doi:10.1007/s10898-018-0661-y
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。