A sampling Lovász local lemma for large domain sizes

C Wang, Y Yin - 2024 IEEE 65th Annual Symposium on …, 2024 - ieeexplore.ieee.org
We present polynomial-time algorithms for approximate counting and sampling solutions to
constraint satisfaction problems (CSPs) with atomic constraints within the local lemma …

Fast Sampling and Counting k-SAT Solutions in the Local Lemma Regime

W Feng, H Guo, Y Yin, C Zhang - Journal of the ACM (JACM), 2021 - dl.acm.org
We give new algorithms based on Markov chains to sample and approximately count
satisfying assignments to k-uniform CNF formulas where each variable appears at most d …

Sampling constraint satisfaction solutions in the local lemma regime

W Feng, K He, Y Yin - Proceedings of the 53rd Annual ACM SIGACT …, 2021 - dl.acm.org
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 …

Improved bounds for randomly colouring simple hypergraphs

W Feng, H Guo, J Wang - arxiv preprint arxiv:2202.05554, 2022 - arxiv.org
We study the problem of sampling almost uniform proper $ q $-colourings in $ k $-uniform
simple hypergraphs with maximum degree $\Delta $. For any $\delta> 0$, if $ k\geq\frac {20 …

On sampling symmetric Gibbs distributions on sparse random graphs and hypergraphs

C Efthymiou - arxiv preprint arxiv:2007.07145, 2020 - arxiv.org
We introduce efficient algorithms for approximate sampling from symmetric Gibbs
distributions on the sparse random (hyper) graph. The examples we consider include (but …

Counting hypergraph colourings in the local lemma regime

H Guo, C Liao, P Lu, C Zhang - Proceedings of the 50th Annual ACM …, 2018 - dl.acm.org
We give a fully polynomial-time approximation scheme (FPTAS) to count the number of q-
colorings for k-uniform hypergraphs with maximum degree Δ if k≥ 28 and q> 315Δ14/k− 14 …

Algorithms and complexity for approximately counting hypergraph colourings and related problems

J Wang - 2024 - era.ed.ac.uk
The past decade has witnessed advancements in designing efficient algorithms for
approximating the number of solutions to constraint satisfaction problems (CSPs), especially …

[PDF][PDF] Algorithmic and Structural Properties of Random Graphs

M Anastos - 2019 - kilthub.cmu.edu
All questions considered in this thesis are related to either some class of Random Graphs or
to a randomized algorithm or to both. The main property that is studied in Chapters 2, 3 & 4 …