A modification of the CSP algorithm for infinite languages
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- March 2018
- DOI:
- 10.48550/arXiv.1803.07465
- arXiv:
- arXiv:1803.07465
- Bibcode:
- 2018arXiv180307465Z
- Keywords:
-
- Computer Science - Computational Complexity
- E-Print:
- arXiv admin note: substantial text overlap with arXiv:1704.01914