×

整数和混合整数编程中的切割平面。 (英语) Zbl 1130.90370号

摘要:本调查介绍了在求解混合整数程序时有用或潜在有用的剖切面。依次研究了以下问题的有效不等式:(i)一般整数规划,(ii)具有局部结构的问题,如背包约束,以及(iii)具有0-1系数矩阵的问题,例如集合包装。最后,探讨了有效不等式在网络设计等一类结构问题中的应用。

MSC公司:

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

参考文献:

[1] Aardal,K.,《容量设施位置:分离算法和计算经验》,数学。编程,81,149-175(1998)·Zbl 0919.90096号
[2] 阿尔达尔,K。;Pochet,Y。;Wolsey,L.A.,《容量设施位置:有效不等式和面》,数学。操作。研究,20,562-582(1995)·Zbl 0846.90088号
[3] D.Applegate,R.E.Bixby,V.Chvátal,W.Cook,《项目与提升(寻找削减的范例)》,草稿,澳大利亚,1998年3月。;D.Applegate,R.E.Bixby,V.Chvátal,W.Cook,《项目与提升(寻找削减的范例)》,草稿,澳大利亚,1998年3月。
[4] A.Atamturk,《关于网络设计的割集多面体》,草稿,加州大学伯克利分校工业工程与运营研究系,1999年8月。;A.Atamturk,《关于网络设计的割集多面体》,草稿,加州大学伯克利分校工业工程与运营研究系,1999年8月·Zbl 1008.90003号
[5] A.Atamturk、G.L.Nemhauser、M.W.P.Savelsbergh,整数规划中的冲突图,技术报告LEC 98-03,乔治亚理工学院,1998年。;A.Atamturk、G.L.Nemhauser、M.W.P.Savelsbergh,整数规划中的冲突图,技术报告LEC 98-03,乔治亚理工学院,1998年·Zbl 0959.90034号
[6] A.Balakrishnan,T.L.Magnanti,J.Sokol,Y.Wang,《单一设施线路恢复问题建模与解决》,麻省理工学院运营研究中心技术报告,1998年。可在网址:http://web.mit.edu/yiwang/www。; A.Balakrishnan,T.L.Magnanti,J.Sokol,Y.Wang,《单一设施线路恢复问题建模与解决》,麻省理工学院运营研究中心技术报告,1998年。可在http://web.mit.edu/yiwang/www。
[7] 巴拉斯,E.,《背包多边形的面》,数学。编程,8146-164(1975)·Zbl 0316.90046号
[8] Balas,E.,析取编程,离散数学。,5, 3-51 (1979) ·Zbl 0409.90061号
[9] 巴拉斯,E。;Ho,A.,《使用切割平面、启发式和次梯度优化的集合覆盖算法:计算研究》,数学。编程,12,37-60(1980)·Zbl 0435.90074号
[10] 巴拉斯,E。;Ceria,S。;Cornuéjols,G.,混合0-1程序的提升和投影切割平面算法,数学。编程,58295-324(1993)·Zbl 0796.90041号
[11] 巴拉斯,E。;Ceria,S。;Cornuéjols,G.,《在分支框架中通过lift-and-project进行混合0-1编程》,《管理科学》。,42, 1229-1246 (1996) ·Zbl 0880.90105号
[12] 巴拉斯,E。;Ceria,S。;Cornuéjols,G。;Natraj,N.,Gomory再次削减,Oper。雷斯莱特。,19, 1-9 (1996) ·Zbl 0865.90098号
[13] E.Balas、E.Zemel,《提升和补足》给出了正零编程多边形的所有方面,数学。编程(1984)13-24,《国际会议记录》,里约热内卢,1981年。;E.Balas,E.Zemel,《提升和补足》给出了正零编程多面体的所有方面,数学。编程(1984)13-24,《国际大会会议记录》,里约热内卢,1981年·Zbl 0548.90048号
[14] 巴拉斯,E。;Zemel,E.,《最小覆盖的背包多边形面》,SIAM J.Appl。数学。,34, 119-148 (1978) ·Zbl 0385.90083号
[15] Barahona,F.,使用割不等式的网络设计,SIAM J Optim。,6, 823-837 (1996) ·Zbl 0856.90112号
[16] 巴拉尼,I。;Van Roy,T.J。;Wolsey,L.A.,多项目容量限制批量的强配方,管理科学。,30, 1255-1261 (1984) ·Zbl 0601.90037号
[17] J.E.Beasley,OR-Library:通过电子邮件分发测试问题,J.Oper。Res.Soc.41(1990)1069-1072,网址:(http://mscmga.ms.ic.ac.uk/info.html; J.E.Beasley,OR-Library:通过电子邮件分发测试问题,J.Oper。Res.Soc.41(1990)1069-1072,网址:(网址:http://mscmga.ms.ic.ac.uk/info.html
[18] Belvaux,G。;Wolsey,L.A.,《BC-PROD:批量问题的专门分支与切割系统》,《管理科学》。,46, 724-738 (2000) ·兹比尔1231.90384
[19] C.Berge、Färbung von Graphen、deren sämtliche bzw。deren ungerade Kreise starr sind(Zusammenfassung),主演Wissenschaftliche Zeitschrift,Mathematisch-Naturwissenschaffliche Reihe。Martin-Luther-Universityät Halle-Wittenberg,1961年。;C.Berge、Färbung von Graphen、deren sämtliche bzw。deren ungerade Kreise starr sind(Zusammenfassung),主演Wissenschaftliche Zeitschrift,Mathematisch-Naturwissenschaffliche Reihe。Martin-Luther-Universityät Halle-Wittenberg,1961年。
[20] Bienstock,D。;Günlük,O.,电容网络设计-多面体结构和计算,ORSA J.Compute。,8, 243-259 (1996) ·Zbl 0871.90031号
[21] Bienstock,D。;肖普拉,S。;Günlük,O。;Tsai,C.-Y.,多商品网络流的最小成本容量安装,数学。编程,81,177-199(1998)·Zbl 0922.90064号
[22] R.E.Bixby,S.Ceria,C.M.McZeal,M.W.P.Savelsbergh,更新的混合整数编程库:MIPLIB 3.0,文本和问题可在http://www.caam.rice.edu/bixby/miplib/miplib.html;R.E.Bixby,S.Ceria,C.M.McZeal,M.W.P.Savelsbergh,更新的混合整数编程库:MIPLIB 3.0,文本和问题可在http://www.caam.rice.edu/bixby/miplib/miplib.html
[23] R.Borndörfer,《集合包装、分区和覆盖方面》,柏林理工大学博士论文,1998年。;R.Borndörfer,《集合包装、分割和覆盖方面》,柏林理工大学博士论文,1998年。
[24] R.Borndörfer,R.Weismantel,一些组合程序之间的关系,技术报告预印本SC 97-54,Konrad-Zuse-Zentrum füR Informationstechnik Berlin,1997。;R.Borndörfer,R.Weismantel,一些组合程序之间的关系,技术报告预印本SC 97-54,Konrad-Zuse-Zentrum füR Informationstechnik Berlin,1997年。
[25] R.Borndörfer,R.Weismantel,《设置一些整数程序的打包松弛》,技术报告预打印SC 97-30,Konrad-Zuse Zentrum füR Informationstechnik Berlin,1997年。;R.Borndörfer,R.Weismantel,《设置一些整数程序的打包松弛》,技术报告预打印SC 97-30,Konrad-Zuse Zentrum füR Informationstechnik Berlin,1997年。
[26] B.Brockmüller,O.Günlük,L.A.Wolsey,设计专用线路网络-多面体分析和计算,核心讨论论文9647,卢浮天主教大学,1996年,1998年3月修订。;B.Brockmüller,O.Günlük,L.A.Wolsey,《设计专用线路网络——多面体分析和计算》,核心讨论论文9647,卢浮天主教大学,1996年,1998年3月修订。
[27] 卡普拉拉。;Fischetti,M.,Branch-and-cut algorithms,(Dell'Amico,M.;Maffioli,F.;Martello,S.,《组合优化中的注释书目》(1997),Wiley:Wiley Chichester),45-63·Zbl 1068.90505号
[28] 卡普拉拉。;费舍蒂,M.,({0,12})-Chvátal-Gomory cuts,数学。编程,74221-236(1996)·Zbl 0855.90088号
[29] Ceria,S。;科迪尔,C。;马尚德,H。;沃尔西,洛杉矶,《带一般整数变量的整数程序的切割平面》,数学。编程,81,201-214(1998)·Zbl 0919.90113号
[30] Chvátal,V.,Edmonds多边形和组合问题的层次结构,离散数学。,4, 305-337 (1973) ·Zbl 0253.05131号
[31] Chvátal,V.,《关于与图相关的某些多面体》,J.Combin.理论B,18,305-337(1975)·Zbl 0253.05131号
[32] Constantino,M.,《产能受限批量与启动成本的切割平面方法》,数学。编程,75,353-376(1996)·Zbl 0874.90098号
[33] 库克·W·。;坎南,R。;Schrijver,A.,混合整数编程问题的Chvátal闭包,数学。编程,47155-174(1990)·Zbl 0711.90057号
[34] 科迪尔,C。;Marchand,H。;R·朗迪。;Wolsey,L.A.,bc-opt:混合整数程序的分支与切割代码,bc-opt:混合整数程序分支与切割的代码,数学。编程,86,335-354(1999)·Zbl 0939.90025号
[35] CPLEX,使用CPLEX可调用库,ILOG CPLEX Division,889 Alder Avenue,Suite 200,Incline Village,NV 89451,USA,可通过URL获取信息http://www.cplex.com; CPLEX,使用CPLEX可调用库,ILOG CPLEX Division,889 Alder Avenue,Suite 200,Incline Village,NV 89451,USA,可通过URL获取信息网址:http://www.cplex.com
[36] 克劳德,H。;约翰逊,E。;Padberg,M.W.,《求解大规模零线性规划问题》,Oper。研究,31,803-834(1983)·Zbl 0576.90065号
[37] Dahl,G。;马丁,A。;Stoer,M.,《分层电信网络中通过虚拟路径的路由》,研究笔记N78/95,挪威凯勒电信研究与开发,1995年,Oper。决议,49,693-702(1999)·Zbl 0976.90014号
[38] 达尔,G。;Stoer,M.,多商品可生存网络设计问题的割平面算法,INFORMS J.Compute。,10, 1-11 (1998)
[39] I.R.de Farias,E.L.Johnson,G.L.Nemhauser,互补背包多面体的面,技术报告LEC-98-08,乔治亚理工学院,1998年。;I.R.de Farias,E.L.Johnson,G.L.Nemhauser,互补背包多面体的面,技术报告LEC-98-08,佐治亚理工学院,1998年·Zbl 1082.90586号
[40] Edmonds,J.,《拟阵与贪婪算法》,数学。编程,1127-136(1971)·Zbl 0253.90027号
[41] Edmonds,J.,Matroid交集,Ann.离散数学。,4, 39-49 (1979) ·Zbl 0416.05025号
[42] M.Jünger,R.Euler;Reinelt,G.,奇数圈和反圈的推广及其与独立系统多面体的关系,数学。操作。Res.,12,451-462(1987)·Zbl 0624.05024号
[43] 费雷拉,C.E。;马丁,A。;Weismantel,R.,用切割平面解决多背包问题,SIAM J.Optim。,6, 858-877 (1996) ·Zbl 0856.90082号
[44] Fulkerson,D.R.,多面体的阻塞和反阻塞对,数学。编程,1168-194(1971)·Zbl 0254.90054号
[45] Goemans,M.X.,《斯坦纳树多面体和相关多面体》,《数学》。编程,63,157-183(1994)·Zbl 0808.90124号
[46] Gomory,R.E.,线性规划整数解算法概述,布尔。阿默尔。Soc.,第64275-278页(1958年)·Zbl 0085.35807号
[47] R.E.Gomory,混合整数问题的算法,技术报告RM-2597,兰德公司,1960年。;R.E.Gomory,混合整数问题的算法,技术报告RM-2597,兰德公司,1960年。
[48] R.E.Gomory,解决整数线性规划问题,收录于:R.Bellman,M.Hall(编辑),组合分析,应用数学研讨会论文集10,普罗维登斯,RI,1960年。;R.E.Gomory,解决整数线性规划问题,收录于:R.Bellman,M.Hall(编辑),组合分析,应用数学研讨会论文集10,普罗维登斯,RI,1960年·Zbl 0096.14505号
[49] Gomory,R.E.,《线性规划整数解的算法》,(Graves,R.L.;Wolfe,P.,《数学规划的最新进展》(1969),McGraw-Hill:McGraw-Hill纽约),269-302·Zbl 0235.90038号
[50] M.Grötschel。;Lovász,L。;Schrijver,A.,《几何算法与组合优化》(1988),施普林格:施普林格柏林·Zbl 0634.05001号
[51] M.Grötschel,C.L.Monma,M.Stoer,《可生存网络的设计》,收录于:M.O.Ball等人(编辑),《网络模型,OR和MS 7中的手册》,Elsevier,阿姆斯特丹,1995年(第10章)。;M.Grötschel,C.L.Monma,M.Stoer,《可生存网络的设计》,收录于:M.O.Ball等人(编辑),《网络模型,OR和MS 7中的手册》,Elsevier,阿姆斯特丹,1995年(第10章)·兹伯利0839.0132
[52] 顾,Z。;纳姆豪泽,G.L。;Savelsbergh,M.W.P.,混合整数规划中的序列无关提升,J.Combin.Optim。,4, 109-129 (2000) ·Zbl 0964.90030号
[53] 顾,Z。;纳姆豪泽,G.L。;Savelsbergh,M.W.P.,混合0-1整数程序的提升流覆盖不等式,数学。编程A,85,436-467(1999)·Zbl 0977.90030号
[54] 顾,Z。;纳姆豪泽,G.L。;Savelsbergh,M.W.P.,《0-1整数程序的提升覆盖不等式:计算》,INFORMS J.Compute。,10, 427-437 (1998)
[55] O.Günlük,《电容限制网络设计的分枝切割算法》,技术报告,康奈尔大学,1966年。;O.Günlük,《容量受限网络设计的分支与切割算法》,技术报告,康奈尔大学,1966年。
[56] O.Günlük,Y.Pochet,混合混合积分不等式,数学。编程(2001)429-458。;O.Günlük,Y.Pochet,混合混合积分不等式,数学。编程(2001)429-458·Zbl 1041.90033号
[57] Hammer,P.L。;约翰逊,E.L。;联合国,贝利德,《0-1正多面体的面》,《数学》。编程,8179-206(1975)·Zbl 0314.90064号
[58] 霍夫曼,K.L。;Padberg,M.W.,《通过分支解决航空公司乘务员排班问题》,《管理科学》。,39, 657-682 (1993) ·Zbl 0783.90051号
[59] Iri,M.,《关于最大流最小割定理对多物质流的扩展》,J.Oper。日本皇家学会,13,129-135(1970/71)·Zbl 0223.90010号
[60] Jeroslow,R.G.,割平面理论:析取方法,离散数学。,1, 293-330 (1977) ·Zbl 0358.90035号
[61] 约翰逊,E.L。;Padberg,M.W.,度-二不等式,团面和双完备图,《离散数学年鉴》。,16, 169-187 (1982) ·Zbl 0523.52009号
[62] 约翰逊,E.L。;纳姆豪泽,G.L。;Savelsbergh,M.W.P.,基于线性规划的分枝定界算法的进展:一个阐述,INFORMS J.Compute。,12, 2-23 (2000) ·Zbl 1052.90048号
[63] Jünger,M。;Reinelt,G。;Thienel,S.,《在组合优化中使用割平面算法解决实际问题》,(Cook,W.;Lovász,L.;Seymour,P.,《组合优化》,《离散数学和计算机科学中的DIMACS系列》(1995),AMS:AMS Providence,RI),11-152·Zbl 0835.90076号
[64] Laurent,M.,《反网对独立系统及其规范方面的推广》,数学。编程,45,97-108(1989)·Zbl 0675.90055号
[65] Lovász,L.,关于图的Shannon容量,IEEE Trans。通知。理论,25,1-7(1979)·Zbl 0395.94021号
[66] Lovász,L。;Schrijver,A.,矩阵和集函数锥与0-1优化,SIAM J.Optim。,1, 166-190 (1991) ·Zbl 0754.90039号
[67] Magnanti,T.L。;Mirchandani,P。;Vachani,R.,建模和解决双设施网络加载问题,Oper。Res.,43,142-157(1995)·兹比尔08390051
[68] H.Marchand,《优化实践》,工程论文,应用科学学院,1994年。;H.Marchand,《优化实践》,工程论文,应用科学学院,1994年。
[69] H.Marchand,混合背包集的多面体研究及其在求解混合整数程序中的应用,卢浮天主教大学博士论文,比利时卢浮大学,1998年。;H.Marchand,《混合背包集的多面体研究及其在求解混合整数程序中的应用》,比利时卢浮天主教大学博士论文,1998年。
[70] H.Marchand,L.A.Wolsey,《解决MIP的聚合和混合整数舍入》,CORE DP9839,卢浮天主教大学,比利时卢浮,1998年,Oper。Res.,待出现。;H.Marchand,L.A.Wolsey,《解决MIP的聚合和混合整数舍入》,CORE DP9839,卢浮天主教大学,比利时卢浮,1998年,Oper。Res.,以显示·Zbl 1163.90671号
[71] Marchand,H。;Wolsey,L.A.,具有单个连续变量的0-1背包问题,数学。编程,85,15-33(1999)·Zbl 0956.90021号
[72] A.Martin,具有块结构的整数程序,Habilitations-Schrift Technische Universityät Berlin,1998年。可在(ftp://ftp.zib.de/pub/zib-publications/reports/SC-99-03.ps; A.Martin,具有块结构的整数程序,Habilitations-Schrift Technische Universityät Berlin,1998年。可在(ftp://ftp.zib.de/pub/zib-publications/reports/SC-99-03.ps
[73] 马丁,A。;Weismantel,R.,《背包多面体与扩展的交集》(Bixby,R.E.;Boyd,E.A.;Rios-Mercado,R.Z.,《计算机科学讲义》,第1412卷(1998),施普林格:施普林格柏林),243-256·Zbl 0910.90223号
[74] MEMIPS,整数编程软件的模型增强解决方案方法,Esprit Project 20118,公共报告参考DR1.1.10,1997。;MEMIPS,《整数编程软件的模型增强解决方案方法》,Esprit Project 20118,公共报告参考文献DR1.1.10,1997年。
[75] 纳姆豪泽,G.L。;Savelsbergh,M.W.P。;Sigismondi,G.C.,MINTO,一个混合INTeger优化器,Oper。雷斯莱特。,15, 47-58 (1994) ·Zbl 0806.90095号
[76] 纳姆豪泽,G.L。;Sigismondi,G.,节点封装的强切割平面/分支边界算法,J.Oper。Res.Soc.,43,443-457(1992)·Zbl 0756.90067号
[77] 纳姆豪泽,G.L。;Trotter,L.E.,J.,顶点堆积和独立系统多面体的特性,数学。编程,648-61(1974)·Zbl 0281.90072号
[78] 纳姆豪泽,G.L。;Wolsey,L.A.,《整数与组合优化》(1988),威利:威利纽约·Zbl 0469.90052号
[79] 纳姆豪泽,G.L。;Wolsey,L.A.,为0-1混合整数程序生成所有切割的递归过程,数学。编程,46,379-390(1990)·Zbl 0735.90049号
[80] Nobili,P。;Sassano,A.,覆盖多边形的集合的面和提升程序,数学。编程,45,111-137(1989)·Zbl 0677.90055号
[81] P.Nobili,A.Sassano,覆盖多胞体集合的分离例程,见:E.Balas,G.Cornuéjols,R.Kannan(编辑),整数规划和组合优化,第二届IPCO会议论文集,1992年,第201-219页。;P.Nobili,A.Sassano,集合覆盖多面体的分离例程,见:E.Balas,G.Cornuéjols,R.Kannan(编辑),整数规划和组合优化,第二届国际化学品化学品方案会议记录,1992年,第201-219页。
[82] 奥纳加,K。;Kakusho,O.,《网络中多商品流的可行性条件》,IEEE Trans。电路理论,18,425-429(1971)
[83] 欧文,J.H。;Mehrotra,S.,数学。编程,89,437-448(2001)·Zbl 1017.90066号
[84] Padberg,M.W.,《集合封装多面体的面结构》,数学。编程,5199-215(1973)·Zbl 0272.90041号
[85] Padberg,M.W.,关于零编程的注释,Oper。决议,23833-837(1975)·Zbl 0311.90053号
[86] Padberg,M.W。;Van Roy,T.J。;Wolsey,L.A.,固定电荷问题的有效线性不等式,Oper。研究,33842-861(1985)·Zbl 0579.90072号
[87] Pochet,Y.,《容量受限经济批量的有效不等式和分离》,Oper。雷斯莱特。,7, 109-116 (1988) ·Zbl 0653.90051号
[88] Pochet,Y。;Wolsey,L.A.,使用强大的切割平面解决多项目批量问题,管理科学。,37, 53-67 (1991) ·Zbl 0727.90034号
[89] Pochet,Y。;Wolsey,L.A.,恒定批次的批量:公式和有效不等式,数学。操作。决议,18,767-785(1993)·Zbl 0808.90058号
[90] Pochet,Y。;Wolsey,L.A.,《整数背包和可分系数流覆盖:多面体,优化和分离,离散应用》。数学。,59, 57-74 (1995) ·Zbl 0835.90052号
[91] Rardin,R。;Wolsey,L.A.,无容量固定电荷网络流问题的有效不等式和多商品扩展公式投影,欧洲J.Oper。研究,71,95-109(1993)·Zbl 0807.90051号
[92] Renaud,A.,《法国电力公司的日常发电管理:从规划到实时》,IEEE Trans。自动化。控制,38,1080-1093(1993)
[93] Sassano,A.,《关于覆盖多边形的集合的面部结构》,数学。编程,44,181-202(1989)·兹比尔0675.90059
[94] Schrijver,A.,《关于切割平面》,《离散数学》。,9, 291-296 (1980) ·Zbl 0441.90070号
[95] Schrijver,A.,《线性和整数规划理论》(1986),威利:威利-奇切斯特·Zbl 0665.90063号
[96] Sherali,H。;Adams,W.,零规划问题的连续和凸壳表示之间的松弛层次,SIAM J.离散数学。,3, 411-430 (1990) ·Zbl 0712.90050号
[97] S.Thienel,ABACUS——一个分支体系,科隆大学博士论文,1995年。;S.Thienel,ABACUS——一个分支体系,科隆大学博士论文,1995年。
[98] R.van de Leensel,《电信网络设计的模型和算法》,Proefschrift,马斯特里赫特大学,1999年。;R.van de Leensel,《电信网络设计的模型和算法》,Proefschrift,马斯特里赫特大学,1999年。
[99] van de Leensel,R。;van Hoesel,C.P.M。;van de Klinder,J.J.,提升优先约束背包问题的有效不等式,数学。编程A,86,161-185(1999)·Zbl 1015.90072号
[100] Van Roy,T.J。;Wolsey,L.A.,混合0-1程序的有效不等式,离散应用。数学。,4, 199-213 (1986) ·Zbl 0593.90058号
[101] 范罗伊,T.J。;Wolsey,L.A.,《通过自动重新计算解决混合0-1问题》,Oper。研究,35,45-57(1987)·Zbl 0614.90082号
[102] Weismantel,R.,《关于0/1背包多边形》,数学。编程,77,49-68(1997)·Zbl 0891.90130号
[103] Wolsey,L.A.,《0-1变量线性不等式的面》,数学。编程,8165-178(1975)·Zbl 0314.90063号
[104] Wolsey,L.A.,0/1整数程序的有效不等式和超可加性,数学。操作。第266-77号决议(1977年)·Zbl 0402.90066号
[105] Wolsey,L.A.,电容受限固定电荷网络中的子模性和有效不等式,Oper。雷斯莱特。,8, 119-124 (1989) ·兹比尔0674.90027
[106] Wolsey,L.A.,具有广义上限约束的0-1背包和MIPS的有效不等式,离散应用。数学。,29, 251-261 (1990) ·Zbl 0718.90067号
[107] Wolsey,L.A.,《整数规划》(1998),威利出版社:威利纽约·Zbl 0299.90012号
[108] Eisenbrand,F.,关于平面体初等闭包的隶属度问题,组合数学,12,27-37(1999)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。