Computing vertex-surjective homomorphisms to partially reflexive trees

Abstract

A homomorphism from a graph G to a graph H is a vertex mapping f:VG→VH such that f(u) and f(v) form an edge in H whenever u and v form an edge in G. The H-Coloring problem is that of testing whether a graph G allows a homomorphism to a given graph H. A well-known result of Hell and Nešetřil determines the computational complexity of this problem for any fixed graph H. We study a natural variant of this problem, namely the SurjectiveH-Coloring problem, which is that of testing whether a graph G allows a homomorphism to a graph H that is (vertex-)surjective. We classify the computational complexity of this problem for when H is any fixed partially reflexive tree. Thus we identify the first class of target graphs H for which the computational complexity of SurjectiveH-Coloring can be determined. For the polynomial-time solvable cases we show a number of parameterized complexity results, including in particular ones on graph classes with (locally) bounded expansion.