A sampling Lovász local lemma for large domain sizes
We present polynomial-time algorithms for approximate counting and sampling solutions to
constraint satisfaction problems (CSPs) with atomic constraints within the local lemma …
constraint satisfaction problems (CSPs) with atomic constraints within the local lemma …
Fast Sampling and Counting k-SAT Solutions in the Local Lemma Regime
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 …
satisfying assignments to k-uniform CNF formulas where each variable appears at most d …
Sampling constraint satisfaction solutions in the local lemma regime
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 …
satisfaction problems (CSPs). Assuming a canonical setting for the Lovász local lemma …
Improved bounds for randomly colouring simple hypergraphs
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 …
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 …
distributions on the sparse random (hyper) graph. The examples we consider include (but …
Counting hypergraph colourings in the local lemma regime
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 …
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 …
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 …
to a randomized algorithm or to both. The main property that is studied in Chapters 2, 3 & 4 …