English
Related papers

Related papers: Efficient CONGEST Algorithms for the Lovasz Local …

200 papers

Recently, Brandt, Maus and Uitto [PODC'19] showed that, in a restricted setting, the dependency of the complexity of the distributed Lov\'asz Local Lemma (LLL) on the chosen LLL criterion exhibits a sharp threshold phenomenon: They proved…

Data Structures and Algorithms · Computer Science 2020-06-09 Sebastian Brandt , Christoph Grunau , Václav Rozhoň

We develop a framework for the rigorous analysis of focused stochastic local search algorithms. These are algorithms that search a state space by repeatedly selecting some constraint that is violated in the current state and moving to a…

Discrete Mathematics · Computer Science 2018-09-06 Dimitris Achlioptas , Fotis Iliopoulos , Vladimir Kolmogorov

We present a new technique to efficiently sample and communicate a large number of elements from a distributed sampling space. When used in the context of a recent LOCAL algorithm for $(\operatorname{degree}+1)$-list-coloring (D1LC), this…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-05-31 Magnús M. Halldórsson , Alexandre Nolin , Tigran Tonoyan

The Lovasz Local Lemma due to Erdos and Lovasz is a powerful tool in proving the existence of rare events. We present an extension of this lemma, which works well when the event to be shown to exist is a conjunction of individual events,…

Data Structures and Algorithms · Computer Science 2007-05-23 Aravind Srinivasan

The Lov\'{a}sz Local Lemma is a very powerful tool in probabilistic combinatorics, that is often used to prove existence of combinatorial objects satisfying certain constraints. Moser and Tardos have shown that the LLL gives more than just…

Combinatorics · Mathematics 2019-09-13 Anton Bernshteyn

We give a fast algorithm for sampling uniform solutions of general constraint satisfaction problems (CSPs) in a local lemma regime. Suppose that the CSP has $n$ variables with domain size at most q, each constraint contains at most k…

Data Structures and Algorithms · Computer Science 2023-03-10 Kun He , Chunyang Wang , Yitong Yin

One of the cornerstones of the distributed complexity theory is the derandomization result by Chang, Kopelowitz, and Pettie [FOCS 2016]: any randomized LOCAL algorithm that solves a locally checkable labeling problem (LCL) can be…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-05-16 Sameep Dahal , Francesco d'Amore , Henrik Lievonen , Timothé Picavet , Jukka Suomela

Many randomized algorithms can be derandomized efficiently using either the method of conditional expectations or probability spaces with low (almost-) independence. A series of papers, beginning with Luby (1993) and continuing with Berger…

Data Structures and Algorithms · Computer Science 2023-10-13 David G. Harris

We show that the $(degree+1)$-list coloring problem can be solved deterministically in $O(D \cdot \log n \cdot\log^2\Delta)$ rounds in the \CONGEST model, where $D$ is the diameter of the graph, $n$ the number of nodes, and $\Delta$ the…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-04-08 Philipp Bamberger , Fabian Kuhn , Yannic Maus

The lefthanded Lov\'asz local lemma (LLLL) is a generalization of the Lov\'asz local lemma (LLL), a powerful technique from the probabilistic method. We prove a computable version of the LLLL and use it to effectivize a collection of…

Logic · Mathematics 2024-06-19 Daniel Mourad

The Lopsided Lov\'{a}sz Local Lemma (LLLL) is a powerful probabilistic principle which has been used in a variety of combinatorial constructions. While originally a general statement about probability spaces, it has recently been…

Data Structures and Algorithms · Computer Science 2023-10-13 David G. Harris

By relaxing conditions for natural structure learning algorithms, a family of constraint-based algorithms containing all exact structure learning algorithms under the faithfulness assumption, we define localised natural structure learning…

Methodology · Statistics 2024-05-28 Kai Z Teh , Kayvan Sadeghi , Terry Soo

In this paper we introduce a new approach for approximately counting in bounded degree systems with higher-order constraints. Our main result is an algorithm to approximately count the number of solutions to a CNF formula $\Phi$ when the…

Data Structures and Algorithms · Computer Science 2017-03-17 Ankur Moitra

We present a procedure for efficiently sampling colors in the {\congest} model. It allows nodes whose number of colors exceeds their number of neighbors by a constant fraction to sample up to $\Theta(\log n)$ semi-random colors unused by…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-03-04 Magnús M. Halldórsson , Alexandre Nolin

In the LOCAL model, low-diameter decomposition is a useful tool in designing algorithms, as it allows us to shift from the general graph setting to the low-diameter graph setting, where brute-force information gathering can be done…

Data Structures and Algorithms · Computer Science 2026-03-25 Yi-Jun Chang

We present a randomized Local Computation Algorithm (LCA) with query complexity $poly(\Delta) \cdot \log n$ for the Maximal Independent Set (MIS) problem. That is, the algorithm determines whether each node is in the computed MIS or not…

Data Structures and Algorithms · Computer Science 2022-10-04 Mohsen Ghaffari

In the model of \emph{local computation algorithms} (LCAs), we aim to compute the queried part of the output by examining only a small (sublinear) portion of the input. Many recently developed LCAs on graph problems achieve time and space…

Data Structures and Algorithms · Computer Science 2015-02-16 Reut Levi , Ronitt Rubinfeld , Anak Yodpinyanee

The Lovasz Local Lemma is a seminal result in probabilistic combinatorics. It gives a sufficient condition on a probability space and a collection of events for the existence of an outcome that simultaneously avoids all of those events.…

Data Structures and Algorithms · Computer Science 2015-11-19 Nicholas Harvey , Jan Vondrak

By prior work, we have many results related to distributed graph algorithms for problems that can be defined with local constraints; the formal framework used in prior work is locally checkable labeling problems (LCLs), introduced by Naor…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-07-09 Alkida Balliu , Mohsen Ghaffari , Fabian Kuhn , Augusto Modanese , Dennis Olivetti , Mikaël Rabie , Jukka Suomela , Jara Uitto

In this work, we study the Lov\'asz local lemma (LLL) problem in the area of distributed quantum computing, which has been the focus of attention of recent advances in quantum computing [STOC'24, STOC'25, STOC'25]. We prove a lower bound of…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-10-20 Sebastian Brandt , Tim Göttlicher