杰拉尔德·加姆拉斯;托尔斯滕·科赫;斯蒂芬·马赫。;丹尼尔·雷费尔特;Yuji Shinano SCIP-Jack–具有并行化扩展的STP和变体的求解器。 （英语） Zbl 1387.90133号 数学。程序。计算。 9，第2期，231-296（2017）. 摘要：图中的斯坦纳树问题是一个经典问题，在实际应用中通常作为许多变体之一出现。虽然可以观察到不同Steiner树问题变体之间的密切关系，但迄今为止所采用的解决方法普遍是针对特定问题的。相比之下，本文介绍了一种通用解算器，该解算器可用于解决经典的Steiner树问题及其许多变体，而无需修改。这种多功能性是通过将各种问题变量转换为一般形式并使用最先进的MIP框架解决它们来实现的。其结果是可以在大规模并行环境中使用的高性能求解器，并且能够解决以前未解决的实例。 引用于21文件 MSC公司： 90立方厘米 整数编程 90C27型 组合优化 软件：SCIP插孔;优化软件基准;无人值守地面;SCIP公司;SoPlex公司;斯坦利布;副SCIP;光纤SCIP PDF格式BibTeX公司 XML格式引用 \textit{G.Gamrath}等人，《数学》。程序。计算。9，第2号，231--296（2017；Zbl 1387.90133） 全文： 内政部 参考文献： [1] 卡普，R。；Miller，R.（编辑）；Thatcher，J.（编辑），组合问题中的可约性，85-103（1972），马萨诸塞州波士顿·Zbl 1467.68065号 ·doi:10.1007/978-1-4684-2001-2_9 [2] Leitner，M.、Ljubić，I.、Luipersbeck，M.，Prossegger，M.和Resch，M.：图中Steiner树问题的新现实世界实例。技术报告，ISOR，维也纳大学（2014）·Zbl 0435.05036号 [3] Chowdhury，S.A.、Shackney，S.、Heselmeyer-Haddad，K.、Ried，T.、Schffer，A.A.、Schwartz，R.：肿瘤细胞群多探针荧光原位杂交数据的系统发育分析。生物信息学29（13），189-198（2013）·doi:10.1093/bioinformatics/btt205 [4] Ljubić，I.：两个网络设计问题的精确和模因算法。Wien理工大学博士论文（2004年）·Zbl 0396.05009号 [5] Dittrich，M.T.，Klau，G.W.，Rosenwald，A.，Dandekar，T.，Müller，T.:识别蛋白质相互作用网络中的功能模块：综合精确方法。生物信息学24（13），223-231（2008）·doi:10.1093/bioinformatics/btn161 [6] Liers，F.、Martin，A.、Pape，S.：具有度约束的Steiner树：结构结果和精确解方法。技术报告，数学系（2014）·Zbl 1387.90141号 [7] Koch，T.，Martin，A.：将图中的Steiner树问题求解到最优。网络32207-232（1998）·Zbl 1002.90078号 ·doi:10.1002/（SICI）1097-0037（199810）32:3<207:：AID-NET5>3.0.CO；2-O型 [8] Achterberg，T.:SCIP：求解约束整数程序。数学。程序。计算。1(1), 1-41 (2009) ·Zbl 1171.90476号 ·doi:10.1007/s12532-008-0001-1 [9] Gamrath，G.、Fischer，T.、Gally，T.，Gleixner，A.M.、Hendel，G.，Koch，T.；Maher，S.J.、Miltenberger，M.、Müller，B.、Pfetsch，M.E.、Puchert，C.、Rehfeldt，D.、Schenker，S.、Schwarz，R.、Serrano，F.、Shinano，Y.、Vigerske，S.，Weninger，D.、Winkler，M.，Witt，J.、Witzig，J.：SCIP优化套件3.2。技术报告15-60，ZIB，Takustr.7，14195 Berlin（2016）·Zbl 0904.90165号 [10] 博恩德费尔，R。；Hoáng，ND；卡尔布斯坦，M。；科赫，T。；马丁，A。；Jünger，M.（编辑）；Reinelt，G.（编辑），20年内你能连接多少个Steiner终端？，215-244（2013），柏林，海德堡·Zbl 1317.90302号 ·doi:10.1007/978-3-642-38189-8_10 [11] 科赫，T。；马丁。；佩奇，ME；Jünger，M.（编辑）；Reinelt，G.（编辑），《学术计算整数编程进展》，483-506（2013），柏林，海德堡·Zbl 1317.90204号 ·doi:10.1007/978-3-642-38189-8_19 [12] Rosseti，I.，de Aragão，M.，Ribeiro，C.，Uchoa，E.，Werneck，R.：图中Steiner问题的新基准实例。摘自：第四届元启发式国际会议（MIC’2001）的扩展摘要，第557-561页，波尔图（2001）·Zbl 1002.90078号 [13] Duin，C.：图中的Steiner问题。阿姆斯特丹大学博士论文（1993年） [14] Polzin，T.：网络中Steiner问题的算法。萨尔州大学博士论文（2004年）·Zbl 1317.90204号 [15] Daneshmand，S.V.：网络中Steiner问题的算法方法。曼海姆大学博士论文（2004年） [16] Rehfeldt，D.：解决Steiner树问题和变体的通用方法。柏林理工大学硕士论文（2015）·Zbl 0904.90165号 [17] Applegate，D.L.，Bixby，R.E.，Chvátal，V.，Cook，W.J.：关于旅行推销员问题的解决方案。《德国数学期刊文献》，ICM III，645-656（1998）·Zbl 0904.90165号 [18] Mittelmann，H.：优化软件的基准。http://plato.asu.edu/bench.html。上次访问时间：2015年3月9日·Zbl 1238.90117号 [19] Beasley，J.E.：图中Steiner问题的算法。网络14（1），147-159（1984）·Zbl 0541.90034号 ·doi:10.1002/net.3230140112 [20] Hwang，F.，Richards，D.S.，Winter，P.：斯坦纳树问题。《描述数学年鉴》，第53卷。阿姆斯特丹爱思唯尔·Zbl 0774.05001号 [21] Achterberg，T.：约束整数编程。柏林理工大学博士论文（2007年）·Zbl 1169.90414号 [22] de Aragao，M.P.，Werneck，R.F.：关于图中Steiner问题基于MST的启发式的实现。摘自：第四届算法工程与实验国际研讨会论文集，第1-15页。施普林格，柏林，海德堡（2002）·Zbl 1014.68771号 [23] Uchoa，E.，Werneck，R.F.F.：快速局部搜索图中的Steiner树。摘自：Blelloch，G.E.，Halperin，D.（编辑）ALENEX，第1-10页。SIAM，工业和应用数学学会，宾夕法尼亚州费城（2010）·Zbl 1430.68248号 [24] Wong，R.：有向图上Steiner树问题的双重上升方法。数学。程序。28271-287（1984年）·Zbl 0532.90092号 ·doi:10.1007/BF02612335 [25] Pajor，T.，Uchoa，E.，Werneck，R.F:图中Steiner问题的鲁棒可缩放算法。预印，arXiv:1412.2787·Zbl 1390.05227号 [26] Takahashi，H.：图中Steiner问题的近似解。数学。日本。24, 573-577 (1980) ·Zbl 0435.05036号 [27] Ribeiro，C.C.，Uchoa，E.，Werneck，R.F.：图中Steiner问题带扰动的混合GRASP。信息J.计算。14(3), 228-246 (2002) ·Zbl 1238.90117号 ·doi:10.1287/ijoc.14.3.228.116 [28] Wunderling，R.：并行与对象定向器单纯形算法。柏林理工大学博士论文（1996年）·Zbl 0871.65048号 [29] Beasley，J.：图中Steiner问题的基于SST的算法。网络19，1-16（1989）·Zbl 0662.90083号 ·doi:10.1002/net.3230190102 [30] Gamrath，G.，Koch，T.，Maher，S.J.，Rehfeldt，D.，Shinano，Y.：SCIP-Jack——STP和带有并行化扩展的变体的求解器。第11届DIMACS竞赛研讨会论文（2014年）·Zbl 1387.90133号 [31] Polzin，T.，Vahdati-Daneshmand，S.：Steiner树挑战：最新研究（2014）。未发表的手稿http://dimacs11.zib.de/downloads.html ·Zbl 1019.68613号 [32] Johnston，J.，Kelley，R.，Crawford，T.，Morton，D.，Agarwala，R.、Koch，T.、Schäffer，A.、Francomano，C.、Biesecker，L.：肌钙蛋白T1突变引起的阿米什人新型线虫性肌病。Am.J.Hum.遗传学。67（4），814-821（2000）·Zbl 0532.90092号 [33] Garey，M.，Johnson，D.：直线Steiner树问题是NP完全的。SIAM J.应用。数学。32, 826-834 (1977) ·Zbl 0396.05009号 ·数字对象标识代码：10.1137/0132071 [34] Warme，D.、Winter，P.、Zachariasen，M.：平面Steiner树问题的精确算法：计算研究。收录于：杜，D.Z.，史密斯，J.，鲁宾斯坦，J.（编辑）《斯坦纳树的进展》，第81-116页。多德雷赫特·克鲁沃（2000）·Zbl 0968.90067号 [35] Zachariasen，M.，Rohe，A.：矩形群Steiner树及其在超大规模集成电路设计中的应用。技术报告00906，离散数学研究所（2000）·Zbl 1030.90132号 [36] Emanet，N.：直线Steiner树问题。兰伯特学术出版社（2010）·Zbl 1136.90032号 [37] Hanan，M.：关于斯坦纳的直线距离问题。SIAM J.应用。数学。14(2), 255-265 (1966) ·Zbl 0151.33205号 ·数字对象标识代码：10.1137/0114025 [38] Snyder，T.L.：关于一般维度中Steiner点的精确位置。SIAM J.计算。21(1), 163-180 (1992) ·Zbl 0749.52007号 ·doi:10.1137/0221013 [39] Rehfeldt，D.，Koch，T.：有奖收集Steiner树问题和最大权连接子图问题到SAP的转换。技术报告16-36，ZIB，Takustr.7，14195 Berlin（2016）·Zbl 1413.90228号 [40] Vo，S.：关于斯坦纳问题的一些概括的调查。摘自：第一届巴尔干运筹学会议，第1卷，第41-51页（1988年）·Zbl 0541.90034号 [41] Duin，C.W.，Volgenant，A.，Vo，S.：将群体斯坦纳问题作为斯坦纳问题来解决。欧洲药典。第154（1）、323-329（2004）号决议·Zbl 1099.90066号 ·doi:10.1016/S0377-2217（02）00707-5 [42] Ferreira，C.E.，de Oliveira Filho，F.M.：群Steiner树问题的新简化技术。SIAM J.Optim公司。17(4), 1176-1188 (2006) ·Zbl 1136.90032号 ·数字对象标识代码：10.1137/040610891 [43] Voß，S.：带跳跃约束的Steiner树问题。安·Oper。第86321-345号决议（1999年）·Zbl 0921.90072号 ·doi:10.1023/A:1018967121276 [44] Y.Shinano。；Achterberg，T。；伯托尔德，T。；亨氏，S。；科赫，T。；Bischof，C.（编辑）；Hegering，HG（编辑）；Nagel，W.（编辑）；Wittum，G.（编辑），《ParaSCIP：SCIP的并行扩展》，135-148（2012），柏林，海德堡 [45] Shinano，Y.、Heinz，S.、Vigerske，S.和Winkler，M.：FiberSCIP-SCIP的共享内存并行化。技术报告13-55，ZIB，Takustr.7，14195 Berlin（2013）·Zbl 1528.90165号 [46] Shinano，Y.、Achterberg，T.、Berthold，T.，Heinz，S.、Koch，T.和Winkler，M.：在使用多达80000个内核的超级计算机上使用ParaSCIP解决开放MIP实例。在：2016年IEEE国际并行和分布式处理研讨会，第770-779页（2016）·Zbl 0435.05036号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。