里卡多Fukasawa;马科斯·戈库利亚 关于混合整数背包割集的精确分离。 （英文） Zbl 1218.90126号 数学。程序。 128，第1-2（A）、19-41号（2011）. 摘要：在过去的几十年中，人们对混合整数背包集的有效不等式类的推导进行了大量的研究，我们称之为背包割。Bixby等人（2004）从经验上观察到，在解决混合整数规划问题的分支与切割算法的背景下，最重要的不等式是由混合整数舍入（MIR）过程导出的背包切割。在这项工作中，我们通过开发一种算法来分离混合整数背包集的凸包来分析这个经验观察。该算法的主要特点是有一个专门的子程序，用于优化利用优势关系的混合整数背包集。背包裁剪的精确分离使我们能够建立自然基准来评估特定类别的裁剪。使用这些基准MIPLIB 3.0版和MIPLIB 2003年实例分析了MIR不等式的性能。我们的计算是用精确的算法进行的，这令人惊讶：在绝大多数情况下，背包削减产生了边界改进，仅MIR削减就达到了观察到的87%以上的增益。 引用于17文件 MSC公司： 90立方厘米 整数编程 90立方厘米 混合整数编程 90C57型 多面体组合学，分支与绑定，分支与切割 关键词：切割平面算法;混合整数背包问题;混合整数规划 软件：CPLEX公司;MIPLIB公司;gmp公司;MIPLIB2003公司 PDF格式BibTeX公司 XML格式引用 \textit｛R.Fukasawa｝和\textit｛M.Goycoolea｝，数学。程序。128，编号1--2（A），19-41（2011；Zbl 1218.90126） 全文： 内政部 参考文献： [1] Achterberg，T.、Koch，T.、Martin，A.：MIPLIB 2003。操作。Res.Lett公司。34(4), 1–12 (2006). doi:10.1016/j.orl.2005.07.009。http://www.zib.de/Publications/abstracts/ZR-05-28/ . 请参见http://miplib.zib.de [2] Andonov R.，Poiriez V.，Rajopadhye S.：无界背包问题：重新审视动态编程。欧洲药典。第123、394–407号决议（2000年）·Zbl 0961.90123号 ·doi:10.1016/S0377-2217（99）00265-9 [3] Applegate D.、Bixby R.E.、Chvátal V.、Cook W.：不符合模板范式的TSP切割。在：（eds）计算组合优化，最优或可证明的近最优解[基于春季学校]，第261-304页。Springer-Verlag GmbH，伦敦（2001）·Zbl 1052.90060号 [4] Applegate D.、Cook W.、Dash S.、Espinoza D.：线性规划问题的精确解。操作。Res.Lett公司。35, 693–699 (2007) ·Zbl 1177.90282号 ·doi:10.1016/j.orl.2006.12.010 [5] Atamtürk A.：关于混合整数背包多面体的面。数学。程序。98, 145–175 (2003) ·Zbl 1082.90073 ·doi:10.1007/s10107-003-0400-z [6] Atamtürk A.：用于混合整数编程的序列无关提升。操作。第52、487–490号决议（2004年）·Zbl 1165.90576号 ·doi:10.1287/opre.1030.0099 [7] Avella，P.，Boccia，M.，Vasilyev，I.：广义指派问题精确背包分离的计算研究。技术报告可在Optimization Online（2006）上获得·Zbl 1190.90153号 [8] Balas E.，Perregaard M.：对于0–1编程，lift与project切割、简单析取切割和混合整数Gomory切割之间的精确对应。数学。程序。94, 221–245 (2003) ·Zbl 1030.90068号 ·doi:10.1007/s10107-002-0317-y [9] Balas E.，Saxena A.：对分割闭合进行优化。数学。程序。113(2), 219–240 (2008) ·Zbl 1135.90030号 ·doi:10.1007/s10107-006-0049-5 [10] Balas E.和Zemel E.：背包多边形的最小覆盖面。SIAM J.应用。数学。34(1), 119–148 (1978) ·兹伯利0385.90083 ·数字对象标识代码：10.1137/0134010 [11] Bellman R.E.：动态编程。普林斯顿大学出版社，普林斯顿（1957）·Zbl 0077.13605号 [12] Bixby，R.，Gu，Z.，Rothberg，E.，Wunderling，R.：混合整数规划：进展报告。收录：最尖锐的切入点：曼弗雷德·帕德伯格及其作品的影响。MPS/SIAM优化系列，第309-326页 [13] Bixby R.E.、Ceria S.、McZeal C.M.、Savelsbergh M.W.P.：更新的混合整数编程库：MIPLIB 3.0。Optima 58，12-15（1998） [14] Bonami P.，Cornuéjols G.，Dash S.，Fischetti M.，Lodi A.：混合整数线性规划的投影Chvátal Gomory割。数学。程序。113(2), 241–257 (2008) ·Zbl 1135.90031号 ·doi:10.1007/s10107-006-0051-y [15] Boyd A.E.：Fenchel为整数程序切割平面。操作。第42号、第53–64号决议（1992年）·Zbl 0809.90104号 ·doi:10.1287/opre.42.153 [16] Cook W.，Kannan R.，Schrijver A.：混合整数规划问题的Chvátal闭包。数学。程序。47, 155–174 (1990) ·Zbl 0711.90057号 ·doi:10.1007/BF01580858 [17] Cornuéjols G.，Li Y.，Vanderbussche D.：K-cuts：LP表格中Gomory混合整数切割的变体。信息J.计算。15(4), 385–396 (2003) ·Zbl 1238.90105号 ·doi:10.1287/ijoc.15.4.385.24893 [18] CPLEX公司：http://www.ilog.com/products/cplex [19] Crowder H.，Johnson E.，Padberg M.：解决大规模的零one线性规划问题。操作。第31（5）号决议，803–834（1983）·Zbl 0576.90065号 ·数字对象标识代码：10.1287/opre.31.5.803 [20] Dantzig G.B.：离散变量极值问题。操作。第5（2）号决议，266–277（1957）·doi:10.1287/opre.5.2266 [21] Dash，S.，Günlük，O.：关于gomory组合整体切入的力量。IBM研究报告RC23967（2006）·Zbl 1209.90277号 [22] Dash，S.，Günlük，O.，Lodi，A.：关于多面体的MIR闭包。收录：Fischetti，M.，Williamson，D.（编辑）。IPCO，计算机科学讲稿，第4513卷，第337-351页（2007年）·Zbl 1136.90417号 [23] Dolan E.，MoréJ.：用性能曲线对优化软件进行基准测试。数学。程序。91（2），201–213（2001）·邮编：1049.90004 ·doi:10.1007/s101070100263 [24] Eisenbrand F.，Laue S.：平面整数规划的线性算法。数学。程序。102（2），249–259（2005）·Zbl 1079.90581号 ·doi:10.1007/s10107-004-0520-0 [25] Fischetti，M.，Lodi，A.：关于0-1整数线性问题的背包闭包。在第十届组合优化国际研讨会上的演讲，Aussois（2006）。可在http://www-id.imag.fr/IWCO2006/slides/Fischetti.pdf ·兹比尔1274.90240 [26] Fischetti M.，Lodi A.：优化第一个Chvátal关闭。数学。程序。B 110（1），3–20（2007）·Zbl 1192.90125号 ·doi:10.1007/s10107-006-0054-8 [27] Fischetti，M.，Salvagnin，D.：混合整数线性规划的局部优势过程。网址：http://www.dei.unipd.it/\（\sim\）fisch/papers/MIPdominance.pdf·Zbl 1285.90017号 [28] Fischetti M.，Toth P.：组合优化问题的一种新的优势程序。操作。Res.Lett公司。7, 181–187 (1988) ·Zbl 0655.90064号 ·doi:10.1016/0167-6377（88）90025-9 [29] Fukasawa，R.：单轮混合整数程序：理论与计算。乔治亚理工学院博士论文（2008） [30] Gomory R.E.：早期整数编程（再版）。操作。第50（1）号决议，78-81（2002）·Zbl 1163.90663号 ·doi:10.1287/opre.50.178.17793 [31] Gomory R.E.，Johnson E.：与角多面体I.数学有关的一些连续函数。程序。3, 23–85 (1972) ·Zbl 0246.90029号 ·doi:10.1007/BF01584976 [32] Goycoolea，M.：大型混合整数规划模型的切割平面。乔治亚理工学院博士论文（2006） [33] Granlund，T.：GNU多精度算术库。在线获取网址：http://www.swox.com/gmp/ [34] Gu Z.，Nemhauser G.L.，Savelsbergh M.W.P.：0–1整数程序的提升覆盖不等式：计算。信息J.计算。10, 427–437 (1998) ·doi:10.1287/ijoc.10.4.427 [35] Gu Z.，Nemhauser G.L.，Savelsbergh M.W.P.：混合整数规划中的序列无关提升。J.组合优化。4(1), 109–129 (2000) ·兹比尔0964.90030 ·doi:10.1023/A:1009841107478 [36] Horowitz E.，Sahni S.：计算分区并应用于背包问题。J.ACM 21277-292（1974年）·Zbl 0329.90046号 ·数字对象标识代码：10.1145/321812.321823 [37] 茨城T.：分枝定界算法中支配关系的力量。J.ACM 24、264–279（1977年）·兹比尔0357.90043 ·数字对象标识代码：10.1145/322003.322010 [38] Kannan R.：二元整数规划问题的多项式算法。J.ACM 27、118–122（1980）·Zbl 0423.90052号 ·doi:10.1145/322169.322179 [39] Kaparis，K.，Letchford，A.：0-1背包多边形的分离算法。技术报告可在Optimization Online（2007）上获得·Zbl 1198.90297号 [40] Keller H.、Pferschy U.、Pisinger D.：背包问题。施普林格，柏林（2004）·Zbl 1103.90003号 [41] Marchand H.，Wolsey L.：用于求解MIP的聚合和混合整数舍入。操作。第49、363–371号决议（2001年）·Zbl 1163.90671号 ·doi:10.1287/操作49.3.363.11211 [42] Martello S.，Toth P.：背包问题：算法和计算机实现。威利，纽约（1990年）·Zbl 0708.68002号 [43] Nemhauser G.L.，Wolsey L.A.：为0-1混合整数程序生成所有切割的递归过程。数学。程序。46, 379–390 (1990) ·Zbl 0735.90049号 ·doi:10.1007/BF01585752 [44] Nemhauser，G.L.，Wolsey，L.A.：整数和组合优化。离散数学与优化。威利，纽约（1999）·Zbl 0944.90001号 [45] Savelsbergh M.：混合整数编程问题的预处理和探测。ORSA J.计算。6, 445–454 (1994) ·Zbl 0814.90093号 ·doi:10.1287/ijoc.6.4.445 [46] Scarf H.E.：不可分割的生产集——第二部分：两个活动的案例。《计量经济学》49，395–423（1981）·Zbl 0458.90008号 ·doi:10.2307/1913318 [47] Wolsey L.：整型程序的方面和强有效不等式。操作。第24（2）号决议，367–372（1976）·Zbl 0339.90036号 ·doi:10.1287/opre.24.2367 [48] Yan X.Q.，Boyd E.A.：混合整体背包多面体的切割平面。数学。程序。81（2），257–262（1998）·Zbl 0919.90115号 [49] Zemel E.：提升零一多边形的面。数学。程序。15（1），268–277（1978）·Zbl 0428.90042号 ·doi:10.1007/BF01609032 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。