×
汉内斯·莫瑟

图打包的问题核化。 （英语） Zbl 1206.68239号

尼尔森，莫根斯（编辑）等人，《SOFSEM 2009：计算机科学的理论与实践》。2009年1月24日至30日，第35届计算机科学理论与实践当前趋势会议，Špindlerův Ml \367]n，捷克共和国。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-95890-1/pbk）。计算机科学课堂讲稿5404，401-412（2009）。
摘要：对于固定连通图（H），我们考虑NP-完全（H）-填充问题，其中，给定一个无向图（G）和一个整数（k\geq0），我们必须确定（G）中是否存在（H）的顶点不相交副本。我们给出了（O（k^{|V（H）|-1}）顶点的问题核，也就是说，我们提供了一个多项式时间算法，该算法将给定的（H）封装实例简化为最多具有（O（k ^{|V（H）|1}）个顶点的等价实例。特别是，这个专门针对\（H\）是三角形的结果通过M.研究员等。[“在任意图中寻找（k\）不相交三角形”，Lect.Notes Compute.Sci.3353235-244（2004；兹比尔1112.68418)]到\（O（k^{2}）\）个顶点。
关于整个系列，请参见[Zbl 1154.68020号].

引用于1审查
引用于19文件

MSC公司：

68兰特 计算机科学中的图论（包括图形绘制）
65年第68季度 算法和问题复杂性分析

引文：

Zbl 1112.68418号
PDF格式BibTeX公司 XML格式引用
\textit{H.Moser}，莱克特。注释计算。科学。5404、401-412（2009年；Zbl 1206.68239）
全文： DOI程序

参考文献：

