×

将NP-hard约简技术和强启发式结合在最大权连通子图问题的精确算法中。 (英语) Zbl 1410.90130号

摘要:最大权连通子图问题产生于各种令人惊讶的实际应用中,近年来引起了人们的极大兴趣。这种兴趣不仅导致了对理论性质的显著研究,还带来了几种(精确的)解算器——性能稳步提高。继续沿着这条路径,本文介绍了几个新算法,如约简技术和启发式,并描述了它们集成到精确解算器中。基于提出的新算法和新公式,我们的求解器能够平均比以前的方法优越两个数量级。此外,第11届DIMACS挑战赛的一个大规模基准实例可以首次求解到最优,另外两个基准实例的原对偶差距可以显著缩小。尽管本文以改进的实际求解为背景,但算法组件的理论属性(例如(mathcal{NP})-硬度)将受到相当大的关注。

MSC公司:

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

参考文献:

[2] T.Achterberg,{\it Constraint Integer Programming},博士论文,柏林理工大学,德国柏林,2007年·Zbl 1169.90414号
[3] N.Alcaraz、J.Pauling、R.Batra、E.Barbosa、A.Junge、A.G.Christensen、V.Azevedo、H.J.Ditzel和J.Baumbach,《Keypathwayminer 4.0:将多种组学研究和网络与细胞景观相结合的条件特异性途径分析》,BMC Syst。《生物学》,8(2014),99。
[4] E.Althaus和M.Blumenstock,最大权连通子图的{it算法和Prize-Collecting Steiner树问题},2014年·Zbl 1431.90159号
[5] E.Aílvarez-Miranda,I.Ljubicí,and P.Mutzel,{\it The maximum weight connected subgraph problem},收录于《组合优化的面》,施普林格,柏林,海德堡,2013年,第245-270页·Zbl 1317.90299号
[6] E.Aílvarez-Miranda,I.Ljubicí,and P.Mutzel,{\it The rooted maximum node-weight connected subgraph problem},《组合优化问题常量编程中的集成AI和OR技术》,Springer,Berlin,Heidelberg,2013年,第300-315页·Zbl 1382.90108号
[7] C.Backes、A.Rurainski、G.Klau、O.Muöller、D.Stoáckel、A.Gerasch、J.Ku¨ntzer、D.Maisel、N.Ludwig、M.Hein、A.Keller、H.Burtscher、M.Kaufmann、E.Meese和H.-P.Lenhof,{一种在监管网络中发现解除管制子图的整数线性规划方法},《核酸研究》,40(2011),e43。
[8] M.D.Biha、H.L.M.Kerivin和P.H.Ng,{连通子图问题的多面体研究},离散数学。,338(2015),第80-92页·Zbl 1301.05232号
[9] C.Chen和K.Grauman,{利用最大子图搜索进行高效活动检测},2012年IEEE计算机视觉和模式识别会议,普罗维登斯,RI,2012,第1274-1281页。
[10] M.P.de Aragao和R.F.Werneck,{\it On the implementation of MST-based heuristics for the Steiner problem in graphs},载于《第四届算法工程与实验国际研讨会论文集》,斯普林格,柏林,海德堡,2002年,第1-15页·兹比尔1014.68771
[11] B.Dilkina和C.P.Gomes,{解决野生动物保护中的连通子图问题},《第七届国际会议关于组合优化问题约束编程中人工智能和操作规则技术集成的会议记录》(CPAIOR'10),Springer-Verlag,柏林,海德堡,2010年,第102-116页·Zbl 1285.68155号
[12] M.T.Dittrich、G.W.Klau、A.Rosenwald、T.Dandeka和T.Muöller,《识别蛋白质相互作用网络中的功能模块:综合精确方法》,生物信息学,24(2008),第223-231页。
[13] C.Duin,{图中的斯坦纳问题},荷兰阿姆斯特丹阿姆斯特丹大学博士论文,1993年。
[14] H.Eisert和C.-L.Sandblom,{整数规划和网络模型},施普林格,柏林,海德堡,2000年·Zbl 0963.90066号
[15] M.El-Kebir和G.W.Klau,《解最大权连通子图问题到最优解》,预印本,2014年。
[16] M.Fischetti、M.Leitner、I.Ljubicí、M.Luibersbeck、M.Monaci、M.Resch、D.Salvagnin和M.Sinnl,《稀疏Steiner树:统一边缘成本的基于节点的模型》,数学。程序。计算。,9(2017),第203-229页·Zbl 1387.90132号
[17] G.Gamrath、T.Koch、S.Maher、D.Rehfeldt和Y.Shinano,{it SCIP-Jack:STP和带有并行化扩展的变体的求解器},数学。程序。计算。,9(2017),第231-296页·Zbl 1387.90133号
[18] M.R.Garey和D.S.Johnson,《计算机与难处理性:NP-完备性理论指南》,W.H.Freeman&Co.,纽约,1979年·Zbl 0411.68039号
[19] A.Gleixner、M.Bastubbe、L.Eifler、T.Gally、G.Gamrath、R.L.Gottwald、G.Hendel、C.Hojny、T.Koch、M.E.Luíbbecke、S.J.Maher、M.Miltenberger、B.Muñller、M.E.Pfetsch、C.Puchert、D.Rehfeldt、F.Schloásser、C.Schubert、F.Serrano、Y.Shinano、J.M.Viernickel、M.Walter、F.Wegscheider、J.T.Witt和J.Witzig,{\it SCIP优化套件}6.0,技术报告18-26,ZIB,德国柏林,2018年。
[20] D.S.Johnson,《NP完整性专栏:正在进行的指南》,J.Algorithms,6(1985),第145-159页·Zbl 0562.68032号
[21] T.Koch和A.Martin,{将图中的Steiner树问题求解到最优},《网络》,32(1998),第207-232页·Zbl 1002.90078号
[22] M.Leitner,I.Ljubicí,M.Luipersbeck,and M.Sinnl,{\it prize-collecting Steiner tree and related problems},《信息与计算》。,30(2018),第402-420页·Zbl 1446.90060号
[23] A.A.Loboda、M.N.Artyomov和A.A.Sergushichev,{解决网络富集分析的广义最大权连通子图问题},《生物信息学算法》,Springer,Cham,2016年,第210-221页·Zbl 1383.92010年
[24] S.J.Maher、T.Fischer、T.Gally、G.Gamrath、A.Gleixner、R.L.Gottwald、G.Hendel、T.Koch、M.E.Lu¨bbecke、M.Miltenberger、B.Mu¨ller、M.E.Pfetsch、C.Puchert、D.Rehfeldt、S.Schenker、R.Schwarz、F.Serrano、Y.Shinano、D.Weninger、J.T.Witt和J.Witzig,{it SCIP优化套件}4.0,技术报告17-12,ZIB,柏林,德国,2017年。
[25] M.Minoux,{使用重新优化和超模块化解决Steiner树问题的高效贪婪启发式},INFOR Inf.Syst。操作。Res.,28(1990),第221-233页·Zbl 0721.90078号
[26] T.Pajor、E.Uchoa和R.F.Werneck,{\it图中Steiner问题的一种鲁棒且可扩展的算法},数学。程序。计算。,10(2018年),第69-118页·Zbl 1390.05227号
[27] T.Polzin和S.V.Daneshmand,{网络中Steiner问题的改进算法},离散应用。数学。,112(2001),第263-300页·Zbl 0994.90135号
[28] T.Polzin和S.V.Daneshmand,《Steiner树问题的扩展约简技术》,摘自《算法–ESA》,Springer,Berlin,Heidelberg,2002年,第795-807页·Zbl 1019.68613号
[29] D.Rehfeldt和T.Koch,{\it prize-collecting Steiner树问题和最大权连通子图问题到SAP的变换},J.Compute。数学。,36(2018),第459-468页·Zbl 1413.90228号
[30] D.Rehfeldt、T.Koch和S.J.Maher,{获奖Steiner树问题和最大权连通子图问题的约简技术},网络,(2018)·Zbl 1413.90228号
[31] D.D.Sleator和R.E.Tarjan,《动态树的数据结构》,J.Compute。系统科学。,26(1983年),第362-391页·Zbl 0509.68058号
[32] H.Takahashi和A.Matsuyama,图中Steiner问题的近似解,Mathematica Japonica,24(1980),第573-577页·兹伯利0435.05036
[33] E.Uchoa,{\it prize-collecting Steiner问题的简化测试},Oper。Res.Lett.公司。,34(2006),第437-444页·Zbl 1133.90409号
[34] Y.Wang、A.Buchanan和S.Butenko,《关于在整数程序中施加连接性约束》,数学。程序。,166(2017),第241-271页·Zbl 1386.90023号
[35] R.Wong,{\it有向图上Steiner树问题的对偶上升方法},数学。《程序设计》,28(1984),第271-287页·Zbl 0532.90092号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。