×
马蒂奥·菲舍蒂;利贝蒂，利奥;多梅尼科·萨尔瓦金;托比·沃尔什

轨道收缩：理论和应用。 （英文） Zbl 1406.90081号

离散应用程序。数学。 222, 109-123 (2017).
摘要：我们提出了一种基于公式对称性的方法，用于生成比原始对称MILP变量更少的混合整数线性规划（MILP）松弛。我们的技术还扩展到了凸MINLP和一些具有特殊结构的非凸MILLP。我们展示了当我们嵌入到应用于两个重要应用（多活动移位调度和多背包问题）的分解方法中时，松弛的有效性，表明与纯MIP或CP方法相比，它可以将CPU时间提高几个数量级。

引用于1文件

MSC公司：

90立方厘米 混合整数编程

关键词：

数学规划;约束编程;离散优化;对称;放松;MINLP公司

软件：

CPLEX公司;MIPLIB公司;套头衫;背包;鹦鹉螺;Gecode公司;野牛
PDF格式BibTeX公司 XML格式引用
\textit｛M.Fischetti｝等人，《离散应用》。数学。222109--123（2017；Zbl 1406.90081）
全文： 内政部

参考文献：

[1] 贝洛蒂，P。；Lee，J。；自由，L。；Margot，F。；Wächter，A.，非凸MINLP的分支和边界收紧技术，Optim。方法软件。，24, 4, 597-634, (2009) ·Zbl 1179.90237号
[2] Bödi，R。；K.先生。；Joswig，M.，高度对称线性和整数程序的算法，数学。程序。，137, 65-90, (2013) ·Zbl 1262.90101号
[3] 科恩，D。；杰文斯，P。；杰斐逊，C。；Petrie，K。；Smith，B.，约束满足问题的对称定义，（van Beek，P.，约束编程，LNCS，vol.3709，（2005），Springer），17-31·Zbl 1153.68454号
[4] 科特，M.-C。；Gendron，B。；坎佩尔，C.-G。；Rousseau，L.-M.，轮班调度问题整数规划建模的形式语言，约束，16，1，54-76，（2011）·Zbl 1215.90026号
[5] 科特，M.-C。；Gendron，B。；卢梭，L.-M.，《多活动轮班计划的基于语法的整数规划模型》，管理。科学。，57, 1, 151-163, (2011) ·Zbl 1214.90077号
[6] CPLEX，CPLEX 12.4用户手册，IBM ILOG，2012年；CPLEX，CPLEX 12.4用户手册，IBM ILOG，2012年
[7] 菲舍蒂，M。；Liberti，L.，《轨道收缩》（ISCO会议记录，（2012年），48-58·Zbl 1370.90209号
[8] Gatermann，K。；Parrilo，P.，《对称群，半定程序和平方和》，J.Pure Appl。代数，192，95-128，（2004）·Zbl 1108.13021号
[9] Gecode团队，Gecode：通用约束开发环境，2012年。可在http://www.gecode.org; Gecode团队，Gecode：通用约束开发环境，2012年。可在http://www.gecode.org
[10] Gent，I。；Smith，B.，《对称打破约束编程》（Horn，W.，《第14届欧洲人工智能会议论文集》，ECAI，第14卷，（2000），IOS出版社阿姆斯特丹），599-603
[11] Gent，I.P.公司。；Petrie，K.E。；Puget，J.-F.，约束编程中的对称性，（Rossi，F.；van Beek，P.；Walsh，T.，约束编程手册，（2006），爱思唯尔），329-376
[12] Gent，I.P。；Walsh，T.，《从近似到最优解：构建剪枝和传播规则》（IJCAI，（1997），Morgan Kaufmann），1396-1401
[13] 吉尔摩，P.C。；Gomory，R.E.，《切割库存问题的线性规划方法》，Oper。决议，9849-859，（1961）·Zbl 0096.35501号
[14] K.先生。；雷恩，T。；Schürmann，A.，利用核心点在整数凸优化中利用对称性，Oper。Res.Lett.公司。，41, 298-304, (2013) ·Zbl 1286.90097号
[15] 胡克，J.N。；Ottosson，G.，基于逻辑的弯曲分解，数学。程序。，96, 1, 33-60, (2003) ·Zbl 1023.90082号
[16] 霍普克罗夫特，J.E。；Ullman，J.D.，《自动机理论、语言和计算导论》，（1979），艾迪森·卫斯理·兹标0426.68001
[17] Katebi，H。；Sakallah，K.A。；Markov，I.L.，《对称性和可满足性：更新》，（可满足性测试的理论和应用——2010年SAT，2010年第13届国际SAT会议，2010年7月11日至14日，英国爱丁堡。《会议记录》，第6175卷，（2010年），113-127·Zbl 1306.68160号
[18] 科赫，T。；Achterberg，T。；安德森，E。；O.巴斯特。；Berthold，T。；比克斯比，R。；丹娜，E。；甘拉特，G。；Gleixner，A。；亨氏，S。；Lodi，A。；Mittelmann，H。；Ralphs，T。；Salvagnin，D。；斯特菲，D。；Wolter，K.，Miplib 2010，数学。程序。计算。，3, 2, 103-163, (2011)
[19] Liberti，L.，《对称破缺约束的自动生成》，（Yang，B.；Du，D.-Z.；Wang，C.，《组合优化、约束和应用》，COCOA08，LNCS，第5165卷，（2008），Springer Berlin），328-338·Zbl 1168.90566号
[20] Liberti，L.，《数学编程中的改革：自动对称检测和利用》，《数学》。程序。A、 131273-304（2012）·Zbl 1235.90103号
[21] 自由，L。；Ostrowski，J.，数学程序基于稳定器的对称破缺约束，J.Global Optim。，60, 2, 183-194, (2014) ·Zbl 1312.90077号
[22] 林德拉斯，J。；Margot，F。；Thain，G.，通过整数规划和高通量计算改善足球池问题的边界，INFORMS J.Compute。，21，3，445-457，（2009年）·兹比尔1243.90006
[23] Margot，F.，《通过分枝和切割中的同构修剪》，《数学》。程序。，94, 71-90, (2002) ·Zbl 1023.90088号
[24] Margot，F.，利用对称ILP中的轨道，数学。程序。B、 98，3-21，（2003）·Zbl 1082.90070
[25] Margot，F.，《整数线性规划中的对称性》，（Jünger，M.；Liebling，T.；Naddef，D.；Nemhauser，G.；Pulleyblank，W.；Reinelt，G.，Rinaldi，G..；Wolsey，L.，《1958-2008年整数规划50年》（2010），斯普林格-柏林-海德堡），647-686·Zbl 1187.90200号
[26] Martello，S。；Toth，P.，《背包问题：算法和计算机实现》，（1990），威利·Zbl 0708.68002号
[27] B.麦凯。，鹦鹉螺《用户指南》（2.4版），（2007），澳大利亚国立大学计算机科学系
[28] McKay，B.D.，实用图同构，（1981）·兹伯利0521.05061
[29] Mittelmann，H.D。；Salvagnin，D.，关于解决一个困难的二次三维赋值问题，数学。程序。计算。，7, 219-234, (2015) ·Zbl 1327.90140号
[30] 奥斯特罗斯基，J。；林德拉斯，J。；罗西，F。；Smriglio，S.，约束轨道分支，（Lodi，A.；Panconesi，A.；Rinaldi，G.，IPCO，LNCS，第5035卷，（2008），Springer），225-239·Zbl 1143.90361号
[31] 奥斯特罗斯基，J。；林德拉斯，J。；罗西，F。；Smriglio，S.，轨道分支，数学。程序。，126, 147-178, (2011) ·Zbl 1206.90101号
[32] 奥斯特罗斯基，J。；林德拉斯，J。；罗西，F。；Smriglio，S.，解决大型Steiner三重覆盖问题，Oper。Res.Lett.公司。，39, 2, 127-131, (2011) ·Zbl 1218.90103号
[33] Pesant，G.，有限变量序列的正则语言成员约束，（约束编程的原理和实践-CP 2004，第十届国际会议，CP 2004，加拿大多伦多，2004年9月27日至10月1日，计算机科学论文集，第3258卷，（2004），Springer），482-495·Zbl 1152.68573号
[34] Pesant，G。；坎佩尔，C.-G。；卢梭，L.-M。；Sellmann，M.，无上下文语法约束的多面体，组合优化问题约束编程中AI和OR技术的集成，223-232，（2009）·Zbl 1241.68106号
[35] Pisinger，D.，大型多背包问题的精确算法，欧洲J.Oper。第114、3528-541号决议（1999年）·Zbl 0948.90110号
[36] Pisinger，D.，背包难题在哪里？，计算。操作。决议，32，2271-2284，（2005）·Zbl 1116.90089号
[37] Puget，J.-F.，《变量和值对称性的自动检测》，（van Beek，P.，《约束编程》，LNCS，第3709卷，（2005），纽约斯普林格出版社），475-489·Zbl 1153.68477号
[38] 坎佩尔，C.-G。；Rousseau，L.-M.，《多活动转移调度问题的大邻域搜索方法》，J.Heuristics，16，373-392，（2010）·Zbl 1187.90141号
[39] 坎佩尔，C.-G。；Walsh，T.，《分解全球语法约束》，（第十三届国际Const-Raint程序设计原则与实践会议（CP-2007），（2007），斯普林格-Verlag），590-604·兹比尔1145.68529
[40] （Rossi，F.；van Beek，P.；Walsh，T.，《约束编程手册》，（2006），爱思唯尔）·Zbl 1175.90011号
[41] Rotman，J.J.，《高等现代代数》（2002），普伦蒂斯·霍尔·Zbl 0997.00001号
[42] Salvagnin，D.，《轨道收缩：混合MIP/CP方法的新工具》（CPAIOR，（2013）），204-215·Zbl 1382.90066号
[43] Salvagnin，D。；Walsh，T.，多活动轮班调度的混合MIP/CP方法（CP，（2012）），633-646
[44] Scholl，A。；Klein，R。；Jürgens，C.，Bison：精确求解一维装箱问题的快速混合程序，计算。操作。第24、7、627-645号决议（1997年）·Zbl 0882.90113号
[45] Shaw，P.，《箱子包装的约束》，（Wallace，M.，CP，《计算机科学讲义》，第3258卷，（2004），Springer），648-662·Zbl 1152.68586号
[46] Smith，B.，约束规划中的对称破缺约束，（Kaibel，V.；Liberti，L.；Schürmann，A.；Sotirov，R.，《在优化中利用对称性》，Oberwolfach Reports，第7卷，（2010），欧洲数学学会Zürich），2258
[47] Sturmfels，B.，不变量理论中的算法，（2008年），Springer Wien·Zbl 1154.13003号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。