Abstract:We continue the investigation of polynomial-time sparsification for NP-complete Boolean Constraint Satisfaction Problems (CSPs). The goal in sparsification is to reduce the number of constraints in a problem instance without changing the answer, such that a bound on the number of resulting constraints can be given in terms of the number of variables n. We investigate how the worst-case sparsification size depends on the types of constraints allowed in the problem formulation—the constraint language—and identify constraint languages giving the best-possible and worst-possible behavior for worst-case sparsifiability. Two algorithmic results are presented. The first result essentially shows that for any arity k, the only constraint type for which no nontrivial sparsification is possible has exactly one falsifying assignment, and corresponds to logical OR (up to negations). Our second result concerns linear sparsification, that is, a reduction to an equivalent instance with (O(n)) constraints. Using linear algebra over rings of integers modulo prime powers, we give an elegant necessary and sufficient condition for a constraint type to be captured by a degree-1 polynomial over such a ring, which yields linear sparsifications. The combination of these algorithmic results allows us to prove two characterizations that capture the optimal sparsification sizes for a range of Boolean CSPs. For NP-complete Boolean CSPs whose constraints are symmetric (the satisfaction depends only on the number of 1 values in the assignment, not on their positions), we give a complete characterization of which constraint languages allow for a linear sparsification. For Boolean CSPs in which every constraint has arity at most three, we characterize the optimal size of sparsifications in terms of the largest OR that can be expressed by the constraint language.

Fine-Grained Time Complexity of Constraint Satisfaction Problems

Time Complexity of Constraint Satisfaction via Universal Algebra

Discrete Temporal Constraint Satisfaction Problems

CSPs with Few Alien Constraints

Best-Case and Worst-Case Sparsifiability of Boolean CSPs

The complexity of global cardinality constraints

Constraint Satisfaction Tractability from Semi-lattice Operations on Infinite Sets

Parameterized Algorithms for Constraint Satisfaction Problems above Average with Global Cardinality Constraints

Conditional lower bounds for sparse parameterized 2-CSP: A streamlined proof

Constraint satisfaction problem and universal algebra

Parameterized Complexity of Binary CSP: Vertex Cover, Treedepth, and Related Parameters

Efficient Algorithms and New Characterizations for CSP Sparsification

Approximating Bounded Occurrence Ordering CSPs

An order out of nowhere: a new algorithm for infinite-domain CSPs

The Satisfiability Threshold for a Seemingly Intractable Random Constraint Satisfaction Problem

Structural Decompositions for Problems with Global Constraints

Strict width for Constraint Satisfaction Problems over homogeneous strucures of finite duality

Semantic Width and the Fixed-Parameter Tractability of Constraint Satisfaction Problems

Low-level dichotomy for Quantified Constraint Satisfaction Problems

An invitation to the promise constraint satisfaction problem

The CSP Dichotomy, the Axiom of Choice, and Cyclic Polymorphisms