2025/08/18 by Joshua Brakensiek, Venkatesan Guruswami, Brakensiek, Joshua +3 · 1 citation
Computer Science · #Combinatorics (math.CO) #Constraint Satisfaction and Optimization #Data Structures and Algorithms (cs.DS) #Discrete Mathematics (cs.DM) #FOS: Computer and information sciences #FOS: Mathematics
paper · pdf · doi:10.48550/arxiv.2508.13345
openalex publication_date 2025/08/18 · openalex created_date 2025/10/09 · openalex updated_date 2026/07/28
The problem of CSP sparsification asks: for a given CSP instance, what is the sparsest possible reweighting such that for every possible assignment to the instance, the number of satisfied constraints is preserved up to a factor of 1 ± ε? We initiate the study of the sparsification of random CSPs. In particular, we consider two natural random models: the r-partite model and the uniform model. In the r-partite model, CSPs are formed by partitioning the variables into r parts, with constraints selected by randomly picking one vertex out of each part. In the uniform model, r distinct vertices are chosen at random from the pool of variables to form each constraint. In the r-partite model, we exhibit a sharp threshold phenomenon. For every predicate P, there is an integer k such that a random instance on n vertices and m edges cannot (essentially) be sparsified if m ≤ nk and can be sparsified to size ≈ nk if m ≥ nk. Here, k corresponds to the largest copy of the AND which can be found within P. Furthermore, these sparsifiers are simple, as they can be constructed by i.i.d. sampling of the edges. In the uniform model, the situation is a bit more complex. For every predicate P, there is an integer k such that a random instance on n vertices and m edges cannot (essentially) be sparsified if m ≤ nk and can sparsified to size ≈ nk if m ≥ nk+1. However, for some predicates P, if m ∈ [nk, nk+1], there may or may not be a nontrivial sparsifier. In fact, we show that there are predicates where the sparsifiability of random instances is non-monotone, i.e., as we add more random constraints, the instances become more sparsifiable. We give a precise (efficiently computable) procedure for determining which situation a specific predicate P falls into.