Uniform Sampling Through the Lovasz Local Lemma

被引：29

作者：

Guo, Heng ^{[1
]}

Jerrum, Mark ^{[2
]}

Liu, Jingcheng ^{[3
]}

机构：

[1] Univ Edinburgh, Sch Informat, Edinburgh EH8 9AB, Midlothian, Scotland

[2] Queen Mary Univ London, Sch Math Sci, London E1 4NS, England

[3] Univ Calif Berkeley, Dept EECS, Berkeley, CA 94720 USA

来源：

JOURNAL OF THE ACM | 2019年 / 66卷 / 03期

基金：

英国工程与自然科学研究理事会;

关键词：

Exact sampling; Lovasz Local Lemma; #SAT; ALGORITHMIC APPROACH;

D O I：

10.1145/3310131

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

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 new connections between the variable framework of the Lovasz Local Lemma and some classical sampling algorithms such as the cycle-popping algorithm for rooted spanning trees. Among other applications, we discover new algorithms to sample satisfying assignments of k-CNF formulas with bounded variable occurrences.

引用

页数：31

共 50 条

[1] Uniform Sampling through the Lovasz Local Lemma
Guo, Heng
Jerrum, Mark
Liu, Jingcheng
STOC'17: PROCEEDINGS OF THE 49TH ANNUAL ACM SIGACT SYMPOSIUM ON THEORY OF COMPUTING, 2017, : 342 - 355
[2] Towards the sampling Lovasz Local Lemma
Jain, Vishesh
Huy Tuan Pham
Thuy Duong Vuong
2021 IEEE 62ND ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE (FOCS 2021), 2022, : 173 - 183
[3] Acyclic edge coloring through the Lovasz Local Lemma
Giotis, Ioannis
Kirousis, Lefteris
Psaromiligkos, Kostas I.
Thilikos, Dimitrios M.
THEORETICAL COMPUTER SCIENCE, 2017, 665 : 40 - 50
[4] Learning Markov Random Fields for Combinatorial Structures via Sampling through Lovasz Local Lemma
Jiang, Nan
Gu, Yi
Xue, Yexiang
THIRTY-SEVENTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 37 NO 4, 2023, : 4016 - 4024
[5] A Quantum Lovasz Local Lemma
Ambainis, Andris
Kempe, Julia
Sattath, Or
STOC 2010: PROCEEDINGS OF THE 2010 ACM SYMPOSIUM ON THEORY OF COMPUTING, 2010, : 151 - 160
[6] Revisit the Lovasz Local Lemma
Chen, J
JOURNAL OF THEORETICAL PROBABILITY, 1997, 10 (03) : 747 - 758
[7] A Quantum Lovasz Local Lemma
Ambainis, Andris
Kempe, Julia
Sattath, Or
JOURNAL OF THE ACM, 2012, 59 (05)
[8] Coloring and the Lovasz Local Lemma
Chen, Xing
Du, Zhihua
Meng, Jixiang
APPLIED MATHEMATICS LETTERS, 2010, 23 (03) : 219 - 221
[9] DETERMINISTIC ALGORITHMS FOR THE LOVASZ LOCAL LEMMA
Chandrasekaran, Karthekeyan
Goyal, Navin
Haeupler, Bernhard
SIAM JOURNAL ON COMPUTING, 2013, 42 (06) : 2132 - 2155
[10] Deterministic Algorithms for the Lovasz Local Lemma
Chandrasekaran, Karthekeyan
Goyal, Navin
Haeupler, Bernhard
PROCEEDINGS OF THE TWENTY-FIRST ANNUAL ACM-SIAM SYMPOSIUM ON DISCRETE ALGORITHMS, 2010, 135 : 992 - +

← 1 2 3 4 5 →