Sciweavers

LICS
2010
IEEE

On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction

13 years 7 months ago
On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction
The universal-algebraic approach has proved a powerful tool in the study of the computational complexity of constraint satisfaction problems (CSPs). This approach has previously been applied to the study of CSPs with finite or (infinite) -categorical templates. Our first result is an exact characterization of those CSPs that can be formulated with (a finite or) an -categorical template. The universal-algebraic approach relies on the fact that in finite or -categorical structures A, a relation is primitive positive definable if and only if it is preserved by the polymorphisms of A. In this paper, we present results that can be used to study the computational complexity of CSPs with arbitrary infinite templates. Specifically, we prove that every CSP can be formulated with a template A such that a relation is primitive positive definable in A if and only if it is first-order definable on A and preserved by the infinitary polymorphisms of A. We present applications of our general results ...
Manuel Bodirsky, Martin Hils, Barnaby Martin
Added 14 Feb 2011
Updated 14 Feb 2011
Type Journal
Year 2010
Where LICS
Authors Manuel Bodirsky, Martin Hils, Barnaby Martin
Comments (0)