皮埃尔·博纳米 关于优化提升和项目关闭。 (英语) Zbl 1275.90042号 数学。程序。计算。 4,第2期,151-179(2012). 摘要:混合整数线性规划的强化lift-and-project闭包是通过将从其初始公式中获得的所有强化lift-project-cuts相交而获得的多面体,或者等效地,将从所有表中读取的所有与LP松弛的可行基和不可行基相对应的混合整数Gomory切割相交而获得。在本文中,我们提出了一种对加强的lift-project闭包进行近似优化的算法。我们方法的独创性在于,它依赖于一个割代线性规划问题,该问题是通过修改变量和约束的界,从原始LP松弛得到的。这种分离LP也可以被视为具有特定规范化的析取编程过程中使用的切割生成LP的对偶。我们研究了这种分离LP的性质,并讨论了如何使用它对加强的提升和项目闭合进行近似优化。最后,我们给出了计算实验,并与最近的相关工作进行了比较。 引用于15文件 MSC公司: 90立方厘米 混合整数编程 90C57型 多面体组合学,分支与绑定,分支与切割 关键词:提升和项目切割;Gomory削减;分离LP 软件:CPLEX公司;Cgllandp公司;MIPLIB公司;MIPLIB2003公司;CLP公司 PDF格式BibTeX公司 XML格式引用 \textit{P.Bonami},数学。程序。计算。4,第2号,151--179(2012;Zbl 1275.90042) 全文: 内政部 arXiv公司 哈尔 参考文献: [1] Andersen K.、Cornuéjols G.、Li Y.:缩减与分割削减:提高混合整数Gomory削减的绩效。管理。科学。50(11), 1720–1732 (2005) ·Zbl 1232.90310号 ·doi:10.1287/mnsc.1050.0382 [2] Andersen K.、Cornuéjols G.、Li Y.:分裂合龙和交叉路口切割。数学。程序。102, 457–493 (2005) ·兹比尔1066.90070 ·doi:10.1007/s10107-004-0558-z操作系统 [3] Balas E.:交集切割——一种用于整数编程的新型切割平面。操作。第19号、第19-39号决议(1971年)·Zbl 0219.90035号 ·doi:10.1287/opre.19.19 [4] Balas E.:离散优化问题的析取编程和松弛层次。SIAM J.代数离散。方法6(3),466–486(1985)·Zbl 0592.90070号 ·doi:10.1137/0606047 [5] Balas,E.:析取规划:可行点凸壳的性质。谨慎。申请。数学。89、3–44(1998年)(最初是卡内基梅隆大学MSRR#348,1974年7月)·Zbl 0921.90118号 [6] Balas E.,Bonami P.:从LP单纯形表生成lift-project切割:新变体的开源实现和测试。数学。程序。计算。1, 165–199 (2009) ·Zbl 1180.90206号 ·doi:10.1007/s12532-009-0006-4 [7] Balas E.、Ceria S.、Cornuéjols G.:混合0-1程序的提升和投影切割平面算法。数学。程序。58, 295–324 (1993) ·Zbl 0796.90041号 ·doi:10.1007/BF01581273 [8] Balas E.、Ceria S.、Cornuéjols G.:在分支与切割框架中通过lift-and-project进行混合0-1编程。管理。科学。42, 1229–1246 (1996) ·Zbl 0880.90105号 ·doi:10.1287/mnsc.42.91229 [9] Balas E.,Jeroslow R.G.:加强对混合整数项目的削减。欧洲药典。第4(4)号决议,224–234(1980)·Zbl 0439.90064号 ·doi:10.1016/0377-2217(80)90106-X [10] Balas E.,Perregaard M.:混合0-1编程的提升和项目:最新进展。谨慎。申请。数学。123, 129–154 (2002) ·Zbl 1076.90031号 ·doi:10.1016/S0166-218X(01)00340-7 [11] Balas E.,Perregaard M.:0-1编程中lift与project切割、简单析取切割和混合整数Gomory切割之间的精确对应。数学。程序。94, 221–245 (2003) ·Zbl 1030.90068号 ·doi:10.1007/s10107-002-0317-y [12] Balas E.,Saxena A.:对分割闭合进行优化。数学。程序。113219–240(2008年)·兹比尔1135.90030 ·doi:10.1007/s10107-006-0049-5 [13] Balas E.和Zemel E.:背包多边形的最小覆盖面。SIAM J.应用。数学。34, 119–148 (1978) ·Zbl 0385.90083号 ·数字对象标识代码:10.1137/0134010 [14] Bixby,R.、Ceria,S.、McZeal,C.、Savelsbergh,M.:Miplib 3.0。http://www.caam.rice.edu/\(\sim\)bixby/miplib/miplib.html(1998) [15] Bixby,R.,Fenelon,M.,Gu,Z.,Rothberg,E.,Wunderling,R.:最尖锐的切割,章节混合整体编程:进度报告,第309-326页。MPS-SIAM优化系列。SIAM(2004)·Zbl 1152.90542号 [16] Bonami,P.,Balas,E.:Cgllandp。https://projects.coin-or.org/cgl/wiki/cgllandp . 2006年7月 [17] Bonami P.、Cornuéjols G.、Dash S.、Fischetti M.、Lodi A.:混合整数线性规划的Chvátal–Gomory投影切割。数学。程序。系列A 113(2),241–257(2008)·Zbl 1135.90031号 ·doi:10.1007/s10107-006-0051-y [18] Bonami P.,Minoux M.:使用1级提升和项目闭合来生成0-1 MIP的削减,这是一项计算研究。谨慎。最佳方案。2(4), 288–307 (2005) ·Zbl 1172.90450号 ·doi:10.1016/j.disopt.2005.08.006 [19] Caprara A.,Letchford A.N.:关于分裂切割和相关不等式的分离。数学。程序。94(2–3), 279–294 (2003) ·Zbl 1030.90095号 ·doi:10.1007/s10107-002-0320-3 [20] Chvátal V.:Edmonds多边形和组合优化的层次结构。谨慎。数学。4, 305–337 (1973) ·Zbl 0253.05131号 ·doi:10.1016/0012-365X(73)90167-2 [21] Cook W.,Kannan R.,Schrijver A.:混合整数规划问题的Chvátal闭包。数学。程序。47155–174(1990年)·兹比尔0711.90057 ·doi:10.1007/BF01580858 [22] Cornuéjols G.,Li Y.:整数程序的基本闭包。操作。Res.Lett公司。28, 1–8 (2001) ·Zbl 1108.90326号 ·doi:10.1016/S0167-6377(00)00067-5 [23] Cornuéjols,G.,Nannicini,G.混合整数线性规划中生成秩-1分裂切割的实用策略。数学。程序。计算。第1-38页。doi:10.1007/s12532-011-0028-6·Zbl 1276.90040号 [24] Dash S.、Goycoolea M.:一种产生1级gmi削减的启发式方法。数学。程序。计算。2, 231–257 (2010) ·Zbl 1208.90120号 ·doi:10.1007/s12532-010-0018-0 [25] Dash S.,Günlük O.,Lodi A.:多面体集的MIR闭包。数学。程序。121(1), 33–60 (2010) ·Zbl 1184.90107号 ·doi:10.1007/s10107-008-0225-x [26] Eisenbrand,F.:关于多面体初等闭包的隶属度问题。组合数学19(2),(1999)·Zbl 0947.90071号 [27] Fischetti M.,Lodi A.:优化第一个Chvátal关闭。数学。程序。110, 3–20 (2007). doi:10.1007/s10107-006-0054-8·Zbl 1192.90125号 ·doi:10.1007/s10107-006-0054-8 [28] Fischetti M.,Lodi A.,Tramontani A.:关于分离切割的分离。数学。程序。128, 205–230 (2011) ·Zbl 1218.90125号 ·doi:10.1007/s10107-009-0300-y [29] Fischetti,M.,Salvagnin,D.:析取优化的输入输出方法。收录于:Lodi,A.,Milano,M.,Toth,P.,(编辑)组合优化问题约束编程中人工智能和OR技术的集成。计算机科学课堂讲稿,第6140卷,第136-140页。柏林施普林格出版社(2010年)·Zbl 1285.90018号 [30] Fischetti M.,Salvagnin D.:gomory混合整体剪裁的宽松剪裁框架。数学。程序。计算。3, 79–102 (2011) ·兹比尔1257.90057 ·doi:10.1007/s12532-011-0024-x [31] 福雷斯特,J.:CLP。网址:http://www.coin-or.org/ (2004) [32] Gomory R.:线性规划整数解的算法。收录:Graves,R.L.,Wolfe,P.(编辑)《数学规划的最新进展》,第269-302页。McGraw-Hill,纽约(1963年)·Zbl 0235.90038号 [33] Gomory,R.E.:解决整数的线性规划问题。摘自:Bellman R.,Hall,M.(编辑)《组合分析》,《应用数学研讨会论文集》,第10卷,第211-216页。普罗维登斯(1960)·Zbl 0096.14505号 [34] Kelley J.E.:求解凸规划的割平面方法。J.SIAM 8(4),703–712(1960)·Zbl 0098.12104号 [35] Lougee-Heimer,R.:运筹学的通用优化界面。IBM J.Res.Dev.47,57–66(2003)。网址:http://www.coin-or.org [36] Martin,A.、Achterberg,T.、Koch,T.:MIPLIB 2003。http://miplib.zib.de (2003) [37] Nemhauser G.,Wolsey L.:为0-1混合整数程序生成所有切割的递归过程。数学。程序。46, 379–390 (1990) ·Zbl 0735.90049号 ·doi:10.1007/BF01585752 [38] Padberg M.,Roy T.,Wolsey L.:固定电荷问题的有效线性不等式。操作。第33842-861号决议(1985年)·Zbl 0579.90072号 ·doi:10.1287/opre.33.4.842 [39] Roy T.V.,Wolsey L.:使用自动重新格式化解决混合整数编程问题。操作。第35、45–57号决议(1987年)·Zbl 0614.90082号 ·doi:10.1287/opre.35.145 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。