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

Download:

Current browse context:

cs.CC

Change to browse by:

cs

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 > Computational Complexity

Title: A modification of the CSP algorithm for infinite languages

Authors: Dmitriy Zhuk
Abstract: Constraint Satisfaction Problem on finite sets is known to be NP-complete in general but certain restrictions on the constraint language can ensure tractability. It was proved that if a constraint language has a weak near unanimity polymorphism then the corresponding constraint satisfaction problem is tractable, otherwise it is NP-complete. In the paper we present a modification of the algorithm that works in polynomial time even for infinite constraint languages.
Comments: arXiv admin note: substantial text overlap with arXiv:1704.01914
Subjects: Computational Complexity (cs.CC)
Cite as: arXiv:1803.07465 [cs.CC]
  (or arXiv:1803.07465v2 [cs.CC] for this version)

Submission history

From: Dmitriy Zhuk [view email]
[v1] Sat, 17 Mar 2018 21:28:47 GMT (21kb,D)
[v2] Wed, 6 Mar 2019 10:59:13 GMT (21kb,D)

Link back to: arXiv, form interface, contact.