Petr A.Golovach。；利迪克，伯纳德；巴纳比·马丁；丹尼尔·保卢斯马 寻找顶点满射图同态。 （英语） Zbl 1253.68149号 学报信息。 49，第6期，381-394（2012）. 摘要：满射同态问题是测试一个被称为来宾图的给定图是否允许一个顶点满射同态到其他被称为宿主图的给定图形（H）。双射和内射同态问题可以用生成子图和子图来表示，因此它们的计算复杂性已经被广泛研究。那surpjective变体呢？因为这个问题通常是NP完全的，所以我们将来宾图和宿主图分别限制为属于图类\（{{mathcal G}}\）和\（{}mathcal H}}\。我们确定了（{{mathcal G}}）和（{{mathcal H}}。我们观察到，如果\（{{mathcal H}}\）是路径类，则问题是多项式时间可解的，而如果\（}{mathcalG}}）是路径类时，问题是NP-完全的。此外，我们还证明了该问题在许多其他基本图类上甚至是NP-完全的，这些基本图类包括线性森林、完全图的并、有向图、适当区间图、分裂图和路径宽度最多为2的树。相反，我们证明了如果（{{mathcalG}}）是树的类，（{{MathcalH}}是最多有（k\）个叶子的树的类或者如果（{{mathcal G}}}和（{{mathcalH{}}\）等于顶点覆盖数最多的图的类，则问题在（k）中是固定参数可处理的。 引用于4文件 MSC公司： 2017年第68季度 问题的计算难度（下限、完备性、近似难度等） 05C60型 图论中的同态问题（重构猜想等）和同态（子图嵌入等） 关键词：满射同态问题；来宾图；主机图形；NP-完成 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Golovach}等人，《信息学报》第49期，第6期，第381--394页（2012年；Zbl 1253.68149） 全文： DOI程序 链接 参考文献： [1] Adiga，A.，Chitnis，R.，Saurabh，S.：箱性的参数化算法。摘自：ISAAC 2010年会议记录，LNCS 6506，第366–377页（2010）·Zbl 1310.68154号 [2] Bodirsky M.，Kára J.，Martin B.：满射同态问题的复杂性——一项调查。离散应用程序。数学。1601680–1690（2012年）·Zbl 1246.05104号 ·doi:10.1016/j.dam.2012.03.029 [3] Chen，J.，Kanj，I.A.，Xia，G.：改进了顶点覆盖的参数化上界。载于：《2006年MFCS会议录》，LNCS 4162，第238–249页（2006年）·Zbl 1132.68421号 [4] Courcelle B.，Olariu S.：图的团宽度的上界。离散应用程序。数学。101, 77–114 (2000) ·Zbl 0958.05105号 ·doi:10.1016/S0166-218X（99）00184-5 [5] Dalmau，V.、Kolaitis，P.G.、Vardi，M.Y.：约束满足、有界树宽和有限变量逻辑。收录于：CP 2002会议录，LNCS 2470，第223-254页（2006） [6] Enciso，R.，Fellows，M.R.，Guo，J.，Kanj，I.A.，Rosamond，F.A.，Thouse，O.：是什么使衡平法上的连通分割变得容易，In:IWPEC 2009年会议记录，LNCS 5917，pp.122–133（2009）·Zbl 1273.68164号 [7] Feder T.、Hell P.、Jonsson P.、Krokhin A.、Nordh G.：退缩到假森林。SIAM J.离散数学。24, 101–112 (2010) ·Zbl 1215.05063号 ·doi:10.1137/080738866 [8] Fellows，M.R.，Lokshtanov，D.，Misra，N.，Rosamond，F.A.，Saurabh，S.：顶点覆盖参数化的图形布局问题。摘自：ISAAC 2008年会议记录，LNCS 5369，第294-305页（2008）·Zbl 1183.68424号 [9] Fiala J.，Kratochvíl J.：局部约束图同态——结构、复杂性和应用。计算。科学。第2版，97–111（2008）·Zbl 1302.05122号 ·doi:10.1016/j.cosrev.2008.06.001 [10] Fiala J.，Golovach P.A.，Kratochvíl J.：着色问题的参数化复杂性：树宽与顶点覆盖。西奥。计算。科学。412, 2513–2523 (2011) ·Zbl 1216.68127号 ·doi:10.1016/j.tcs.2010.10.043 [11] Fiala J.，Paulusma D.：角色分配问题的完整复杂性分类。西奥。计算。科学。349, 67–81 (2005) ·Zbl 1124.91055号 ·doi:10.1016/j.tcs.2005.09.029 [12] Flum J.，Grohe M.：参数化复杂性理论，理论计算机科学文本。EATCS系列。柏林施普林格出版社（2006） [13] Frank A.，Tardos等人：同时丢番图逼近在组合优化中的应用。组合数学7，49–65（1987）·Zbl 0641.90067号 ·doi:10.1007/BF02579200 [14] Garey M.R.，Johnson D.R.：计算机与难治性。弗里曼，纽约（1979）·Zbl 0411.68039号 [15] Golovach，P.A.，Paulusma，D.，Song，J.：计算部分自反树的顶点满射同态。CSR 2011会议记录，LNCS 6651，第261-274页（2011）·兹比尔1332.68073 [16] Grohe，M.：从另一方面看同态和约束满足问题的复杂性。J ACM 54（1），第1条（2007年）·Zbl 1312.68101号 [17] Hell P.，Nešetřil J.：关于H着色的复杂性。J.Comb。理论系列。B 48，92–110（1990年）·Zbl 0639.05023号 ·doi:10.1016/0095-8956（90）90132-J [18] Hell P.，Nešetřil J.：图和同态。牛津大学出版社，牛津（2004） [19] Lenstra H.W.Jr.：变量数固定的整数编程。数学。操作。第8号决议，538–548（1983年）·Zbl 0524.90067号 ·doi:10.1287/门8.4.538 [20] Martin，B.，Paulusma，D.：断开切割和2K2-Partition的计算复杂性。收录于：CP 2011会议录，LNCS 6876，第561–575页（2011） [21] Vikas N.：压缩到自反循环的计算复杂性。SIAM J.计算。32, 253–280 (2002) ·Zbl 1029.68085号 ·doi:10.1137/S0097539701383522 [22] Vikas N.：压实、收缩和约束满足。SIAM J.计算。33, 761–782 (2004) ·Zbl 1101.68612号 ·doi:10.1137/S0097539701397801 [23] Vikas N.：对至多有四个顶点的所有图进行压缩和收缩的完整且相等的计算复杂性分类，以及一些一般结果。J.计算。系统。科学。71, 406–439 (2005) ·Zbl 1101.68613号 ·doi:10.1016/j.jcss.2004.07.003 [24] Vikas，N.：某些紧致图类的划分算法。摘自：COCOON 2011年会议记录，LNCS 6842，第319-330页（2011）·Zbl 1353.05119号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。