The complexity of the ideal membership problem for constrained problems over the Boolean domain

7Citations
Citations of this article
11Readers
Mendeley users who have this article in their library.

Abstract

Given an ideal I and a polynomial f the Ideal Membership Problem is to test if f ∈ I. This problem is a fundamental algorithmic problem with important applications and notoriously intractable. We study the complexity of the Ideal Membership Problem for combinatorial ideals that arise from constrained problems over the Boolean domain. As our main result, we identify the precise borderline of tractability. By using Gröbner bases techniques, we generalize Schaefer’s dichotomy theorem [STOC, 1978] which classifies all Constraint Satisfaction Problems over the Boolean domain to be either in P or NP-hard. This paper is motivated by the pursuit of understanding the recently raised issue of bit complexity of Sum-of-Squares proofs [O’Donnell, ITCS, 2017]. Raghavendra and Weitz [ICALP, 2017] show how the Ideal Membership Problem tractability for combinatorial ideals implies bounded coefficients in Sum-of-Squares proofs.

Cite

CITATION STYLE

APA

Mastrolilli, M. (2019). The complexity of the ideal membership problem for constrained problems over the Boolean domain. In Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms (pp. 456–475). Association for Computing Machinery. https://doi.org/10.1137/1.9781611975482.29

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free