We use cookies to ensure that we give you the best experience on our website. By continuing to browse this repository, you give consent for essential cookies to be used. You can read more about our Privacy and Cookie Policy.

Durham Research Online
You are in:

# Dichotomies for classes of homomorphism problems involving unary functions.

Feder, T. and Madelaine, F. R. and Stewart, I. A. (2004) 'Dichotomies for classes of homomorphism problems involving unary functions.', Theoretical computer science., 314 (1-2). pp. 1-43.

## Abstract

We study non-uniform constraint satisfaction problems where the underlying signature contains constant and function symbols as well as relation symbols. Amongst our results are the following. We establish a dichotomy result for the class of non-uniform constraint satisfaction problems over the signature consisting of one unary function symbol by showing that every such problem is either complete for L, via very restricted logical reductions, or trivial (depending upon whether the template function has a fixed point or not). We show that the class of non-uniform constraint satisfaction problems whose templates are structures over the signature $\lambda_2$ consisting of two unary function symbols reflects the full computational significance of the class of non-uniform constraint satisfaction problems over relational structures. We prove a dichotomy result for the class of non-uniform constraint satisfaction problems where the template is a $\lambda_2$-structure with the property that the two unary functions involved are the reverse of one another, in that every such problem is either solvable in polynomial-time or NP-complete. Finally, we extend some of our results to the situation where instances of non-uniform constraint satisfaction problems come equipped with lists of elements of the template structure which restrict the set of allowable homomorphisms.

Item Type: Article Computational complexity, Constraint satisfaction, Dichotomies. PDF - Accepted Version (438Kb) Peer-reviewed http://dx.doi.org/10.1016/j.tcs.2003.12.015 10 Oct 2008 03 Jun 2011 17:15

 Social bookmarking: Export: EndNote, Zotero | BibTex Usage statistics Look up in GoogleScholar | Find in a UK Library