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


Current browse context:


Change to browse by:


References & Citations

DBLP - CS Bibliography


(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 Proof of the CSP Dichotomy Conjecture

Authors: Dmitriy Zhuk
Abstract: Many natural combinatorial problems can be expressed as constraint satisfaction problems. This class of problems is known to be NP-complete in general, but certain restrictions on the form of the constraints can ensure tractability. The standard way to parameterize interesting subclasses of the constraint satisfaction problem is via finite constraint languages. The main problem is to classify those subclasses that are solvable in polynomial time and those that are NP-complete. It was conjectured 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 an algorithm that solves Constraint Satisfaction Problem in polynomial time for constraint languages having a weak near unanimity polymorphism, which proves the remaining part of the conjecture.
Comments: the final version
Subjects: Computational Complexity (cs.CC)
Cite as: arXiv:1704.01914 [cs.CC]
  (or arXiv:1704.01914v11 [cs.CC] for this version)

Submission history

From: Dmitriy Zhuk [view email]
[v1] Thu, 6 Apr 2017 16:27:29 GMT (17kb,D)
[v2] Sun, 14 May 2017 21:06:40 GMT (56kb,D)
[v3] Thu, 1 Jun 2017 17:28:13 GMT (55kb,D)
[v4] Tue, 13 Jun 2017 20:31:08 GMT (55kb,D)
[v5] Sun, 25 Jun 2017 11:15:29 GMT (57kb,D)
[v6] Thu, 3 Aug 2017 05:11:01 GMT (58kb,D)
[v7] Mon, 18 Dec 2017 17:44:49 GMT (62kb,D)
[v8] Tue, 20 Feb 2018 19:15:26 GMT (63kb,D)
[v9] Wed, 6 Mar 2019 11:00:41 GMT (63kb,D)
[v10] Sun, 29 Sep 2019 19:51:40 GMT (147kb,D)
[v11] Fri, 2 Oct 2020 07:03:18 GMT (149kb,D)

Link back to: arXiv, form interface, contact.