×
拉杰什·奇蒂尼斯;拉兹洛·埃格里;达尼尔·马克思

通过删除几个顶点列出图的H着色。 （英语） Zbl 1361.05085号

算法 78，第1期，110-146（2017）.
摘要：在列表同态问题的删除版本中，我们给出了图（G）和（H），每个顶点（v（G）中的v）的列表（L（v）substeq v（H））和整数（k）。任务是确定是否存在一个最大大小为（k）的集合（W\substeqV（G）），从而存在从（G{\setminus}W\）到（H\）关于列表的同态。我们证明了这一点DL-Hom公司\（{H}）由\（k\）和\（|H|\）参数化，对任何\（P_6，C_6）\自由二部图\（H\）都是固定参数可处理的；对于这类受限图，该问题推广了顶点覆盖、奇圈横截和由割集大小和终端数参数化的顶点多路割。我们推测DL-Hom公司对于列表同态问题（无删减）是多项式时间可解的图类（H），（{H}）是固定参数可处理的；由于…的结果T.费德等[Combinatorica 19，No.4，487–505（1999；Zbl 0985.05048号)]，如果一个图（H）是一个补图是圆弧图的二部图，则它正好属于这一类。我们证明了这个猜想等价于一个相当自然的可满足性问题——子句删除链-SAT的固定参数可处理性。

引用于11文件

MSC公司：

05C60型 图论中的同态问题（重构猜想等）和同态（子图嵌入等）
05C15号 图和超图的着色
2015年1月5日 横向（匹配）理论
65年第68季度 算法和问题复杂性分析

关键词：

固定参数可处理性;图同态;树木宽度缩减;迭代压缩;阴影消除

引文：

Zbl 0985.05048号
PDF格式BibTeX公司 XML格式引用
\textit{R.Chitnis}等人，Algorithmica 78，No.1，110--146（2017；Zbl 1361.05085）
全文： 内政部 arXiv公司

参考文献：

