NOTICE: this is the author's version of a work that was accepted for publication in Theoretical computer science. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be re ected in this document. Changes may have been made to this work since it was submitted for publication. A de nitive version was subsequently published in Theoretical computer science, 457, 2012, 10.1016/j.tcs.2012.06.039 Additional information:
Use policyThe full-text may be used and/or reproduced, and given to third parties in any format or medium, without prior permission or charge, for personal research or study, educational, or not-for-pro t purposes provided that:• a full bibliographic reference is made to the original source • a link is made to the metadata record in DRO • the full-text is not changed in any way The full-text must not be sold in any format or medium without the formal permission of the copyright holders.Please consult the full DRO policy for further details. 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 to test if 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 Surjective H-Coloring problem, which is to test whether a graph G allows a homomorphism to a graph H that is (vertex-)surjective. We classify the computational complexity of this problem when H is any fixed partially reflexive tree. Thus we identify the first class of target graphs H for which the computational complexity of Surjective H-Coloring can be determined. For the polynomial-time solvable cases we show a number of parameterized complexity results, especially on graph classes with (locally) bounded expansion.