In this paper we study the computational complexity of the (extended) minimum
cost homomorphism problem (Min-Cost-Hom) as a function of a constraint
language, i.e. a set of constraint relations and cost functions that are
allowed to appear in instances. A wide range of natural combinatorial
optimisation problems can be expressed as Min-Cost-Homs and a classification of
their complexity would be highly desirable, both from a direct, applied point
of view as well as from a theoretical perspective.
Min-Cost-Hom can be understood either as a flexible optimisation version of
the constraint satisfaction problem (CSP) or a restriction of the
(general-valued) valued constraint satisfaction problem (VCSP). Other
optimisation versions of CSPs such as the minimum solution problem (Min-Sol)
and the minimum ones problem (Min-Ones) are special cases of Min-Cost-Hom.
The study of VCSPs has recently seen remarkable progress. A complete
classification for the complexity of finite-valued languages on arbitrary
finite domains has been obtained Thapper and Zivny [STOC'13]. However,
understanding the complexity of languages that are not finite-valued appears to
be more difficult. Min-Cost-Hom allows us to study problematic languages of
this type without having to deal with with the full generality of the VCSP. A
recent classification for the complexity of three-element Min-Sol, Uppman
[ICALP'13], takes a step in this direction. In this paper we extend this result
considerably by determining the complexity of three-element Min-Cost-Hom
