×

有向最大叶生成树问题的精确指数时间算法。 (英语) Zbl 1247.05233号

摘要:给定一个有向图(G=(V,a)),有向最大叶子生成树问题要求计算一个尽可能多叶子的有向生成树。通过设计一个用Measure&Conquer分析的分支算法,我们证明了该问题可以用多项式空间在时间(mathcal O^{ast}(1.9044^{n}))内求解。允许指数空间,这个运行时上限可以降低到\(mathcal O^{ast}(1.8139^{n})\)。我们还提供了一个示例,显示了算法运行时间的下限。

MSC公司:

05C85号 图形算法(图形理论方面)
05时20分 有向图(有向图),比赛
2017年第68季度 问题的计算难度(下限、完备性、近似难度等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Binkele-Raible,D。;Fernau,H.,有向最大生成树问题的快速精确算法,(Ablayev,F.;Mayr,E.W.,《俄罗斯的计算机科学》,CSR,LNCS,第6072卷(2010),Springer),328-339·Zbl 1284.05267号
[2] Binkele-Raible,D。;布兰科维奇。;Fernau,H。;Kneis,J。;Kratsch,D。;Langer,A。;利德洛夫,M。;Rossmanith,P.,精确谜题的参数化路线:打破不重复,(Calamoneri,T.;Díaz,J.,算法与复杂性CIAC。算法与复杂性CIAC,LNCS,第6078卷(2010),施普林格),311-322·Zbl 1284.05266号
[3] Binkele-Raible,D。;布兰科维奇。;赛根,M。;Fernau,H。;Kneis,J。;Kratsch,D。;Langer,A。;利德洛夫,M。;皮利普祖克,M。;Rossmanith,P。;Wojtaszczyk,J.O.,打破了无冗余:双线攻击,《离散算法杂志》,9,214-230(2011)·Zbl 1225.05227号
[4] Bonsma,P.S。;Dorn,F.,有向最大叶生成树的紧界和快速FPT算法,ACM算法事务,7,4,44(2011)·Zbl 1295.05223号
[5] Bonsma,P.S。;Zickfeld,F.,《在三次图中寻找多叶生成树的3/2近似算法》,(Broersma,H.;Erlebach,T.;Friedtzky,T.),Paulusma,D.,《计算机科学中的图论概念》,第34届国际研讨会,WG 2008。计算机科学中的图论概念,第34届国际研讨会,WG 2008,LNCS,第5344卷(2008),Springer),66-77·Zbl 1202.68274号
[6] 科特雷特,L。;Milreu,P.V.公司。;阿库尼亚,V。;Marchetti-Paccamela,A。;马丁内斯,F.V。;萨戈,M.-F。;Stougie,L.,枚举代谢网络中目标代谢物的前体集合,(Crandall,K.a.;Lagergren,J.,生物信息学中的算法,第八届国际研讨会,WABI.生物信息学算法,第8届国际会议,WABI,LNCS,第5251卷(2008)),233-244
[7] Daligault,J。;Thomassé,S.,《寻找多叶定向树》(Chen,J.;Fomin,F.V.,参数化和精确计算,第四届国际研讨会,IWPEC。参数化和准确计算,第4届国际研讨会。IWPEC,LNCS,第5917卷(2009),Springer),86-97·Zbl 1273.68162号
[8] Daligault,J。;Gutin,G。;Kim,E.J。;Yeo,A.,有向(k)叶问题的FPT算法和内核,《计算机与系统科学杂志》,76,2,144-152(2010)·Zbl 1184.05120号
[9] Drescher,M。;Vetta,A.,最大叶展乔木问题的近似算法,ACM-Trans。算法,6,3,1-18(2010)·Zbl 1300.68065号
[10] Fernau,H。;Fomin,F.V。;Lokshtanov博士。;Raible,D。;Saurabh,S。;Villanger,Y.,《无核问题的内核:多叶树上》,(Albers,s.;Marion,J.-Y.,计算机科学STACS理论方面研讨会(2009),Schloss Dagstuhl-Leibniz-Zentrum für Informatik:Schloss Dgstuhl-Leibniz-Z entrum für Infoatik Germany),421-432,完整版本:ACM算法事务(正在出版)·兹比尔1236.68087
[11] Fernau,H。;Kneis,J。;Kratsch,D。;Langer,A。;利德洛夫,M。;Raible,D。;Rossmanith,P.,最大生成树问题的精确算法,理论计算机科学,412,45,6290-6302(2011)·Zbl 1233.68236号
[12] Fomin,F.V。;Kratsch,D.,《精确指数算法》,《理论计算机科学文本》(2010),施普林格出版社·Zbl 1370.68002号
[13] Fomin,F.V。;Grandoni,F。;Kratsch,D.,求解连通支配集的速度快于(2^n),《算法》,52,153-166(2008)·Zbl 1170.68030号
[14] Fomin,F.V。;Grandoni,F。;Kratsch,D.,《精确算法分析的度量与征服方法》,《ACM杂志》,2009年第56期,第5期,第25篇·兹比尔1325.68311
[15] Fu,Y.,有向图的支配集和逆支配集,《美国数学月刊》,75,8,861-863(1968)·Zbl 0174.55203号
[16] Kneis,J。;Langer,A。;Rossmanith,P.,《寻找多叶树的新算法》,《算法》,61882-897(2011)·Zbl 1230.68112号
[17] 刘,Z。;王,B。;Guo,L.,无线传感器网络连通支配集构造算法综述,信息技术期刊,9,1081-1092(2010)
[18] 卢,H.-I。;Ravi,R.,近似近似线性时间内的最大叶生成树,《算法杂志》,29132-141(1998)·Zbl 0919.68097号
[19] Milenković,T。;梅米舍维奇,V。;博纳托,A。;Príulj,N.,《主导生物网络》,《公共科学图书馆》,第6、8页(2011年)
[20] 尼古洛斯基,Z。;Grimbs,S。;塞尔比希,J。;Ebenhöh,O.,反范围问题的硬度和逼近性,(Crandall,K.A.;Lagergren,J.,生物信息学中的算法,第8届国际研讨会,WABI。生物信息学中的算法,第8届国际研讨会,WABI,LNCS,第5251卷(2008),施普林格),99-112
[21] 庞,C。;张,R。;张,Q。;Wang,J.,有向图中的支配集,信息科学,180,19,3647-3652(2010)·Zbl 1231.05208号
[22] 雷,M。;维尔马,S。;Tapaswi,S.,《无线传感器网络的功率感知最小连接支配集》,《网络杂志》,2009年第4期,第6期
[23] Raible,D。;Fernau,H.,《(k)-叶生成树的摊销搜索树分析》,(van Leeuwen,J.;Muscholl,A.;Peleg,D.;Pokorn,J.,Rumpe,B.,SOFSEM 2010:计算机科学理论与实践,SOFSEM 2010:《计算机科学的理论与实践》,LNCS,第5901卷(2010),Springer),672-684·Zbl 1274.68675号
[24] 拉曼,V。;Saurabh,S.,竞赛中反馈集问题及其对偶的参数化算法,理论计算机科学,351,3446-458(2006)·Zbl 1086.68105号
[25] Razgon,I.,《计算(O(1.9977^n)中的最小定向反馈顶点集》,(Italiano,G.F.;Moggi,E.;Laura,L.,《理论计算机科学》,第十届意大利会议,ICTCS(2007),世界科学),70-81
[26] N.Schwartges,近似算法für das gerichtete Maximum-Leaf-Spanning-Tree-Problem,硕士论文,德国瓦茨堡大学,2011年。;N.Schwartges,近似算法für das gerichtete Maximum-Leaf-Spanning-Tree-Problem,硕士论文,德国瓦茨堡大学,2011年。
[27] Solis-Oba,R.,《寻找具有最大叶子数的生成树的2-近似算法》,(Bilardi,G.;Italiano,G.F.;Pietracaprina,a.;Pucci,G,Algorithms-ESA’98,第六届欧洲年会。Algoritsms-ESA‘98,第6届欧洲年会刊,LNCS,第1461卷(1998),Springer),441-452·Zbl 0932.68069号
[28] 泰国,M.T。;Wang,F。;刘,D。;朱,S。;Du,D.-Z.,《无线网络中不同传输范围的连通支配集》,IEEE Trans。移动计算,6721-730(2007)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。