Sampling Constraint Satisfaction Solutions in the Local Lemma Regime

by   Weiming Feng, et al.

We give a Markov chain based algorithm for sampling almost uniform solutions of constraint satisfaction problems (CSPs). Assuming a canonical setting for the Lovász local lemma, where each constraint is violated by a small number of forbidden local configurations, our sampling algorithm is accurate in a local lemma regime, and the running time is a fixed polynomial whose dependency on n is close to linear, where n is the number of variables. Our main approach is a new technique called states compression, which generalizes the "mark/unmark" paradigm of Moitra (Moitra, JACM, 2019), and can give fast local-lemma-based sampling algorithms. As concrete applications of our technique, we give the current best almost-uniform samplers for hypergraph colorings and for CNF solutions.



There are no comments yet.


page 1

page 2

page 3

page 4


Sampling Lovász Local Lemma For General Constraint Satisfaction Solutions In Near-Linear Time

We give a fast algorithm for sampling uniform solutions of general const...

Fast sampling and counting k-SAT solutions in the local lemma regime

We give new algorithms based on Markov chains to sample and approximatel...

Local entropy as a measure for sampling solutions in Constraint Satisfaction Problems

We introduce a novel Entropy-driven Monte Carlo (EdMC) strategy to effic...

Local Rejection Sampling with Soft Filters

We study a new LLL-like framework for rejection sampling, which naturall...

Exact uniform sampling over catalan structures

We present a new framework for creating elegant algorithms for exact uni...

Perfect Sampling for (Atomic) Lovász Local Lemma

We give a Markov chain based perfect sampler for uniform sampling soluti...

Uniform Solution Sampling Using a Constraint Solver As an Oracle

We consider the problem of sampling from solutions defined by a set of h...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.