On the scope of the universal-algebraic approach to constraint satisfaction

Bodirsky, Manuel, Hils, Martin and Martin, Barnaby (2010) On the scope of the universal-algebraic approach to constraint satisfaction. In: Logic in Computer Science (LICS), 2010 25th Annual IEEE Symposium on. Institute of Electrical and Electronics Engineers, pp. 90-99. ISBN 9781424475889. (doi:10.1109/LICS.2010.13)

Abstract

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 to the description and analysis of the computational complexity of CSPs. In particular, we present a polymorphism-based description of those CSPs that are first-order definable (and therefore can be solved in polynomial-time), and give general hardness criteria based on the absence of polymorphisms that depend on more than one argument.

Item Type: Book Section
Additional Information: Conference details: 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010), Edinburgh, UK, 11-14 July 2010.
Research Areas: A. > School of Science and Technology > Computer Science
A. > School of Science and Technology > Computer Science > Foundations of Computing group
Item ID: 9681
Useful Links:
Depositing User: Devika Mohan
Date Deposited: 16 Jan 2013 08:50
Last Modified: 24 Apr 2018 15:17
URI: https://eprints.mdx.ac.uk/id/eprint/9681

Actions (login required)

Edit Item Edit Item