Sampling Constraint Satisfaction Solutions in the Local Lemma Regime

11/08/2020
by   Weiming Feng, et al.
0

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.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

04/04/2022

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...
11/04/2019

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

We give new algorithms based on Markov chains to sample and approximatel...
11/18/2015

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

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

Local Rejection Sampling with Soft Filters

We study a new LLL-like framework for rejection sampling, which naturall...
03/11/2018

Exact uniform sampling over catalan structures

We present a new framework for creating elegant algorithms for exact uni...
07/08/2021

Perfect Sampling for (Atomic) Lovász Local Lemma

We give a Markov chain based perfect sampler for uniform sampling soluti...
10/16/2012

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.