References & Citations
Computer Science > Computational Complexity
Title: The Dichotomy for Conservative Constraint Satisfaction is Polynomially Decidable
(Submitted on 24 Apr 2016 (v1), last revised 20 Jun 2016 (this version, v2))
Abstract: Given a fixed constraint language $\Gamma$, the conservative CSP over $\Gamma$ (denoted by c-CSP($\Gamma$)) is a variant of CSP($\Gamma$) where the domain of each variable can be restricted arbitrarily. A dichotomy is known for conservative CSP: for every fixed language $\Gamma$, c-CSP($\Gamma$) is either in P or NP-complete. However, the characterization of conservatively tractable languages is of algebraic nature and the naive recognition algorithm is super-exponential in the domain size. The main contribution of this paper is a polynomial-time algorithm that, given a constraint language $\Gamma$ as input, decides if c-CSP($\Gamma$) is tractable. In addition, if $\Gamma$ is proven tractable the algorithm also outputs its coloured graph, which contains valuable information on the structure of $\Gamma$.
Submission history
From: Clement Carbonnel [view email][v1] Sun, 24 Apr 2016 17:56:44 GMT (17kb)
[v2] Mon, 20 Jun 2016 13:43:50 GMT (17kb)
Link back to: arXiv, form interface, contact.