[1] Abu-Khzam，F.N.：d-Hitting集问题的核化算法。收录人：Dehne，F.、Sack，J.-R.、Zeh，N.（编辑）WADS 2007。LNCS，第4619卷，第434–445页。斯普林格，海德堡（2007）·Zbl 1209.68610号 ·doi:10.1007/978-3-540-73951-7_38
[2] 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
[3] Bodlaender，H.L.，Downey，R.G.，Fellows，M.R.，Hermelin，D.：关于没有多项式核的问题。收录于：Aceto，L.、Damgórd，I.、Goldberg，L.A.、Halldórsson，M.M.、Ingólfsdóttir，A.、Walukiewicz，I.（编辑）ICALP 2008，第一部分：LNCS，第5125卷，第563-574页。斯普林格，海德堡（2008）·Zbl 1153.68554号 ·doi:10.1007/978-3-540-70575-8_46
[4] Chen，J.，Fernau，H.，Kanj，I.A.，Xia，G.：参数对偶和核化：核大小的下限和上限。SIAM J.计算。 37(4), 1077–1106 (2007) ·Zbl 1141.05075号 ·doi:10.1137/050646354
[5] Chen，J.，Kanj，I.A.，Jia，W.：顶点覆盖：进一步观察和进一步改进。《算法杂志》41（2），280-301（2001）·Zbl 1017.68087号 ·doi:10.1006/jagm.2001.1186
[6] Chen，J.，Lu，S.，Sze，S.-H.，Zhang，F.：路径、匹配和打包问题的改进算法。In：程序。第18版SODA，第298-307页。ACM/SIAM（2007）·Zbl 1302.90169号
[7] Chlebík，M.，Chlebáková，J.：NP-hard问题小发生实例的近似硬度。收录人：Petreschi，R.、Persiano，G.、Silvestri，R.（编辑）CIAC 2003。LNCS，第2653卷，第152-164页。斯普林格，海德堡（2003）·Zbl 1032.68082号 ·数字对象标识代码：10.1007/3-540-44849-7_21
[8] Downey，R.G.，Fellows，M.R.：参数化复杂性。斯普林格，海德堡（1999）·doi:10.1007/978-1-4612-0515-9
[9] Fellows，M.R.，Heggenes，P.，Rosamond，F.A.，Sloper，C.，Telle，J.A.：在任意图中寻找k个不相交三角形。在：Hromkovič，J.，Nagl，M.，Westfechtel，B.（编辑）工作组2004。LNCS，第3353卷，第235-244页。斯普林格，海德堡（2004）·Zbl 1112.68418号 ·doi:10.1007/978-3-540-30559-0_20
[10] Fellows，M.R.，Knauer，C.，Nishimura，N.，Ragde，P.，Rosamond，F.A.，Stege，U.，Thilikos，D.M.，Whitesides，S.：用于匹配和打包问题的更快的固定参数可处理算法。《算法》52（2），167-176（2007）·Zbl 1170.68047号 ·doi:10.1007/s00453-007-9146-y
[11] Fellows，M.R.，Langston，M.A.，Rosamond，F.A.，Shaw，P.：集群编辑的高效参数化预处理。收录于：Csuhaj-Varjú，E.，Es sik，Z.（编辑）FCT 2007。LNCS，第4639卷，第312–321页。斯普林格，海德堡（2007）·Zbl 1135.68511号 ·doi:10.1007/978-3-540-74240-1.27
[12] Fernau，H.，Raible，D.：关于长度为2的打包路径的参数化透视图。作者：Yang，B.，Du，D.-Z.，Wang，C.A.（编辑）COCOA 2008。LNCS，第5165卷，第54–63页。斯普林格，海德堡（2008）·Zbl 1168.05358号 ·doi:10.1007/978-3-540-85097-76
[13] Fortnow，L.，Santhanam，R.：实例压缩和NP简洁PCP的不可行性。In：程序。第40届STOC，第133-142页。纽约ACM出版社（2008）·Zbl 1231.68133号
[14] Gramm，J.，Guo，J.、Hüffner，F.、Niedermeier，R.：图模型数据聚类：团生成的精确算法。理论计算。系统。 38(4), 373–392 (2005) ·Zbl 1084.68117号 ·doi:10.1007/s00224-004-1178-y
[15] 郭，J.：聚类编辑中更有效的线性核化。作者：Chen，B.，Paterson，M.，Zhang，G.（编辑）ESCAPE 2007。LNCS，第4614卷，第36-47页。斯普林格，海德堡（2007）·Zbl 1176.05078号 ·doi:10.1007/978-3-540-74450-44
[16] Guo，J.，Niedermeier，R.：数据简化和问题核化邀请。ACM SIGACT新闻38（1），31–45（2007）·数字对象标识代码：10.1145/1233481.1233493
[17] Hüffner，F.，Niedermeier，R.，Wernicke，S.：实用固定参数算法的技术。《计算机杂志》51（1），7–25（2008）·doi:10.1093/comjnl/bxm040
[18] Kirkpatrick，D.G.，Hell，P.：关于广义匹配问题的完备性。In：程序。第十届STOC，第240-245页。纽约ACM出版社（1978）·Zbl 1282.68182号
[19] Kneis，J.、Mölle，D.、Richter，S.、Rossmanith，P.：分色。In:Fomin，F.V.（编辑）WG 2006。LNCS，第4271卷，第58–67页。施普林格，海德堡（2006）·Zbl 1167.68411号 ·doi:10.1007/119174966
[20] Koutis，I.：路径和包装问题的更快代数算法。收录于：Aceto，L.、Damgórd，I.、Goldberg，L.A.、Halldórsson，M.M.、Ingólfsdóttir，A.、Walukiewicz，I.（编辑）ICALP 2008，第一部分：LNCS，第5125卷，第575-586页。斯普林格，海德堡（2008）·Zbl 1153.68562号 ·doi:10.1007/978-3-540-70575-8_47
[21] Manic，G.，Wakabayashi，Y.：在低度图和无差异图中填充三角形。离散数学。 308(8), 1455–1471 (2008) ·Zbl 1136.05073号 ·doi:10.1016/j.disc.2007.07.100
[22] Nemhauser，G.L.，Trotter，L.E.：顶点填充：结构属性和算法。数学。程序。 8, 232–248 (1975) ·Zbl 0314.90059号 ·doi:10.1007/BF01580444
[23] Niedermeier，R.：固定参数算法邀请函。牛津大学出版社，牛津（2006）·Zbl 1095.68038号 ·doi:10.1093/acprof:oso/9780198566076.0001
[24] Prieto，E.，Sloper，C.：看星星。西奥。计算。科学。 351(3), 437–445 (2006) ·Zbl 1087.68076号 ·doi:10.1016/j.tcs.2005.10.009
[25] Protti，F.、da Silva，M.D.、Szwarcfiter，J.L.：将模块分解应用于参数化集群编辑问题。理论计算。系统。(2008) ·Zbl 1179.68111号
[26] Thomasse，S.：反馈顶点集的二次核。In：程序。第20届SODA，ACM/SIAM（将于2009年上市）·doi:10.1137/1.9781611973068.13
[27] Wang，J.，Feng，Q.：加权3集装箱的改进参数化算法。收录人：Hu，X.，Wang，J.（编辑）COCOON 2008。LNCS，第5092卷，第130-139页。斯普林格，海德堡（2008）·Zbl 1148.68576号 ·数字对象标识代码：10.1007/978-3-540-69733-6_14
[28] Wang，J.，Feng，Q.：用于3集打包的O*（3.523k）参数化算法。作者：Agrawal，M.，Du，D.-Z.，Duan，Z.，Li，A.（编辑）TAMC 2008。LNCS，第4978卷，第82-93页。斯普林格，海德堡（2008）·Zbl 1139.68345号 ·doi:10.1007/978-3-540-79228-47
[29] Wang，J.，Ning，D.，Feng，Q.，Chen，J.：广义匹配问题的改进参数化算法。作者：Agrawal，M.，Du，D.-Z.，Duan，Z.，Li，A.（编辑）TAMC 2008。LNCS，第4978卷，第212-222页。斯普林格，海德堡（2008）·Zbl 1139.68346号 ·doi:10.1007/978-3-540-79228-4_19
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。