×

为通用Benders分解框架实施分支与切割方法。 (英语) Zbl 1487.90487号

摘要:Benders分解是一种流行的数学和约束编程算法,广泛应用于开发实际应用中产生的问题结构。虽然在数学和约束程序中利用结构很有用,但使用Benders分解通常需要大量的实现工作才能实现有效的求解算法。传统上,Benders分解被视为特定于问题的算法,这限制了通用算法和软件解决方案的发展。本文提出了一种通用的Benders分解算法,该算法能够处理多类数学和约束程序,并在实现和使用该算法时提供了广泛的灵活性。使用基于插件的设计,在约束整数编程求解器SCIP中实现了Benders分解的分支与切割方法,允许对算法进行各种扩展和定制。综合计算研究评估了Benders分解算法和可用增强技术的有效性。

MSC公司:

90立方厘米 混合整数编程
90C57型 多面体组合学,分支与绑定,分支与切割
90-04 与运筹学和数学编程有关的问题的软件、源代码等
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

参考文献:

[1] Achterberg,T.,《约束整数规划》(2007),柏林理工大学博士论文·Zbl 1430.90427号
[2] Ahmed,S.、Garcia,R.、Kong,N.、Ntaimo,L.、Parija,G.、Qiu,F.和Sen,S.(2015)。SIPLIB:随机整数规划测试问题库。请参见http://www2.isye.gatech.edu/sahmed/siplib/上次访问时间:2020年4月21日。
[3] 安古洛,G。;艾哈迈德,S。;Dey,S.S.,《改进整数L形方法》,《信息计算杂志》,28,3,483-499(2016)·Zbl 1348.90498号
[4] 阿利亚扬萨,K.A。;Felt,A.J.,《关于随机线性规划测试问题的新集合》,《计算信息杂志》,16,3,291-299(2004)·Zbl 1239.90081号
[5] Bastubbe,M.,整数规划中模型结构的模块化检测,SCIP研讨会,亚琛RWTH(2018)
[6] Benders,J.F.,解决混合变量编程问题的分区过程,Numeriche Mathematik,4,1238-252(1962)·Zbl 0109.38302号
[7] 伯格纳,M。;卡普拉拉。;塞塞利,A。;Furini,F。;吕贝克,M。;Malaguti,E。;Traverse,E.,《混合整数程序的自动Dantzig-Wolfe重构》,《数学规划》,149,1-2,391-424(2015)·Zbl 1307.90114号
[8] Berthold,T.,《衡量原始启发式的影响》,《运营研究快报》,第41、6、611-614页(2013年)·兹比尔1287.90037
[9] Birge,J.R。;Dempster,医学硕士。;Gassmann,H.I。;Gunn,E。;金·A·J。;Wallace,S.W.,《多周期随机线性程序的标准输入格式》,《技术报告》(1987),IIASA,奥地利Laxenburg
[10] 博杜尔,M。;破折号,S。;Günlük,O。;Luedtke,J.,《具有连续追索权的随机整数程序的强化Benders切割》,《计算信息杂志》,29,1,77-91(2017)·兹比尔1364.90220
[11] 波顿,Q。;Fortz,B。;Gouveia,L。;Poss,M.,跳约束生存网络设计问题的Benders分解,计算信息杂志,25,1,13-26(2013)
[12] Codato,G。;Fischetti,M.,混合整数线性规划的组合Benders切割,运筹学,54,4,pp.756-766(2006)·Zbl 1167.90601号
[13] 科尔多,J.-F。;斯托伊科维奇,G。;Soumis,F。;Desrosiers,J.,Benders对飞机航路和机组调度同时进行的分解,《运输科学》,35,4,375-388(2001)·Zbl 1069.90525号
[14] Dolan,E.D。;Moré,J.J.,《带性能曲线的基准优化软件》,《数学规划》,91,2,201-213(2002)·邮编:1049.90004
[15] Felt,A.(2015)随机线性规划的测试问题集合。请参见https://www4.uwsp.edu/math/afelt/slptestset.html最后访问时间:2020年4月21日。
[16] FICO FICO Xpress-Optimizer。(2020)参见https://www.fico.com/en/products/fico-xpress-optimizationLast网站访问时间:2020年4月21日。
[17] 菲舍蒂,M。;卢比奇,I。;Sinnl,M.,为大型设施位置重新设计Benders分解,《管理科学》,63,7,2146-2162(2017)
[18] 福兹,B。;Poss,M.,《应用于多层网络设计问题的改进Benders分解》,《运营研究快报》,37,5,359-364(2009)·Zbl 1279.90025号
[19] 弗罗兰德,G。;马希尔,S.J。;Wu,C.-L.,可恢复稳健尾部分配问题,运输科学,48,3,351-372(2014)
[20] 加拉蒂,M。;Ralphs,T。;Wang,J.,《使用DIP框架进行通用分解的计算经验》,《ramp学报》2012(2012)
[21] Gamrath,G。;Fischer,T。;加里,T。;格雷克斯纳,A.M。;亨德尔·G。;科赫,T。;Witzig,J.,SCIP Optimization Suite 3.2,技术报告(2016),柏林祖塞研究所
[22] Geoffrion,A.,广义Benders分解,优化理论与应用杂志,10,4,237-260(1972)·Zbl 0229.90024
[23] 杰弗里翁,A.M。;Graves,G.W.,《Benders分解的多商品配送系统设计》,《管理科学》,20,5,822-844(1974)·Zbl 0304.90122号
[24] 格莱克斯纳,A。;Bastubbe,M。;艾夫勒,L。;加里,T。;Gamrath,G。;Gottwald,R.L。;Witzig,J.,SCIP Optimization Suite 6.0,技术报告(2018),柏林祖塞研究所
[25] Gurobi(2020)Gurobi-最快的解算器。请参见https://www.gurobi.com/Last网站访问时间:2020年4月21日。
[26] 哈特·W·E。;沃森,J.-P。;伍德拉夫,D.L.,《Pyomo:用Python建模和求解数学程序》,《数学编程计算》,3,3,219(2011)
[27] Helmberg,C.(2011年)。用于凸优化的ConicBundle库。网址:http://www-user.tu-chemnitz.de/helmberg/ConicBundle公司。
[28] 哈切特,J。;鲁宾,M。;Petra,C.,《随机优化的并行代数建模》,第一届动态语言高性能技术计算研讨会论文集。《第一届动态语言高性能技术计算研讨会论文集》,HPTCDL’14,29-35(2014),IEEE出版社:美国新泽西州皮斯卡塔韦IEEE出版社
[29] IBM公司。(2020)IBM ILOG CPLEX优化工作室。请参见https://www.ibm.com/products/ilog-cplex-optimization-studioLast访问时间:2020年4月21日。
[30] Jünger,M。;Thienel,S.,《整数规划和组合优化中分支与切割与价格算法的ABACUS系统》,《软件:实践与经验》,30,11,1325-1352(2000)·兹比尔1147.90416
[31] Kim,K。;Zavala,V.M.,应用于随机混合整数程序的双重分解方法的算法创新和软件,数学规划计算,10,2,225-266(2018)·Zbl 1400.90236号
[32] Ladányi,L。;Ralphs,T.K。;Trotter,L.E.,Branch,cut,and price:Sequential and parallel,(Jünger,M.;Naddef,D.,计算组合优化:最优或可证明的近最优解(2001),施普林格-柏林-海德堡:施普林格/柏林-海德堡-柏林,海德堡),223-260·Zbl 1052.90107号
[33] 拉波特,G。;Louveaux,F.V.,《具有完全资源的随机整数规划的整数L形方法》,《运筹学快报》,13,3,133-142(1993)·Zbl 0793.90043号
[34] 鲁宾,M。;马丁·K。;佩特拉,C.G。;Sandıkçı,B.,关于随机整数规划中的并行对偶分解,运筹学快报,41,3525-258(2013)·Zbl 1286.90102号
[35] Magnanti,T。;Wong,R.,《加速Benders分解:算法增强和模型选择标准》,运筹学,29,3,464-484(1981)·Zbl 0455.90064号
[36] 马希尔,S。;Miltenberger,M。;佩德罗索,J.P。;Rehfeldt,D。;施瓦兹,R。;Serrano,F.,PySCIPOpt:使用SCIP优化套件在Python中进行数学编程,数学软件-ICMS 2016,9725,301-307(2016)·Zbl 1434.90005
[37] Maher,S.J.,《增强Benders分解的大邻域搜索启发法》,《技术报告》(2019年),兰开斯特大学
[38] 马希尔,S.J。;Desaulniers,G。;Soumis,F.,《可恢复的稳健单日飞机维修路线问题》,计算机与运营研究,51,130-145(2014)·兹比尔1348.90445
[39] Markert,A.和Gollmer,R.(2008)。ddsip用户指南:一个C包,用于混合整数资源的两阶段随机程序的双重分解。
[40] 麦克丹尼尔,D。;Devine,M.,混合整数规划的改进Benders分区算法,管理科学,24,3,312-319(1977)·Zbl 0371.90102号
[41] Mercier,A。;科尔多,J。;Soumis,F.,Benders分解的综合飞机路线和机组人员调度问题的计算研究,计算机与运筹学,32,61451-1476(2005)·Zbl 1122.90355号
[42] E·阿尔瓦雷斯·米兰达。;费尔南德斯,E。;Ljubić,I.,可恢复稳健设施选址问题,运输研究第B部分:方法论,79,93-120(2015)
[43] Mulvey,J.M。;Ruszczynski,A.,《大规模随机优化的新场景分解方法》,运筹学,43,3,477-490(1995)·Zbl 0843.90086号
[44] Naoum-Sawaya,J。;Elhedhli,S.,《基于内部点Benders的混合整数程序分枝切割算法》,《运筹学年鉴》,210,1,33-55(2013)·Zbl 1284.90042号
[45] 纳姆豪泽,G.L。;Savelsbergh,M.W。;Sigismondi,G.C.,MINTO,一个混合INTeger优化器,《运筹学快报》,15,1,47-58(1994)·Zbl 0806.90095号
[46] 潘,F。;Morton,D.P.,最小化随机最大可靠性路径,网络,52,3,111-119(2008)·Zbl 1172.90345号
[47] Papadakos,N.,Magnanti-Wong方法的实际增强,《运营研究快报》,36,4,444-449(2008)·兹比尔1155.90432
[48] Papadakos,N.,《综合航空调度,计算机与运营研究》,36,1,176-195(2009)·Zbl 1163.90007号
[49] Puchinger,J。;Stuckey,P.J。;Wallace,M.G。;Brand,S.,《G12中的Dantzig-Wolfe分解和分支与价格求解,约束》,16,1,77-99(2011)·Zbl 1213.90174号
[50] Rahmaniani,R。;Crainic,T.G。;Gendreau,M。;Rei,W.,《Benders分解算法:文献综述》,《欧洲运筹学杂志》,259,3,801-817(2017)·Zbl 1402.90158号
[51] Ralphs,T。;Güzelsoy,M.,《混合整数编程的SYMPHONY可调用库》,《第九届通知计算学会会议论文集》,61-76(2005)
[52] Ralphs,T.K。;Ladányi,L。;Saltzman,M.J.,大规模离散优化的并行分支、切割和价格,数学规划,98,1-3253-280(2003)·Zbl 1082.90102号
[53] 桑托索,T。;艾哈迈德,S。;Goetschalckx,M。;Shapiro,A.,《不确定性下供应链网络设计的随机规划方法》,《欧洲运筹学杂志》,167,1,96-115(2005)·Zbl 1075.90010号
[54] SCIP(2020)SCIP:求解约束整数程序。网址:http://scip.zib.de/上次访问时间:2020年4月21日。
[55] Thorsteinsson,E.,Branch-and-check:混合整数编程和约束逻辑编程的混合框架,约束编程的原理和实践-CP 2001,16-30(2001),Springer·Zbl 1067.68677号
[56] Vanderbeck,F.(2005)。BaPCod——通用分支和价格代码。请参见https://raweb.inria.fr/raportsactivite/RA2010/realopt/uid22.html最后访问时间:2020年4月21日。
[57] 沃森,J.-P。;伍德拉夫·D·L。;Hart,W.E.,PySP:用Python建模和求解随机程序,《数学编程计算》,第4、2、109-149页(2012年)·Zbl 1275.90049号
[58] Xu,Y。;Ralphs,T.K。;Ladányi,L。;Saltzman,M.J.,并行整数编程软件框架的计算经验,《计算信息杂志》,21,3,383-397(2009)·Zbl 1243.90010号
[59] Zverovich,V。;哥伦比亚特区法比安。;E.F.D.埃里森。;Mitra,G.,用增强Benders分解处理两阶段随机LP的求解器系统的计算研究,《数学规划计算》,4,3,211-238(2012)·Zbl 1275.90050
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。