×

一种用于多端切割问题的参数化算法。 (英语) Zbl 1302.68210号

总结:我们研究多端子切割问题是,给定一个边是整数加权的(n)-顶点图和一组终端,要求对顶点集进行划分,使每个终端位于不同的部分,并且交叉边的总权重最多为(k)。我们的武器将是几十年来已知的两个经典成果:最大体积最小值\(s,t)\)-切割通过L.R.福特D.R.Fulkerson先生[网络中的流动。新泽西州普林斯顿:普林斯顿大学出版社(1962;Zbl 0106.34802号)]和隔离切口通过E.Dahlhaus公司等[SIAM J.Compute.23,864–894(1994;Zbl 0809.68075号)]. 我们借助子模块函数来锐化这些旧武器,并将其应用于这个问题,这使我们能够设计一个更详细的分支方案来确定非终结点是否具有终结点。这种有界搜索树算法可以在\(1.84^k\cdot n^{O(1)}\)时间内运行,从而打破\(2^k\cdot n^{O(1)}\)障碍。作为副产品,它给出了三端切割的(1.36^k\cdotn^{O(1)})时间算法。应用于非终结点的预处理可能有助于从其他方面研究该问题。

MSC公司:

68兰特 计算机科学中的图论(包括图形绘制)
05C85号 图形算法(图形理论方面)
05C40号 连接性
65年第68季度 算法和问题复杂性分析
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] 穆罕默德·侯赛因·巴泰尼;哈加伊、穆罕默德·塔吉;菲利普·克莱恩(Philip N.Klein)。;Mathieu,Claire,平面多路切割的多项式时间近似方案,(Rabani,Yuval,SODA(2012),SIAM),639-655·Zbl 1422.68294号
[2] 尼古拉·博斯克(Nicolas Bousquet);让·达利高尔特;Stéphan Thomassé,Multicut is FPT,(Lance Fortnow;Salil P.Vadhan,第43届ACM计算理论研讨会论文集,STOC 2011。第43届ACM计算理论研讨会论文集,STOC 2011,美国加利福尼亚州圣何塞,2011年6月6-8日(2011),ACM),459-468·Zbl 1288.05264号
[3] 缓冲带,Niv;约瑟夫·纳尔(Joseph Naor);Schwartz,Roy,通过指数时钟的单纯形分区和多路切割问题,(Boneh,Dan;Rougarden,Tim;Feigenbaum,Joan,STOC(2013),ACM),535-544·Zbl 1293.05286号
[4] Chandra Chekuri;Ene,Alina,子模块多路划分的近似算法,(Ostrovsky,Rafail,IEEE第52届计算机科学基础年会。IEEE第五十二届计算机科学基金会年会,FOCS 2011,加利福尼亚州棕榈泉市,美国,2011年10月22日至25日,IEEE),807-816·Zbl 1292.68163号
[5] 陈建尔;刘,杨;Lu,Songjian,最小节点多路切割问题的改进参数化算法,算法,55,1,1-13(2009)·Zbl 1194.68168号
[6] 陈建尔;刘,杨;吕松坚;巴里·奥沙利文;Razgon,Igor,定向反馈顶点集问题的一种固定参数算法,J.ACM,55,5,1-19(2008),文章编号21,初步版本发表于STOC 2008·Zbl 1325.68104号
[7] 威廉·坎宁安(William H.Cunningham),最佳多端切割问题,DIMACS Ser。谨慎。数学。西奥。计算。科学。,5, 105-120 (1991) ·Zbl 0821.90125号
[8] 马雷克·赛根(Marek Cygan);马钦·皮里普祖克(Marcin Pilipczuk);米查尔·皮里普祖克(Michal Pilipczuk);Onufry Wojtaszczyk,Jakub,在下限以上参数化的多路切割上,ACM Trans。计算。理论,5,1,1-11(2013),第3条·Zbl 1322.68098号
[9] Elias Dahlhaus;大卫·约翰逊(David S.Johnson)。;Christos H.帕帕迪米特里奥。;保罗·D·西摩。;Yannakakis,Mihalis,多端切割的复杂性,SIAM J.Compute。,23,4864-894(1994),初步版本于1992年STOC上发布·Zbl 0809.68075号
[10] Fedor V.Fomin。;Kratsch、Dieter、Exact Exponential Algorithms、Texts in Theory Computer Science(2011年)、Springer:Springer Berlin Heidelberg
[11] Lester R.福特。;Delbert R.Fulkerson,《网络中的流动》(1962),普林斯顿大学出版社:普林斯顿大学出版,新泽西州普林斯顿·Zbl 0106.34802号
[12] 纳文·加格(Naveen Garg);维杰伊·瓦齐拉尼。;Yannakakis,Mihalis,《节点加权图中的多路切割》,J.Algorithms,50,1,49-61(2004),初步版本出现在ICALP 1994中·Zbl 1068.68178号
[13] 奥利维埃·戈德施密特(Olivier Goldschmidt);Hochbaum,Dorit S.,《固定(k)割问题的多项式算法》,数学。操作人员。Res.,19,1,24-37(1994),初步版本出现在FOCS 1988中·Zbl 0809.90125号
[14] Kawarabayashi,Ken-ichi;Thorup,Mikkel,有界尺寸的最小(k)-路切割是固定参数可处理的,(Ostrovsky,Rafail,IEEE第52届计算机科学基础年度研讨会,2011年FOCS,美国加利福尼亚州棕榈泉,2011年10月22日至25日,IEEE),160-169·Zbl 1292.68094号
[15] 菲利普·克莱恩(Philip N.Klein)。;Marx,Dániel,解平面(k)-终端切入(O(n^{c\sqrt{k}})时间,(Czumaj,Artur;Mehlhorn,Kurt;Pitts,Andrew M.;Wattenhofer,Roger,Automata,Languages,and Programming)-第39届国际学术讨论会,ICALP 2012,论文集,第一部分。自动机、语言和程序设计——第39届国际学术讨论会,2012年ICALP,会议记录,第一部分,英国沃里克,2012年7月9日至13日。自动化、语言与编程——第39届国际学术讨论会,ICALP 2012,论文集,第一部分。自动化、语言和编程——第三十九届国际学术研讨会,ICALP2012,论文集第一部分,英国沃里克,2012年7月9日至13日,莱克特。注释计算。科学。,第7391卷(2012),施普林格),569-580·Zbl 1272.68157号
[16] Marx,Dániel,参数化图形分离问题,Theor。计算。科学。,351, 3, 394-406 (2006) ·Zbl 1086.68104号
[17] Marx,Dániel,《终端数量固定的平面多路切割的紧下限》,(Czumaj,Artur;Mehlhorn,Kurt;Pitts,Andrew M.;Wattenhofer,Roger,Automata,Languages,and Programming——第39届国际学术讨论会,ICALP 2012,论文集,第一部分。自动化、语言与编程——第39届国际学术讨论会,ICALP 2012,会议记录,第一部分,英国沃里克,2012年7月9日至13日。自动化、语言与编程——第39届国际学术讨论会,ICALP 2012,论文集,第一部分。自动化、语言和编程——第三十九届国际学术研讨会,ICALP2012,论文集第一部分,英国沃里克,2012年7月9日至13日,莱克特。注释计算。科学。,第7391卷(2012年),施普林格出版社),677-688·Zbl 1272.68147号
[18] 达尼尔·马克思;Razgon,Igor,通过割集大小参数化的多割的固定参数可处理性,(Fortnow,Lance;Vadhan,Salil P.,第43届ACM计算理论研讨会论文集,STOC 2011。第43届ACM计算理论研讨会论文集,STOC 2011,美国加利福尼亚州圣何塞,2011年6月6-8日(2011),ACM),469-478·兹比尔1288.05283
[19] 广岛长垣;Ibaraki,Toshihide,图连通性的算法方面,数学百科全书及其应用。(2008),剑桥大学出版社:英国剑桥大学出版社·Zbl 1172.05003号
[20] Xiao,Mingyu,用于多端切割的简单和改进参数化算法,理论计算。系统。,46, 4, 723-736 (2010) ·Zbl 1213.68472号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。