Ideal Membership Problem over 3-Element CSPs with Dual Discriminator Polymorphism

Abstract

In this paper we examine polynomial ideals that are the vanishing ideals of solution sets of combinatorial problems encoded by constraint satisfaction problems over a finite language. We consider a 3-element domain and the dual discriminator polymorphism (constraints under this polymorphism are a generalization of the 2-satisfiability problem). Assuming the graded lexicographic ordering of monomials, we show that the reduced Gröbner basis of ideals whose varieties are closed under this polymorphism can be computed in polynomial time. This proves polynomial time solvability of the ideal membership problem (IMP) with restrictions on degree $d=O(1)$, which we call IMP$_d$, for these constrained problems. It is a first step toward the challenging long-term goal of identifying when IMP$_d$ is polynomial time solvable for a finite domain.