×
Yuji Shinano

无所不在生成器框架：7年来分支绑定并行化的进展。 （英语） Zbl 1397.90405号

Kliewer，Natalia（编辑）等人，《2017年运营研究会议记录》。2017年9月6日至8日，德国柏林大学，德国运筹学会（GOR）年度国际会议论文集。商会：施普林格出版社（ISBN 978-3-319-89919-0/pbk；978-3-319-89920-6/电子书）。《运筹学论文集》，143-149（2018）。
摘要：混合整数线性规划（MILP）是建模组合优化问题的一种通用形式，具有许多工业应用。在过去的二十年中，MILP求解器的性能得到了极大的提高，这些求解器已被用于解决许多实际问题。然而，在现代计算机技术的背景下，并行化至关重要。通过这种方式，ParaSCIP是使用超级计算机从著名的基准实例集MIPLIB中解决以前无法解决的实例的最成功的并行MILP解算器。它通过在超级计算机上使用多达80000个内核，首次解决了MIPLIB2003中的两个实例和MIPLIB2010中的12个实例的优化问题。ParaSCIP是使用Ubiquity Generator（UG）框架开发的[Y.Shinano先生等，“FiberSCIP–SCIP的共享内存并行化”，INFORMS J.Compute。30，第1期，第11-30页（2018年；doi:10.1287/ijoc.2017.0762); UG：Ubiquity Generator框架。http://ug.zib.de/]，这是一个通用软件包，用于并行化任何最先进的基于分支和边界的解算器。本文讨论了用UG并行化分枝定界解算器的7年进展。
关于整个系列，请参见[兹比尔1398.90008]。

引用于三文件

MSC公司：

90C57型 多面体组合学，分支与绑定，分支与切割
90C60型 数学规划问题的抽象计算复杂性
2005年5月 并行数值计算
68宽10 计算机科学中的并行算法

软件：

CPLEX公司;SCIP公司;光纤SCIP;无人值守地面;斯坦利布;MIPLIB2003公司;ParaXpress公司;PPBB公司;副SCIP;ParaLEX公司;SCIP-SDP公司;鲍勃;SCIP-插孔
PDF格式BibTeX公司 XML格式引用
\文本{Y.Shinano}，Oper。研究程序。2017年，143-149（2018年；Zbl 1397.90405）
全文： 内政部

参考文献：

