×

浮雕(H\)着色:新硬度结果。 (英语) Zbl 1489.68192号

Kari,Jarkko(编辑)等人,《揭示动力学和复杂性》。2017年6月12日至16日在芬兰图尔库举行的第13届欧洲可计算性会议,CiE 2017。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10307, 270-281 (2017).
摘要:从图(G)到图(H)的同态是从(G)的顶点集到(H)顶点集的顶点映射(f),这样,只要(G)中的顶点(u)和(v)之间有边,就有一条边。(H)-着色问题是决定图(G)是否允许与固定图(H)同态。我们继续研究这个问题的一个变体,即Surjective(H)-Coloring问题,它将同态强加为顶点surpjective。我们在前面的结果的基础上建立,并表明,只要这两个顶点不相邻,那么对于每个恰好有两个具有自循环顶点的连通图(H),这个问题都是NP-完全的。因此,我们可以对最多四个顶点上的每个图(H)的Surjective(H)-Coloring的计算复杂性进行分类。
关于整个系列,请参见[Zbl 1362.68012号]。

MSC公司:

68兰特 计算机科学中的图论(包括图形绘制)
05C15号 图和超图的着色
05C60型 图论中的同态问题(重构猜想等)和同态(子图嵌入等)
2017年第68季度 问题的计算难度(下限、完备性、近似难度等)
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Bodirsky,M.,Kára,J.,Martin,B.:满射同态问题的复杂性——一项调查。离散应用程序。数学。160, 1680–1690 (2012) ·Zbl 1246.05104号 ·doi:10.1016/j.dam.2012.03.029
[2] Feder,T.,Hell,P.,Huang,J.:双弧图和列表同态的复杂性。《图论杂志》42,61-80(2003)·Zbl 1057.05033号 ·doi:10.1002/jgt.10073
[3] Feder,T.、Hell,P.、Jonsson,P.,Krokhin,A.、Nordh,G.:退缩到假森林。SIAM J.离散数学。24, 101–112 (2010) ·Zbl 1215.05063号 ·电话:10.1137/080738866
[4] Feder,T.,Vardi,M.Y.:单调单子SNP和约束满足的计算结构:通过数据日志和群论进行的研究。SIAM J.计算。28, 57–104 (1998) ·Zbl 0914.68075号 ·网址:10.1137/S009753979794266766
[5] Fiala,J.,Kratochvíl,J.:局部约束图同态-结构、复杂性和应用。计算。科学。第2版,97–111(2008)·Zbl 1302.05122号 ·doi:10.1016/j.cosrev.2008.06.001
[6] Fiala,J.,Paulusma,D.:角色分配问题的完整复杂性分类。理论。计算。科学。349, 67–81 (2005) ·Zbl 1124.91055号 ·doi:10.1016/j.tcs.2005.09.029
[7] Golovach,P.A.,Lidick,B.,Martin,B.和Paulusma,D.:寻找顶点满射图同态。《信息学报》49,381–394(2012)·Zbl 1253.68149号 ·doi:10.1007/s00236-012-0164-0
[8] Golovach,P.A.,Paulusma,D.,Song,J.:计算部分自反树的顶点满射同态。理论。计算。科学。457, 86–100 (2012) ·Zbl 1251.05031号 ·doi:10.1016/j.tcs.2012.06.039
[9] Hell,P.,Nešetřil,J.:关于H着色的复杂性。J.Comb。理论Ser。B 48,92–110(1990)·Zbl 0639.05023号 ·doi:10.1016/0095-8956(90)90132-J
[10] Hell,P.,Nešetřil,J.:图和同态。牛津大学出版社,牛津(2004)·doi:10.1093/acprof:oso/9780198528173.0001
[11] Martin,B.,Paulusma,D.:断开切割和\[2 K_2\]
-分区。J.库姆。理论Ser。B 111,17-37(2015)·Zbl 1307.05128号 ·doi:10.1016/j.jctb.2014.09.002
[12] Patrignani,M.,Pizzonia,M.:匹配切割问题的复杂性。收录:Brandstädt,A.,Le,V.B.(编辑)WG 2001。LNCS,第2204卷,第284-295页。斯普林格,海德堡(2001)。数字对象标识:10.1007/3-540-45477-2_26 ·Zbl 1042.68642号 ·doi:10.1007/3-540-545477-2_26
[13] Vikas,N.:压缩到自反循环的计算复杂性。SIAM J.计算。32, 253–280 (2002) ·Zbl 1029.68085号 ·doi:10.1137/S0097539701383522
[14] Vikas,N.:压实、收缩和约束满足。SIAM J.计算。33, 761–782 (2004) ·Zbl 1101.68612号 ·doi:10.1137/S0097539701397801
[15] Vikas,N.:对最多有四个顶点的所有图进行压缩和收缩的完整且相等的计算复杂性分类,以及一些一般结果。J.计算。系统。科学。71, 406–439 (2005) ·Zbl 1101.68613号 ·doi:10.1016/j.jcss.2004.07.003
[16] Vikas,N.:在压缩和顶点压缩下某些类图的划分算法。Algorithmica算法67、180–206(2013)·Zbl 1275.05057号 ·doi:10.1007/s00453-012-9720-9
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。