×
菲利普·格瓦尔盖塞;文卡特斯·拉曼;Yngve村

用于删除路径宽度一个顶点的四次核。 （英语） Zbl 1309.68100号

蒂利科斯，迪米特里奥斯·M（编辑），计算机科学中的图论概念。2010年6月28日至30日，第36届国际研讨会，2010年工作组，希腊克里特岛扎罗斯。修订论文。柏林：施普林格出版社（ISBN 978-3-642-16925-0/pbk）。计算机科学课堂讲稿6410，196-207（2010）。
摘要：图的路径宽度是对图的路径相似程度的度量。给定一个图\（G\）和一个整数\（k\），找出在\（G_）中是否最多存在\（k_）个顶点的问题是NP-完全的，删除这些顶点会导致最多一个路径宽度的图。我们开始研究这个问题的参数化复杂性，用\（k\）参数化。我们证明问题具有四次顶点核：我们证明，给定一个输入实例（（G=（V，E），k））\（|V|=n\），我们可以在多项式时间内构造一个实例（（G^{prime}，k^{prime}），使得（i）（（G，k））是YES实例当且仅当（（G_{prime{，k_{primer}）为YES实例，（ii）（G^}\prime}\）有（{mathcal O}（k^{4}）顶点，以及（iii）（k^}\leqk）。我们还给出了在（{mathcal O}（7）中运行的问题的固定参数可处理（FPT）算法^{k} k个\cdot n^{2}）\）时间。
关于整个系列，请参见[Zbl 1200.68024号].

引用于2评论
引用于14文件

MSC公司：

65年第68季度 算法和问题复杂性分析
05C38号 路径和循环
05C85号 图形算法（图形理论方面）
PDF格式BibTeX公司 XML格式引用
\textit｛G.Philip｝等人，Lect。注释计算。科学。6410、196--207（2010年；Zbl 1309.68100）
全文： DOI程序 arXiv公司

参考文献：

