Current browse context:
cs.CC
Change to browse by:
References & Citations
Computer Science > Computational Complexity
Title: Distance Constraint Satisfaction Problems
(Submitted on 22 Apr 2010 (v1), last revised 26 Apr 2016 (this version, v3))
Abstract: We study the complexity of constraint satisfaction problems for templates $\Gamma$ that are first-order definable in $(\Bbb Z; succ)$, the integers with the successor relation. Assuming a widely believed conjecture from finite domain constraint satisfaction (we require the tractability conjecture by Bulatov, Jeavons and Krokhin in the special case of transitive finite templates), we provide a full classification for the case that Gamma is locally finite (i.e., the Gaifman graph of $\Gamma$ has finite degree). We show that one of the following is true: The structure Gamma is homomorphically equivalent to a structure with a d-modular maximum or minimum polymorphism and $\mathrm{CSP}(\Gamma)$ can be solved in polynomial time, or $\Gamma$ is homomorphically equivalent to a finite transitive structure, or $\mathrm{CSP}(\Gamma)$ is NP-complete.
Submission history
From: Antoine Mottet [view email][v1] Thu, 22 Apr 2010 06:12:26 GMT (28kb)
[v2] Mon, 23 May 2011 22:07:47 GMT (28kb)
[v3] Tue, 26 Apr 2016 15:01:42 GMT (37kb)
Link back to: arXiv, form interface, contact.