Constraint satisfaction: a personal perspective

9 years 10 months ago
Constraint satisfaction: a personal perspective
Attempts at classifying computational problems as polynomial time solvable, NP-complete, or belonging to a higher level in the polynomial hierarchy, face the difficulty of undecidability. These classes, including NP, admit a logic formulation. By suitably restricting the formulation, one finds the logic class MMSNP, or monotone monadic strict NP without inequality, as a largest class that seems to avoid diagonalization arguments. Representative of this logic class is the class CSP of constraint satisfaction problems. Both MMSNP and CSP admit generalizations via alternations of quantifiers corresponding to higher levels in the hierarchy. Examining CSP from a computational point of view, one finds that the polynomial time solvable problems that do not have the bounded width property of Datalog are group theoretic in nature. In general, closure properties of the constraints characterize the complexity of the problems. When one restricts the number of occurrences of each variable, the pro...
Tomás Feder
Added 12 Dec 2010
Updated 12 Dec 2010
Type Journal
Year 2006
Where ECCC
Authors Tomás Feder
Comments (0)