We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.LO

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Logic in Computer Science

Title: Constraint Satisfaction Problems over Finite Structures

Abstract: We initiate a systematic study of the computational complexity of the Constraint Satisfaction Problem (CSP) over finite structures that may contain both relations and operations. We show the close connection between this problem and a natural algebraic question: which finite algebras admit only polynomially many homomorphisms into them? We give some sufficient and some necessary conditions for a finite algebra to have this property. In particular, we show that every finite equationally nontrivial algebra has this property which gives us, as a simple consequence, a complete complexity classification of CSPs over two-element structures, thus extending the classification for two-element relational structures by Schaefer (STOC'78). We also present examples of two-element structures that have bounded width but do not have relational width (2,3), thus demonstrating that, from a descriptive complexity perspective, allowing operations leads to a richer theory.
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Rings and Algebras (math.RA)
ACM classes: F.1.3; F.4.1
Journal reference: LICS 2021 pages 1--13
DOI: 10.1109/LICS52264.2021.9470670
Cite as: arXiv:2010.04958 [cs.LO]
  (or arXiv:2010.04958v2 [cs.LO] for this version)

Submission history

From: Antoine Mottet [view email]
[v1] Sat, 10 Oct 2020 09:43:55 GMT (87kb,D)
[v2] Fri, 29 Jan 2021 08:14:40 GMT (27kb)

Link back to: arXiv, form interface, contact.