Uniform sampling through the Lovász Local Lemma
342 - 355
MetadataShow full item record
We propose a new algorithmic framework, called "partial rejection sampling", to draw samples exactly from a product distribution, conditioned on none of a number of bad events occurring. Our framework builds (perhaps surprising) new connections between the variable framework of the Lovász Local Lemma and some classical sampling algorithms such as the "cycle-popping" algorithm for rooted spanning trees by Wilson. Among other applications, we discover new algorithms to sample satisfying assignments of k-CNF formulas with bounded variable occurrences.
AuthorsGuo, H; Jerrum, M; Liu, J; STOC’17, Montreal, Canada
- College Publications