×

混合整数线性规划的有效不等式。 (英语) Zbl 1278.90266号

摘要:本教程介绍了混合整数线性集的有效不等式理论。介绍了多面体理论的必要工具,对几个经典的有效不等式族,如lift-and-project割、Gomory混合整数割、混合整数舍入割、分裂割和交集割进行了几何理解,并揭示了这些族之间的关系。本教程还讨论了生成切割及其强度的计算方面。

MSC公司:

90立方厘米 整数编程
90立方厘米11 混合整数编程
90C57型 多面体组合学,分支与绑定,分支与切割

软件:

MIPLIB公司
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Andersen K.、Cornuéjols G.和Li Y.(2005)。拆分闭合和相交切割。数学。程序。A 102:457–493·Zbl 1066.90070号 ·doi:10.1007/s10107-004-0558-z
[2] Andersen K.、Cornuéjols G.和Li Y.(2005年)。减少和分割切割:提高混合整数Gomory切割的性能。管理。科学。51: 1720–1732 ·Zbl 1232.90310号 ·doi:10.1287/mnsc.1050.0382
[3] Atamtürk,A.:稳健混合0–1编程的强大公式。数学。程序。(2006) ·Zbl 1136.93331号
[4] Balas E.(1971)。相交切割–一种用于整数编程的新型切割平面。操作。决议19:19-39·Zbl 0219.90035号 ·doi:10.1287/opre.19.19
[5] Balas,E.:《析取规划:可行点凸壳的性质》,GSIA管理科学研究报告MSRR,348,卡内基梅隆大学(1974):作为特邀论文在《离散应用》上发表。数学。89, 1–44 (1998) ·Zbl 0921.90118号
[6] Balas E.(1985)。离散优化问题的析取规划和松弛层次。SIAM J.代数离散方法6:466–486·Zbl 0592.90070号 ·doi:10.1137/0606047
[7] Balas E.、Ceria S.和Cornuéjols G.(1993年)。混合0-1程序的提升和投影切割平面算法。数学。程序。58: 295–324 ·Zbl 0796.90041号 ·doi:10.1007/BF01581273
[8] Balas E.、Ceria S.、Cornuéjols G.和Natraj R.N.(1996年)。Gomory削减重新考虑。操作。Res.Lett公司。19: 1–9 ·Zbl 0865.90098号 ·doi:10.1016/0167-6377(96)00007-7
[9] Balas E.和Jeroslow R.(1980年)。加强对混合整数项目的削减。欧元。《运营杂志》。第4号决议:224–234·Zbl 0439.90064号 ·doi:10.1016/0377-2217(80)90106-X
[10] Balas E.和Perregaard M.(2003年)。0-1编程中lift-project切割、简单析取切割和混合整数Gomory切割之间的精确对应。数学。程序。B 94:221–245·Zbl 1030.90068号 ·doi:10.1007/s10107-002-0317-y
[11] Balas,E.,Saxena,A.:对分割闭合进行优化。卡内基梅隆大学泰珀商学院科学研究报告MSRR 674(2006)·Zbl 1135.90030号
[12] Bienstock D.和Zuckerberg M.(2004年)。0-1整数规划的子集代数提升算子。SIAM J.Optim公司。15: 63–95 ·Zbl 1077.90041号 ·doi:10.1137/S1052623402420346
[13] Bixby,R.E.,Ceria,S.,McZeal,C.M.,Savelsbergh,M.W.P.:更新的混合整数编程库:MIPLIB 3.0。Optima 58,12-15(1998)
[14] Bixby,R.E.,Gu,Z.,Rothberg,E.,Wunderling,R.:混合整数规划:进度报告,In:Grötschel,M.(ed.)The Sharpest Cut:The Impact of Manfred Padberg and his works,MPS/SIAM Series In Optimization第309-326页(2004)·Zbl 1152.90542号
[15] Bonami,P.:《教育与实践》,巴黎大学博士论文6(2003)
[16] Bonami,P.,Cornuéjols,G.:关于MIR不平等(2006)·Zbl 1161.90446号
[17] Bonami,P.,Cornuéjols,G.,Dash,S.,Fischetti,M.,Lodi,A.:混合整数线性程序的投影Chvátal-Gomory切割,将出现在数学中。程序。(2007) ·兹比尔1135.90031
[18] Bonami P.和Minoux M.(2005年)。使用1级提升和项目闭合来生成0-1 MIP的切割,这是一项计算研究。谨慎。最佳方案。2: 288–307 ·Zbl 1172.90450号 ·doi:10.1016/j.disopt.2005.08.006
[19] Burer S.和Vandenbussche D.(2006年)。求解二进制整数程序的lift-project松弛。SIAM J.Optim公司。16: 726–750 ·兹比尔1113.90100 ·数字对象标识代码:10.1137/040609574
[20] Caprara A.和Letchford A.N.(2003年)。关于分裂切割和相关不等式的分离。数学。程序。B 94:279–294·Zbl 1030.90095号 ·doi:10.1007/s10107-002-0320-3
[21] Chvátal V.(1973年)。Edmonds多面体和组合优化的层次结构。谨慎。数学。4: 305–337 ·Zbl 0253.05131号 ·doi:10.1016/0012-365X(73)90167-2
[22] Chvátal,V.,Cook,W.,Hartmann,M.:关于组合优化中的割平面证明。线性代数应用。114–115, 455–499 (1989) ·兹比尔0676.90059
[23] Conforti,M.,Wolsey,L.:作为多面体结合的紧凑公式。核心讨论文件,Louvain-la-Neuve(2005)·Zbl 1145.90044号
[24] Cook W.和Dash S.(2001)。关于多面体的矩阵切割秩。数学。操作。决议26:19-30·Zbl 1073.90574号 ·doi:10.1287/门26.1.19.10593
[25] Cook W.、Kannan R.和Schrijver A.(1990年)。混合整数规划问题的Chvátal闭包。数学。程序。47: 155–174 ·Zbl 0711.90057号 ·doi:10.1007/BF01580858
[26] Cornuéjols G.和Li Y.(2001)。整数程序的基本闭包。操作。Res.Lett公司。28: 1–8 ·兹比尔1108.90326 ·doi:10.1016/S0167-6377(00)00067-5
[27] Cornuéjols G.和Li Y.(2002)。关于混合0,1多面体的秩。数学。程序。答91:391–397·Zbl 1049.90040号 ·doi:10.1007/s101070100250
[28] Cornuéjols G.和Li Y.(2002)。切面理论和数字几何学之间的联系。数学。程序。A 93:123–127·Zbl 1007.90040号 ·doi:10.1007/s10107-002-0302-5
[29] Dash,S.,Günlük,O.,Lodi,A.:从多面体的MIR闭包中分离,在巴西里约热内卢数学规划国际研讨会上的演讲,2006年,正在编写的论文
[30] 艾森布兰德·F(1999)。关于多面体的初等闭包的隶属度问题。组合数学19:297–300·Zbl 0947.90071号 ·doi:10.1007/s004930050057
[31] Fischetti,M.,Lodi,A.:优化第一个Chvátal关闭。收录人:Jünger,M.,Kaibel,V.(编辑)IPCO 2005,LNCS 3509,12-22(2005)·Zbl 1119.90329号
[32] Goemans M.X.和Tunçel L.(2001年)。半正定约束何时有助于提升过程。数学。操作。第26号决议:796–815·Zbl 1082.90548号 ·doi:10.1287/门26.4.796.10012
[33] Goemans M.X.和Williamson D.P.(1995年)。使用半定规划改进最大割和可满足性问题的近似算法。美国医学会期刊42:1115–1145·Zbl 0885.68088号 ·数字对象标识代码:10.1145/227683.2276884
[34] Gomory,R.E.:线性规划整数解的算法。收录:Graves,R.L.,Wolfe,P.(编辑)《数学规划的最新进展》。McGraw-Hill,纽约,第269-302页(1963年)·Zbl 0235.90038号
[35] Gomory R.E.(1969年)。与组合问题有关的一些多面体。线性代数应用。2: 451–558 ·Zbl 0184.23103号 ·doi:10.1016/0024-3795(69)90017-2
[36] Gomory R.E.和Johnson E.L.(1972年)。与角多面体有关的一些连续函数I.数学。程序。3: 23–85 ·Zbl 0246.90029号 ·doi:10.1007/BF01584976
[37] Günlük O.和Pochet Y.(2001)。混合混合积分不等式。数学。程序。90: 429–458 ·Zbl 1041.90033号 ·doi:10.1007/PL00011430
[38] Köppe,M.:Louveaux,Q.,Weismantel,R.,使用值析取的中间整数规划表示法,技术报告,马格德堡大学数学系(2005)·Zbl 1151.90502号
[39] Köppe M.和Weismantel R.(2004)。一个混合整数Farkas引理及其一些结果。操作。Res.Lett公司。32: 207–211 ·Zbl 1043.90057号 ·doi:10.1016/j.orl.2003.08.003
[40] Lasserre J.B.(2001年)。非线性0-1规划的显式精确SDP松弛。莱克特。注释计算。科学。2081: 293–303 ·兹比尔1010.900515 ·doi:10.1007/3-540-45535-3_23
[41] Laurent M.(2003)。对0-1编程的Sherali-Adams、Lovász-Schrijver和Lasserre松弛进行比较。SIAM J.Optim公司。28: 345–375
[42] Lenstra A.K.、Lenstra H.W.和Lovász L.(1982年)。有理系数分解多项式。数学。安261:515–534·Zbl 0488.12001号 ·doi:10.1007/BF01457454
[43] Lovász L.和Schrijver A.(1991)。矩阵和集函数的锥以及0-1优化。SIAM J.Optim公司。1: 166–190 ·Zbl 0754.90039号 ·数字对象标识代码:10.1137/0801013
[44] Marchand H.和Wolsey L.A.(2001年)。聚合和混合整数舍入以解决MIP。操作。决议49:363–371·Zbl 1163.90671号 ·doi:10.1287/操作49.3.363.11211
[45] Miller A.和Wolsey L.A.(2003年)。一些简单MIP和凸目标IP的严密公式。数学。程序。B 98:73–88页·Zbl 1047.90035号 ·文件编号:10.1007/s10107-003-0397-3
[46] Nemhauser G.L.和Wolsey L.A.(1988年)。整数和组合优化。纽约威利·Zbl 0652.90067号
[47] Nemhauser G.L.和Wolsey L.A.(1990年)。为0-1混合整数程序生成所有切割的递归过程。数学。程序。46: 379–390 ·Zbl 0735.90049号 ·doi:10.1007/BF01585752
[48] Nesterov,Y.E.,Nemirovski,A.S.:凸规划中的内点多项式算法。SIAM出版物,SIAM,费城(1994)·Zbl 0824.90112号
[49] Owen J.H.和Mehrotra S.(2002年)。关于一般混合整数线性规划的二进制展开式的值。操作。决议50:810-819·Zbl 1163.90673号 ·doi:10.1287/opre.50.5810.370
[50] Perregaard,M.:《lift-and-project-cuts的实际实现:使用XPRESS-MP对lift-and-project cuts的计算探索》,第18届ISMP,哥本哈根(2003)
[51] Roy,J.-S.:通用混合整数程序的二进制化和生成切割的项目,技术报告。EDF研发,Clamart(2006)
[52] Schrijver A.(1980)。在切割平面上。离散数学。9: 291–296 ·Zbl 0441.90070号 ·doi:10.1016/S0167-5060(08)70085-2
[53] Schrijver A.(1986)。线性和整数规划理论。纽约威利·Zbl 0665.90063号
[54] Sherali H.和Adams W.(1990年)。零规划问题的连续和凸壳表示之间的松弛层次。SIAM J.离散数学。3: 311–430 ·Zbl 0712.90050号 ·数字对象标识代码:10.1137/0403036
[55] Sherali,H.,Adams,W.:解决离散和连续非凸问题的重新公式化线性化技术。第四章,克鲁沃,诺威尔(1999)·兹比尔0926.90078
[56] Van Vyve M.(2005)。连续混合多面体。数学。操作。决议30:441–452·Zbl 1082.90075 ·doi:10.1287/门1040.0130
[57] Wolsey,L.A.:整数规划(1999)
[58] 齐格勒G.M.(1995)。多面体讲座。纽约州施普林格·Zbl 0823.52002号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。