A modification of the CSP algorithm for infinite languages
Computational Complexity
2019-03-07 v2
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.
Cite
@article{arxiv.1803.07465,
title = {A modification of the CSP algorithm for infinite languages},
author = {Dmitriy Zhuk},
journal= {arXiv preprint arXiv:1803.07465},
year = {2019}
}
Comments
arXiv admin note: substantial text overlap with arXiv:1704.01914