×

二叉斯坦纳树:结构结果和精确解方法。 (英语) Zbl 1387.90141号

摘要:本文研究带度约束的Steiner树问题。受计算生物学应用的启发,我们将重点放在二叉Steiner树上,在该树中,所有节点度数都要求最多为三。证明了对于任意图,寻找二叉Steiner树是完全的。通过证明近似比,我们将问题与无度约束的Steiner树以及度约束的生成树联系起来。进一步,我们给出了这个问题在无向图和有向图上的整数规划公式,并研究了这两种情况下的相关多面体。介绍了一些面类。基于这项研究,开发了一种分支和切割方法,并对来自系统发育树重建的生物实例进行了评估。我们能够在有限的时间内解决几乎所有实例(最多200个节点)的优化问题。这表明了我们方法的有效性。

MSC公司:

90立方厘米 整数编程
90C27型 组合优化
05二氧化碳
90立方厘米 涉及图形或网络的编程
90C57型 多面体组合学,分支与绑定,分支与切割
92D15型 与进化有关的问题
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Korte,B。;普雷梅尔,H。;Steger,A.,超大规模集成电路布局中的Steiner树,(路径、流和超大规模集成电路布局,第9卷(1990)),185-214·Zbl 0722.68088号
[2] Dreyfus,S。;Wagner,R.,图中的Steiner问题,网络,1195-207(1971)·Zbl 0229.05125
[3] 高桥,H。;松山,A.,图中斯坦纳问题的近似解,数学。日本。,24, 573-577 (1979) ·Zbl 0435.05036号
[4] Rayward-Smith,V.,图中几乎最小steiner树的计算,国际。数学杂志。编辑科学。《技术》,第14期,第283-294页(1983年)·Zbl 0512.05024号
[5] 马库兰,N.,图中的斯坦纳问题,离散数学。,31, 185-212 (1987)
[6] 戈曼斯,M。;Myung,Y.,施泰纳树配方目录,网络,23,19-28(2006)·Zbl 0794.90074号
[7] 肖普拉,S。;Rao,M.,《斯坦纳树问题I:面的公式、合成和扩展》,数学。程序。,64, 209-229 (1994) ·Zbl 0821.90124号
[8] 肖普拉,S。;Rao,M.,steiner树问题II:面的属性和类,数学。程序。,64, 231-246 (1994) ·Zbl 0831.90115号
[9] Goemans,M.,《斯坦纳树多面体和相关多面体》,《数学》。程序。,63157-182(1994年)·Zbl 0808.90124号
[10] 卢塞纳,A。;Beasley,J.,图中Steiner问题的分支与切割算法,《网络》,31,39-59(1998)·Zbl 0894.90155号
[11] 肖普拉,S。;戈雷斯(E.Gorres)。;Rao,M.,使用分支和切割解决图上的steiner树问题,ORSA J.Compute。,4320-335(1992年)·Zbl 0759.90091号
[12] 科赫,T。;Martin,A.,将图中的Steiner树问题求解到最优,网络,32207-232(1998)·兹比尔1002.90078
[13] Winter,P.,《网络中的斯坦纳问题:一项调查》,《网络》,第17期,第129-167页(1987年)·Zbl 0646.90028号
[14] 黄,F。;理查兹,D。;Winter,P.,《斯坦纳树问题》(1992),荷兰北部·Zbl 0774.05001号
[15] 普雷梅尔,H。;Steger,A.,Steiner树问题(2002),美国数学学会
[16] 库尼亚,A。;Lucena,A.,度约束最小生成树问题的上下限,网络,5055-66(2007)·Zbl 1119.90069号
[17] Cunha,A.,Arvores otimas em grafos:modelos,algorithmos e applicacoes(2006年),Programma de Engenharia de Sistemas e Computacao,Universidade Federal do Rio de Janeiro,(博士论文)
[18] Caccetta,L。;Hill,S.,度约束最小生成树问题的分支与切割方法,网络,37,74-83(2001)·Zbl 0967.90094号
[19] 坎德卡尔,R。;Kortsarz,G。;Nutov,Z.,《关于具有度约束的网络设计问题》,J.Compute。系统。科学。,79, 725-736 (2013) ·Zbl 1269.68069号
[20] A.路易斯。;Vishnoi,N.,度有界生存网络设计问题的改进算法,SWAT,6139,408-419(2010)·Zbl 1285.68124号
[21] Lau,L。;Naor,J。;萨拉瓦蒂普尔,M。;Singh,M.,度或阶约束下的可生存网络设计问题,SIAM J.Compute。,39, 1062-1087 (2009) ·Zbl 1192.68911号
[22] 北班萨尔。;坎德卡尔,R。;Nagarajan,V.,度有界定向网络设计的加性保证,SIAM J.Sci。计算。,39, 1413-1431 (2009) ·Zbl 1206.68366号
[23] Lau,L.公司。;Singh,M.,有界度生存网络设计的加性近似,STOC,759-768(2008)·Zbl 1231.68286号
[24] 拉维,R。;Marathe,J。;拉维,S。;Rosenkrantz博士。;Hunt,H.,度约束最小成本网络设计问题的近似算法,《算法》,31,58-78(2001)·Zbl 0980.68139号
[25] Furer,M。;Raghavachari,B.,《将最小度steiner树逼近到最优值之一》,J.Algorithms,17,409-423(1994)·Zbl 1321.05262号
[26] 张,G。;李,C。;李强。;李,B。;拉金,D.M。;Lee,C。;斯托兹,J.F。;Antunes,A。;格林沃尔德,M.J。;Meredith,R.W。;奥丁,A。;崔,J。;周,Q。;徐,L。;潘,H。;王,Z。;Jin,L。;张,P。;胡,H。;杨伟(Yang,W.)。;胡,J。;肖,J。;杨,Z。;刘,Y。;谢奇。;Yu,H。;Lian,J。;温,P。;张,F。;李,H。;曾勇。;熊,Z。;刘,S。;周,L。;黄,Z。;安,N。;Wang,J。;郑琦。;熊,Y。;王,G。;王,B。;Wang,J。;范,Y。;达丰塞卡,R.R。;阿尔法罗·努涅斯,A。;舒伯特,M。;奥兰多,L。;穆里埃,T。;J.T.霍华德。;Ganapathy,G。;Pfenning,A。;O.惠特尼。;里瓦斯,M.V。;E.哈拉。;史密斯,J。;法尔,M。;Narayan,J。;斯拉沃夫,G。;罗曼诺夫,M.N。;博尔赫斯,R。;马查多,J.P。;汗,I。;施普林格,M.S。;Gatesy,J。;霍夫曼,F.G。;奥帕佐,J.C。;O.哈斯塔德。;Sawyer,R.H。;Kim,H。;金,K.-W。;Kim,H.J。;Cho,S。;李,N。;黄,Y。;布鲁福德,M.W。;詹,X。;Dixon,A。;贝塔森,M.F。;Derryberry,E。;沃伦,W。;Wilson,R.K。;李,S。;Ray,D.A。;Green,R.E。;O'Brien,S.J。;格里芬,D。;约翰逊,W.E。;Haussler,D。;O.A.莱德。;Willerslev,E。;格雷夫斯,G.R。;阿尔斯特罗姆,P。;Fjeldsa,J。;Mindell,D.P。;爱德华兹S.V。;Braun,E.L。;Rahbek,C。;伯特·D·W·。;Houde,P.,《比较基因组学揭示了对鸟类基因组进化和适应的见解》,《科学》,3461311-1320(2014)
[27] 贾维斯,E.D。;米拉拉布,S。;Aberer,A.J。;李,B。;Houde,P。;李,C。;Ho,S.Y.W。;Faircloth,不列颠哥伦比亚省。;Nabholz,B。;霍华德,J.T。;苏,A。;韦伯,C.C。;达·丰塞卡,R.R。;李,J。;张,F。;李,H。;周,L。;纳鲁拉,N。;刘,L。;Ganapathy,G。;布索,B。;贝齐德,M.S。;扎维多维奇。;苏布拉马尼安,S。;Gabaldon,T。;Capella-Gutierrez,S。;韦尔塔·塞帕斯,J。;Rekepalli,B。;Munch,K。;Schierup,M。;林道,B。;沃伦,W.C。;雷·D。;Green,R.E。;布鲁福德,M.W。;詹,X。;Dixon,A。;李,S。;李,N。;黄,Y。;Derryberry,E.P。;贝塔森,M.F。;谢尔顿,F.H。;布伦菲尔德,R.T。;梅洛,C.V。;洛弗尔,P.V。;Wirthlin,M。;施耐德,M.P.C。;Prosdocimi,F。;Samaniego,J.A。;A.M.V.Velazquez。;阿尔法罗·努内兹,A。;坎波斯,P.F。;彼得森,B。;Sicheritz-Ponten,T。;Pas,A。;Bailey,T。;斯科菲尔德,P。;Bunce,M。;兰伯特,D.M。;周,Q。;佩雷尔曼,P。;德里斯克尔,A.C。;夏皮罗,B。;熊,Z。;曾勇。;刘,S。;Li,Z。;刘,B。;Wu,K。;肖,J。;尹奇,X。;郑琦。;Zhang,Y。;Yang,H。;Wang,J。;Smeds,L。;Rheindt,F.E。;布朗,M。;Fjeldsa,J。;奥兰多,L。;巴克,F.K。;Jonsson,K.A。;约翰逊,W。;Koepfli,K.-P。;O'Brien,S。;Haussler,D。;O.A.莱德。;Rahbek,C。;Willerslev,E。;格雷夫斯,G.R。;格伦,T.C。;麦科马克,J。;伯特,D。;Ellegren,H。;阿尔斯特罗姆,P。;爱德华兹S.V。;Stamatakis,A。;Mindell,D.P.,《全基因组分析解析现代鸟类生命树的早期分支》,《科学》,3461320-1331(2014)
[28] 卡明,J。;Sokal,R.,《推导系统发育中分支序列的方法》,《进化》,311-326(1965)
[29] 埃克·R。;Dayhoff,M.,蛋白质序列和结构图谱(1966年),国家生物医学研究基金会:国家生物医学科研基金会银泉
[30] Fitch,W.,《走向定义进化过程:特定树拓扑的最小变化》,系统。《生物学》,第20期,第406-416页(1971年)
[31] 惠誉,W。;Margoliash,E.,《系统发育树的构建》,《科学》,155279-284(1967)
[32] 塞图,N。;Nei,M.,邻居连接方法:一种重建系统发育树的新方法,分子生物学。演变。,4, 406-425 (1987)
[33] Felsenstein,J.,《DNA序列的进化树:最大似然法》,J.Mol.Evol。,17368-376(1981年)
[34] 杨,Z。;Rannala,B.,《利用dna序列进行贝叶斯系统发育推断:马尔可夫链蒙特卡罗方法》,分子生物学。演变。,14, 717-724 (1997)
[35] 韦尔森贝克,J。;Ronquist,F.,MRBAYES:系统发育树的贝叶斯推断,生物信息学,17754-755(2001)
[37] Clote,P。;Backofen,R.,计算分子生物学(2000),John Wiley&Sons·Zbl 0955.92013号
[39] Penny,D。;Hendy,M.,《系统遗传学:节俭和距离方法》(2000),John Wiley&Sons
[40] 斯沃福德,D。;奥尔森,G。;Waddell,P。;Hillis,D.,系统发育重建,分子系统。,3, 407-514 (1990)
[41] 卡瓦利·斯福扎,L。;爱德华兹,A.,《系统发育分析:模型和估算程序》,《美国遗传学杂志》。,19, 233-257 (1967)
[42] Lu,C。;唐,C。;Lee,R.,系统发育中的完整斯坦纳树问题,计算。梳。,2387, 163-178 (2002)
[43] Foulds,L。;Graham,R.,《进化论中的steiner问题是(NP)完全的》,《应用进展》。数学。,3, 43-49 (1982) ·Zbl 0489.92002号
[44] Cieslik,D.,《最短连接性:系统发育应用简介》(2005),施普林格出版社·Zbl 1086.92037号
[45] Catanzaro,D。;拉比,M。;佩森蒂,R。;Salazar-Gonzales,J.,《在最小进化标准下重建系统发育树的数学模型》,《网络》,53126-140(2009)·Zbl 1168.92037号
[47] Garey,M。;Johnson,D.,《计算机与不可纠正性:NP-完备性理论指南》(1997),弗里曼
[48] Pape,S.,《二元Steiner树:结构结果、算法及其在系统发育中的应用》(2015),德国埃兰根-纽伦堡大学数学系,(博士论文)
[49] 库勒,S。;拉格哈瓦查里,B。;Young,N.,低阶小重量生成树,SIAM。J.计算。,25, 355-368 (1996) ·兹比尔0849.05022
[51] 吉尔伯特,E。;Pollak,H.,Steiner最小树,SIAM J.Appl。数学。,16, 1-29 (1968) ·兹伯利0159.22001
[52] Applegate,D。;比克斯比,R。;克瓦塔尔,V。;库克,W.,《旅行推销员问题:计算研究》(2006),普林斯顿大学出版社·Zbl 1130.90036号
[53] Polzin,T。;Daneshmand,S.,《斯坦纳树放松的比较》,离散应用。数学。,112, 241-261 (2001) ·Zbl 0984.90051号
[54] M.Grötschel。;蒙马,C。;Stoer,M.,用割平面算法设计低连通性约束通信网络的计算结果,Oper。研究,40,309-330(1992)·Zbl 0749.90029号
[55] Letchford,A。;Reinelt,G。;Theis,O.,奇数最小割集和(b)-匹配重访,SIAM J.Algebr。离散数学。,22, 1480-1487 (2008) ·Zbl 1178.90290号
[56] 卡普拉拉。;Fischetti,M.,Branch-and-cut algorithms,(组合优化注释书目(1997)),45-64·Zbl 1068.90505号
[57] 卢塞纳,A。;Beasley,J.,Branch and cut algorithms,(线性和整数规划进展,第4卷(1996)),187-221·Zbl 0934.90083号
[59] Achterberg,T.,SCIP:求解约束整数程序,数学。程序。计算。,1, 1-41 (2009) ·Zbl 1171.90476号
[61] Duin,C.,斯坦纳在图中的问题(1993),阿姆斯特丹大学,(博士论文)
[65] 李,H。;科夫兰,A。;阮,J。;硬币,L。;Hériché,J。;Osmothly,L。;李,R。;刘,T。;张,Z。;博伦德,L。;Wong,G。;郑伟。;德哈尔,P。;Wang,J。;Durbin,R.,TreeFam:动物基因家族系统发育树的精选数据库,核酸研究,34(2006)
[66] 阮,J。;李,H。;陈,Z。;科夫兰,A。;硬币,L。;郭毅。;Hériché,J。;胡,Y。;K.克里斯蒂安森。;李,R。;刘,T。;摩西,A。;秦,J。;Vang,S。;维莱拉,A。;Ureta-Vida,A。;Bolund,L。;Wang,J。;Durbin,R.,TreeFam:2008年更新,Nu,36(2008)
[67] 汤普森,J。;Koehl,P。;Poch,O.,Balibase 3.0:多序列比对基准的最新发展,蛋白质,6127-136(2005)
[68] 汤普森,J。;Plewniak,F。;Poch,O.,Balibase:多比对程序进化的基准比对数据库,生物信息学,1587-88(1999)
[69] Needleman,S。;Wunsch,C.,《适用于搜索两种蛋白质氨基酸序列相似性的通用方法》,《分子生物学杂志》。,48, 443-453 (1970)
[70] Foulds,L.,图论应用(1992),Springer·Zbl 0747.05001号
[72] Dolan,E。;More,J.,《性能曲线基准优化软件》,数学。程序。,91, 201-213 (2002) ·邮编:1049.90004
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。