[1] 1.Berthold，T.、Heinz，S.、Lübbecke，M.E.、Möhring，R.H.和Schulz，J.（2010）。一种用于资源受限项目调度的约束整数规划方法。在A.Lodi，M.Milano，&P.Toth（编辑）中，《组合优化问题约束规划中人工智能和OR技术的集成》（第6140卷，第313-317页）。计算机科学课堂讲稿。柏林：斯普林格·Zbl 1285.90045号 ·doi:10.1007/978-3642-13520-034
[2] 2.Cun，B.L.和Roucairol，C.（1995）。PNN团队：BOB：一个实现分支绑定类算法的统一平台。《研究报告》，第95/16页，《公共资源管理》。
[3] 3.Danna，E.（2008）。混合整数编程中的性能可变性。位于：纽约哥伦比亚大学，混合整数规划研讨会（MIP 2008）。
[4] 4.Gamrath，G.、Koch，T.、Maher，S.J.、Rehfeldt，D.和Shinano，Y.（2017年）。SCIP-Jack—带并行化扩展的stp和变体的求解器\（数学程序计算），（9）（2），231-296·Zbl 1387.90133号 ·doi:10.1007/s12532-016-0114-x
[5] 5.Gottwald，R.L.、Maher，S.J.和Shinano，Y.（2016）。分布式域传播。ZIB报告16-71，塔库斯特·柏林祖斯研究所。7，14195柏林\（莱布尼茨2017年信息学SEA国际会议记录）（待发布）·Zbl 1432.68416号
[6] 6.Koch，T.、Achterberg，T.、Andersen，E.、Bastert，O.、Berthold，T.、Bixby，R.E.等人（2011年）。2010年MIPLIB\（数学程序计算机），（3），103-163·doi:10.1007/s12532-011-0025-9
[7] 7.Munguia，L.M.、Ahmed，S.、Bader，D.a.、Nemhauser，G.L.和Shao，Y.（2016）。交替标准搜索：用于混合整数程序的并行大邻域搜索算法。已提交发布。
[8] 8.Munguía，L.M.、Oxberry，G.和Rajan，D.（2016）。PIPS-SBB：一种用于随机混合整数程序的并行分布内存分枝定界算法。见：（2016 IEEE IPDPSW）（第730-739页）。
[9] 9.Munguía，L.M.、Oxberry，G.、Rajan，D.和Shinano，Y.（2017年）。并行pips-sbb：随机混合整数程序的多级并行。ZIB报告17-58，柏林祖斯研究所。
[10] 10.Ralphs，T.、Shinano，Y.、Berthold，T.和Koch，T.（2016）。混合整数线性规划的并行求解器。技术报告16-74，ZIB，Takustr.7，14195 Berlin。
[11] 11.SCIP：求解约束整数程序。
[12] 12.SCIP-SDP：用于SCIP的混合整数半定编程插件。
[13] 13.Shinano，Y.、Achterberg，T.和Fujie，T.（2008）。新ParaLEX的动态负载平衡机制\（《ICPADS程序》），（2008年），455-462。
[14] 14.Shinano，Y.、Achterberg，T.、Berthold，T.，Heinz，S.和Koch，T.（2012）。ParaSCIP—SCIP的并行扩展。在：C.Bischof，H.G.Hegering，W.E.Nagel&G.Wittum（编辑），\（2010年高性能计算能力）（第135-148页）。斯普林格。 ·doi:10.1007/978-3642-24025-6_12
[15] 15.Shinano，Y.、Achterberg，T.、Berthold，T.，Heinz，S.、Koch，T.和Winkler，M.（2014）。在超级计算机上用ParaSCIP解决MIPLIB2003难题：更新。2014 IEEE国际并行分布式处理研讨会（IPDPSW）（第1552-1561页）。
[16] 16.Shinano，Y.、Achterberg，T.、Berthold，T.，Heinz，S.、Koch，T.和Winkler，M.（2016）。在使用多达80000个内核的超级计算机上使用ParaSCIP解决开放MIP实例。2016年IEEE国际并行与分布式处理研讨会（IPDPS），IEEE计算机学会，美国加利福尼亚州洛斯阿拉米托斯）（第770-779页）。
[17] 17.Shinano，Y.、Berthold，T.和Heinz，S.（2016）。ParaXpress的第一个实现：结合内部和外部并行化来解决超级计算机上的MIP（第308-316页）。查姆：斯普林格国际出版公司·Zbl 1434.90006号 ·doi:10.1007/978-3-319-42432-3_38
[18] 18.Shinano，Y.和Fujie，T.（2007）。ParaLEX：CPLEX混合整数优化器的并行扩展。摘自：F.Cappello，T.Herault，J.Dongarra（编辑），《并行虚拟机和消息传递接口的最新进展》（第97-106页）。柏林，海德堡：施普林格。 ·doi:10.1007/978-3-540-75416-9_19
[19] 19.Shinano，Y.、Fujie，T.和Kounoike，Y.（2003）。在PUBB2框架中并行化ILOG-CPLEX混合整数优化器的有效性。H.Kosch，L.Böszörményi，&H.Hellwagner（编辑），《2003年欧洲-巴黎并行处理会议录》（Proceedings of Euro-Par 2003 Parallel Processing）（第451-460页）。柏林-海德堡：施普林格。 ·doi:10.1007/978-3-540-45209-6_67
[20] 20.Shinano，Y.、Heinz，S.、Vigerske，S.和Winkler，M.（2018年）。FiberSCIP—SCIP的共享内存并行化\（信息与计算杂志），（30）（1），11-30·Zbl 1528.90165号 ·doi:10.1287/ijoc.2017.0762
[21] 21.Shinano，Y.、Higaki，M.和Hirabayashi，R.（1995）。并行分支定界算法的通用工具。摘自：（第七届IEEE并行和分布式处理研讨会论文集）（第392-401页）。 ·doi:10.1109/SDP.1995.530710
[22] 22.SteinLib测试数据库。
[23] 23.Tschöke，S.和Polzer，T.（1996）。Prortabl并行分支绑定库PPBB-Lib。用户手册2.0版，帕德博恩大学。
[24] 24.UG：Ubiquity Generator框架。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。