[1] Chen，Y.，Grohe，M.，Grüber，M.:关于参数化逼近。参见：参数化和精确计算，第二届国际研讨会，IWPEC 2006，瑞士苏黎世，2006年9月13日至15日，会议记录，第109-120页（2006）·Zbl 1154.68571号
[2] Chitnis，R.H.，Cygan，M.，Hajiaghayi，M.T.，Marx，D.：定向子集反馈顶点集是固定参数可处理的。ACM事务处理。算法11（4），28（2015）·Zbl 1272.68149号 ·doi:10.1145/2700209
[3] Chitnis，R.H.，Hajiaghayi，M.，Marx，D.：由割集大小参数化的定向多路切割的固定参数可处理性。SIAM J.计算。42(4), 1674-1696 (2013) ·Zbl 1312.68097号 ·数字对象标识码：10.1137/12086217X
[4] 库塞尔，B。；Leeuwen，J.（编辑），《图形重写：代数和逻辑方法》，193-242（1990），阿姆斯特丹·Zbl 0900.68282号
[5] Cygan，M.、Pilipczuk，M..、Pilipczuk、M.、Wojtaszczyk，J.O.：关于在下限以上参数化的多路切割。ACM事务处理。计算。理论5（1），3（2013）·Zbl 1322.68098号 ·doi:10.1145/2462896.2462899
[6] Downey，R.G.，Fellows，M.R.：参数化复杂性的基础。计算机科学课文。施普林格，纽约（2013）·Zbl 1358.68006号 ·doi:10.1007/978-1-4471-5559-1
[7] Egri，L.，Hell，P.，Larose，B.，Rafiey，A.：列表H着色的空间复杂性：二分法。摘自：2014年1月5日至7日在美国俄勒冈州波特兰举行的第二十五届ACM-SIAM离散算法年会，SODA 2014，第349-365页（2014）·Zbl 1401.68104号
[8] Egri，L.，Krokhin，A.A.，Larose，B.，Tesson，P.：图的列表同态问题的复杂性。理论计算。系统。51(2), 143-178 (2012) ·Zbl 1322.68100号 ·doi:10.1007/s00224-011-9333-8
[9] Feder，T.，Hell，P.：列出自反图的同态。J.库姆。理论Ser。B 72（2），236-250（1998）·Zbl 0904.05078号 ·doi:10.1006/jctb.1997.1812
[10] Feder，T.，Hell，P.，Huang，J.：列出同态和圆弧图。组合数学19（4），487-505（1999）·Zbl 0985.05048号 ·doi:10.1007/s004939970003
[11] Feder，T.，Hell，P.，Huang，J.：双弧图和列表同态的复杂性。《图论杂志》42（1），61-80（2003）·Zbl 1057.05033号 ·doi:10.1002/jgt.10073
[12] Feder，T.，Hell，P.，Huang，J.：列出有界度图的同态。离散数学。307, 386-392 (2007) ·Zbl 1111.05035号 ·doi:10.1016/j.disc.2005.09.030
[13] Feder，T.，Vardi，M.Y.：单调一元SNP的计算结构和约束满足：通过数据日志和群论进行的研究。SIAM J.计算。28(1), 57-104 (1998) ·Zbl 0914.68075号 ·网址：10.1137/S009753979794266766
[14] Flum，J.、Frick，M.、Grohe，M.：通过树分解进行查询评估。J.ACM 49（6），716-752（2002）·Zbl 1326.68123号 ·doi:10.1145/602220.602222
[15] Flum，J.，Grohe，M.：参数化复杂性理论。施普林格，纽约（2006）·Zbl 1143.68016号
[16] Gutin，G.，Rafiey，A.，Yeo，A.：半完全有向图的最小代价和列表同态。离散应用程序。数学。154, 890-897 (2006) ·Zbl 1138.05032号 ·doi:10.1016/j.dam.2005.11.006
[17] Hell，P.，Nešetřil，J.：图和同态。牛津大学出版社，牛津（2004）·Zbl 1062.05139号 ·doi:10.1093/acprof:oso/9780198528173.0001
[18] Hell，P.，Nešetřil，J.：关于\[HH\]-着色的复杂性。J.Comb。理论Ser。B 4892-110（1990）·兹伯利0639.05023 ·doi:10.1016/0095-8956（90）90132-J
[19] Hell，P.，Rafiey，A.：有向图的列表同态的二分法。2011年1月23日至25日，美国加利福尼亚州旧金山，2011年，第二十届ACM-SIAM离散算法年度研讨会，第1703-1713页（2011）·Zbl 1376.68067号
[20] Kratsch，S.，Pilipczuk，M.，Piilipczuk.，M.和WahlströM，M.：有向非循环图中多截的固定参数可处理性。SIAM J.离散数学。29(1), 122-144 (2015) ·Zbl 1326.05053号 ·数字对象标识代码：10.1137/120904202
[21] Lokshtanov，D.，Marx，D.：具有地方限制的集群。Inf.计算。222, 278-292 (2013) ·Zbl 1266.05122号 ·doi:10.1016/j.ic.2012.10.016
[22] Lokshtanov，D.、Narayanaswamy，N.S.、Raman，V.、Ramanujan，M.S.、Saurabh，S.：使用线性规划的更快的参数化算法。ACM事务处理。算法11（2），15（2014）·Zbl 1398.68254号 ·doi:10.1145/2566616
[23] Lokshtanov，D.，Ramanujan，M.S.：具有奇偶约束的多路切割的参数化可处理性。收录于：自动化、语言与编程第39届国际学术讨论会，2012年7月9日至13日，英国沃里克，ICALP 2012，第一部分，第750-761页（2012）·兹比尔1272.68146
[24] 马克思：参数化图形分离问题。西奥。计算。科学。351(3), 394-406 (2006) ·Zbl 1086.68104号 ·doi:10.1016/j.tcs.2005.10.007
[25] Marx，D.：参数化复杂性和近似算法。计算。J.51（1），60-78（2008）·doi:10.1093/comjnl/bxm048
[26] Marx，D.，O'Sullivan，B.，Razgon，I.：通过树宽缩减在线性时间中寻找小分隔符。ACM事务处理。算法9（4），30（2013）·Zbl 1301.05337号 ·doi:10.1145/2500119
[27] Marx，D.，Razgon，I.：由割集的大小参数化的多割集的固定参数可处理性。SIAM J.计算。43(2), 355-388 (2014) ·Zbl 1304.68078号 ·数字对象标识代码：10.1137/10855247
[28] Niedermeier，R.：固定参数算法邀请函。牛津大学出版社，牛津（2006）·Zbl 1095.68038号 ·doi:10.1093/acprof:oso/9780198566076.0001
[29] 拉兹贡，I.，奥沙利文，B.：几乎2-SAT是固定参数可控制的。J.计算。系统。科学。75（8），435-450（2009）·Zbl 1184.68477号 ·doi:10.1016/j.jcss.2009.04.002
[30] Reed，B.A.，Smith，K.，Vetta，A.：寻找奇数循环横截。操作。Res.Lett公司。32（4），299-301（2004）·兹比尔1052.05061 ·doi:10.1016/j.orl.2003.10.009
[31] Spinrad，J.：团覆盖数为2的圆弧图。J.库姆。理论Ser。B 44（3），300-306（1988）·Zbl 0596.05042号 ·doi:10.1016/0095-8956（88）90038-X
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。