×

广义相交割和一种新的割生成范式。 (英文) Zbl 1262.90099号

小结:相交切割由多面体圆锥和内部不包含可行整数点的凸集(S)生成。我们通过用更一般的多面体(C)替换圆锥来推广这些切割。由此产生的广义交集切割支配着原始交集切割。这导致了一种新的切面范式,在这种范式下,生成并存储了(C)的极值射线与(S)边界的交点,而不是切面本身。然后,可以使用这些交点以非递归方式生成切割,这需要一些标准切割生成例程的递归应用程序。给出了一个加强广义截交集的积分约束变量系数的方法。新的割平面范式产生了交叉口闭合及其强化变体的新特征。这种描述是最小的,因为它使用的每一个不等式都定义了闭包的一个方面。

MSC公司:

90立方厘米 整数编程
90立方厘米 混合整数编程
90C57型 多面体组合学,分支与绑定,分支与切割
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Andersen,K.,Louveaux Q.,Weismantel,R.,Wolsey,L.:从单纯形表格的两行中剪切平面。IPCO XII,第1-15页,纽约伊萨卡(2007)·Zbl 1136.90517号
[2] Balas E.:交叉切割——一种用于整数编程的新型切割平面。操作。第19号、第19-39号决议(1971年)·Zbl 0219.90035号 ·doi:10.1287/opre.19.19
[3] Balas E.,Ceria S.,Cornuéjols G.:用于混合0-1程序的提升和投影切割平面算法。数学。程序。58, 295–324 (1993) ·Zbl 0796.90041号 ·doi:10.1007/BF01581273
[4] Balas E.,Bonami P.:从LP单纯形表生成lift-project切割:新变体的开源实现和测试。数学。程序。计算。1, 165–199 (2009) ·Zbl 1180.90206号 ·doi:10.1007/s12532-009-0006-4
[5] Balas E.,Jeroslow R.G.:加强混合型项目的削减。欧洲药典。第4号决议,224–234(1980)·Zbl 0439.90064号 ·doi:10.1016/0377-2217(80)90106-X
[6] Balas E.,Perregaard M.:对于0–1编程,lift与project切割、简单析取切割和混合整数Gomory切割之间的精确对应。数学。程序。B 94221–245(2003年)·Zbl 1030.90068号 ·doi:10.1007/s10107-002-0317-y
[7] Borozan V.,Cornuéjols G.:整数约束的最小有效不等式。数学。操作。第34、538–546号决议(2009年)·Zbl 1218.90131号 ·doi:10.1287/门.1080.370
[8] Cook W.J.,Kannan R.,Schrijver A.:混合整数规划问题的Chvátal闭包。数学。程序。47, 155–174 (1990) ·Zbl 0711.90057号 ·doi:10.1007/BF01580858
[9] Dey,S.,Wolsey,L.:提升对应于无格三角形的极小不等式中的整数变量。IPCO XIII,第263-275页,意大利贝蒂诺罗(2008)·Zbl 1143.90359号
[10] Fischetti,M.,Lodi,A.,Tramontani,A.:关于分离切割的分离。数学。程序。A(2009)。doi:10.1007/s10107-009-0300-y·Zbl 1218.90125号
[11] Gomory R.,Johnson E.:与角多面体相关的一些连续函数。数学。程序。3, 23–85 (1972) ·Zbl 0246.90029号 ·doi:10.1007/BF01584976
[12] Grunbaum B.:凸多面体。Interscience Publishers,纽约(1967)
[13] Johnson E.:关于混合整数规划的群问题。数学。程序。研究2,137-179(1974)·doi:10.1007/BFb0120692
[14] Lovász L.:数字几何和整数编程。In:Iri,M.,Tanabe,K.(编辑)数学编程,第177-201页。KTK科学出版社,东京(1989)·Zbl 0683.90054号
[15] Wesselmann F.:加强Gomory混合整数切割:一项计算研究。帕德博恩大学(2009)·Zbl 1209.90278号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。