1 research outputs found
Constant-query testability of assignments to constraint satisfaction problems
For each finite relational structure , let denote the CSP instances whose constraint relations are taken from . The resulting family of problems has been considered heavily in a variety of computational contexts. In this article, we consider this family from the perspective of property testing: given a CSP instance and query access to an assignment, one wants to decide whether the assignment satisfies the instance or is far from doing so. While previous work on this scenario studied concrete templates or restricted classes of structures, this article presents a comprehensive classification theorem. Our main contribution is a dichotomy theorem completely characterizing the finite structures such that is constant-query testable: (i) If has a majority polymorphism and a Maltsev polymorphism, then is constant-query testable with one-sided error. (ii) Otherwise, testing requires a superconstant number of queries