[1] 阿尔瓦雷斯，C.，塞尔纳，M.：毛虫树的适当区间着色图问题。离散数学电子笔记17，23–28（2004）·Zbl 1152.05325号 ·doi:10.1016/j.endm.2004.03.008
[2] Arnborg，S.，Proskurowski，A.，Seese，D.：二阶Monadic逻辑，树自动机和禁忌未成年人。收录人：Schönfeld，W.，Börger，E.，Kleine Büning，H.，Richter，M.M.（编辑）CSL 1990。LNCS，第533卷，第1-16页。斯普林格，海德堡（1991）·兹比尔0942.68648 ·doi:10.1007/3-540-54487-9_49
[3] Assmann，S.F.、Peck，G.W.、Sysło，M.M.、Zak，J.：毛发长度为1和2的毛虫的带宽。SIAM代数和离散方法杂志2（4），387–393（1981）·Zbl 0494.05059号 ·doi:10.1137/0602041
[4] Bafna，V.，Berman，P.，Fujito，T.：无向反馈顶点集问题的2-近似算法。SIAM离散数学杂志12（3），289–297（1999）·Zbl 0932.68054号 ·doi:10.1137/S0895480196305124
[5] Bodlaender，H.L.：关于不相交循环。国际计算机科学基础杂志5（1），59-68（1994）·兹比尔0803.05030 ·doi:10.1142/S0129054194000049
[6] Bodlaender，H.L.：具有有界树宽的部分k-树丛图。理论计算机科学209（1-2），1-45（1998）·Zbl 0912.68148号 ·doi:10.1016/S0304-3975（97）00228-4
[7] Bodlaender，H.L.：树宽：特征、应用和计算。In:Fomin，F.V.（编辑）WG 2006。LNCS，第4271卷，第1-14页。施普林格，海德堡（2006）·Zbl 1167.68404号 ·doi:10.1007/11917496_1
[8] Bodlaender，H.L.：反馈顶点集的立方核。收录：Thomas，W.，Weil，P.（编辑）STACS 2007。LNCS，第4393卷，第320–331页。斯普林格，海德堡（2007）·Zbl 1186.68217号 ·doi:10.1007/978-3-540-70918-3_28
[9] Bodlaender，H.L.，Koster，A.M.C.A.：有界树宽图的组合优化。《计算机杂志》51（3），255–269（2008）·doi:10.1093/comjnl/bxm037
[10] Bodlaender，H.L.，van Dijk，T.C.：反馈顶点集和循环割集的立方核。计算系统理论46（3），566–597（2010）·Zbl 1215.68170号 ·doi:10.1007/s00224-009-9234-2
[11] Bryant，R.L.，Kinnersley，N.G.，Fellows，M.R.，Langston，M.A.：关于寻找门矩阵布局的障碍集和多项式时间算法。摘自：《第25届Allerton通信、控制和计算会议记录》，第397-398页（1987年）
[12] Burrage，K.，Estivill Castro，V.，Fellows，M.R.，Langston，M.A.，Mac，S.，Rosamond，F.A.：无向反馈顶点集问题有一个多边形（K）核。In:Bodlaender，H.L.，Langston，M.A.（编辑）IWPEC 2006。LNCS，第4169卷，第192-202页。施普林格，海德堡（2006）·Zbl 1154.68421号 ·doi:10.1007/11847250_18
[13] Cao，Y.，Chen，J.，Liu，Y.：关于反馈顶点集：新度量和新结构。摘自：Kaplan，H.（编辑）《算法理论-SWAT 2010》。LNCS，第6139卷，第93–104页。斯普林格，海德堡（2010）·Zbl 1285.68061号 ·doi:10.1007/978-3642-13731-010
[14] Cygan，M.，Pilipczuk，M.，Pilipczuk，M.，Wojtaszczyk，J.O.：一种用于路径宽度单顶点删除的改进fpt算法和二次核。IPEC 2010（2010）验收·Zbl 1309.68090号
[15] Dehne，F.，Fellows，M.R.，Langston，M.A.，Rosamond，F.A.，Stevens，K.：无向反馈顶点集问题的O（2 O（K）n 3）FPT算法。计算系统理论41（3），479–492（2007）·Zbl 1148.68037号 ·数字对象标识代码：10.1007/s00224-007-1345-z
[16] Diestel，R.：图论，第三版。斯普林格，海德堡（2005）·Zbl 1074.05001号
[17] Dorn，F.，Fomin，F.V.，Thilikos，D.M.：亚指数参数化算法。《计算机科学评论》2（1），29–39（2008）·Zbl 1302.68340号 ·doi:10.1016/j.cosrev.2008.02.004
[18] Downey，R.G.，Fellows，M.R.：固定参数牵引性和完整性。摘自：《复杂性理论：当前研究》，第191-225页。剑桥大学出版社，剑桥（1992）·Zbl 0799.68087号
[19] Downey，R.G.，Fellows，M.R.：参数化复杂性。斯普林格，海德堡（1999）·doi:10.1007/978-1-4612-0515-9
[20] 研究员，M.R.，兰斯顿，M.A.：关于多项式时间算法的搜索、决策和效率。摘自：《1989年STOC会议记录》，第501-512页。纽约ACM出版社（1989）
[21] Flum，J.，Grohe，M.：参数化复杂性理论。斯普林格，海德堡（2006）
[22] Guo，J.，Gramm，J.，Hüffner，F.，Niedermeier，R.，Wernicke，S.：用于反馈顶点集和边二分的基于压缩的固定参数算法。《计算机与系统科学杂志》72（8），1386–1396（2006）·Zbl 1119.68134号 ·doi:10.1016/j.jss.2006.02.001
[23] Guo，J.，Niedermeier，R.：数据简化和问题核化邀请。SIGACT新闻38（1），31–45（2007）·数字对象标识代码：10.1145/1233481.1233493
[24] Kanj，I.A.，Pelsmajer，M.J.，Schaefer，M.：反馈顶点集的参数化算法。In:Downey，R.G.，Fellows，M.R.，Dehne，F.（编辑）IWPEC 2004。LNCS，第3162卷，第235-247页。斯普林格，海德堡（2004）·Zbl 1104.68541号 ·文件编号：10.1007/978-3-540-28639-4_21
[25] Karp，R.M.：组合问题中的可约性。计算机通信的复杂性，85–103（1972）
[26] Kinnersley，N.G.，Langston，M.A.：门矩阵布局问题的障碍集隔离。离散应用数学54（2-3），169-213（1994）·Zbl 0941.68590号 ·doi:10.1016/0166-218X（94）90021-3
[27] Kloks，T.：树宽——计算和近似。LNCS，第842卷。斯普林格，海德堡（1994）·Zbl 0825.68144号 ·doi:10.1007/BFb0045375
[28] Lin，M.，Lin，Z.，Xu，J.：加权毛虫的图形带宽。理论计算机科学363（3），266–277（2006）·兹比尔1110.68110 ·doi:10.1016/j.tcs.2006.07.015
[29] Lewis，J.M.，Yannakakis，M.：遗传属性的节点删除问题是NP-完全的。《计算机与系统科学杂志》20（2），219-230（1980）·Zbl 0436.68029号 ·doi:10.1016/0022-0000（80）90060-4
[30] Niedermeier，R.：固定参数算法邀请函。牛津大学出版社，牛津（2006）·Zbl 1095.68038号 ·doi:10.1093/acprof:oso/9780198566076.0001
[31] Papadimitriou，C.H.：带宽最小化问题的NP完全性。计算16（3），263-270（1976）·Zbl 0321.65019号 ·doi:10.1007/BF02280884
[32] Philip，G.，Raman，V.，Villanger，Y.：一个用于路径宽度单顶点删除的四次核。当前论文的完整版本，网址：http://www.imsc.res.in/gphilip/publications/pwone.pdf·Zbl 1309.68100号
[33] Raman，V.，Saurabh，S.，Subramanian，C.：寻找反馈顶点集的更快的固定参数可处理算法。ACM算法事务2（3），403–415（2006）·Zbl 1321.05275号 ·数字对象标识代码：10.1145/1159892.1159898
[34] 罗伯逊，N.，西摩，P.D.：图未成年人I.排除森林。组合理论杂志，B辑35（1），39–61（1983）·Zbl 0521.05062号 ·doi:10.1016/0095-8956（83）90079-5
[35] Robertson，N.，Seymour，P.D.：图形未成年人。二、。树宽的算法方面。《算法杂志》7（3），309–322（1986）·Zbl 0611.05017号 ·doi:10.1016/0196-6774（86）90023-4
[36] Thomasse，S.：反馈顶点集的二次核。摘自：《2009年SODA会议录》，工业和应用数学学会，第115-119页（2009年）·doi:10.1137/1.9781611973068.13
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。