English
Related papers

Related papers: Improved Distributed Algorithms for the Lov\'asz L…

200 papers

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 2017-05-08 Anton Bernshteyn

We present ${\rm poly\log\log n}$-round randomized distributed algorithms to compute vertex splittings, a partition of the vertices of a graph into $k$ parts such that a node of degree $d(u)$ has $\approx d(u)/k$ neighbors in each part. Our…

Data Structures and Algorithms · Computer Science 2022-08-18 Magnús M. Halldórsson , Yannic Maus , Alexandre Nolin

The famous Lovasz Local Lemma [EL75] is a powerful tool to non-constructively prove the existence of combinatorial objects meeting a prescribed collection of criteria. Kratochvil et al. applied this technique to prove that a k-CNF in which…

Data Structures and Algorithms · Computer Science 2008-09-15 Robin A. Moser

The Lov\'{a}sz Local Lemma (LLL) is a cornerstone principle in the probabilistic method of combinatorics, and a seminal algorithm of Moser & Tardos (2010) provides an efficient randomized algorithm to implement it. This can be parallelized…

Discrete Mathematics · Computer Science 2023-10-13 Bernhard Haeupler , David G. Harris

In this paper we consider coloring problems on graphs and other combinatorial structures on standard Borel spaces. Our goal is to obtain sufficient conditions under which such colorings can be made well-behaved in the sense of topology or…

Combinatorics · Mathematics 2023-07-19 Anton Bernshteyn

The last five years of research on distributed graph algorithms have seen huge leaps of progress, both regarding algorithmic improvements and impossibility results: new strong lower bounds have emerged for many central problems and…

Data Structures and Algorithms · Computer Science 2025-01-08 Sebastian Brandt , Yannic Maus , Ananth Narayanan , Florian Schager , Jara Uitto

The Lopsided Lovasz Local Lemma (LLLL) is a cornerstone probabilistic tool for showing that it is possible to avoid a collection of "bad" events as long as their probabilities and interdependencies are sufficiently small. The strongest…

Probability · Mathematics 2023-10-13 David G. Harris

We develop tools for analyzing focused stochastic local search algorithms. These are algorithms which search a state space probabilistically by repeatedly selecting a constraint that is violated in the current state and moving to a random…

Discrete Mathematics · Computer Science 2015-08-18 Dimitris Achlioptas , Fotis Iliopoulos

The gap between the known randomized and deterministic local distributed algorithms underlies arguably the most fundamental and central open question in distributed graph algorithms. In this paper, we develop a generic and clean recipe for…

Data Structures and Algorithms · Computer Science 2019-09-19 Mohsen Ghaffari , David G. Harris , Fabian Kuhn

The constructive Lov\'{a}sz Local Lemma has become a central tool for designing efficient distributed algorithms. While it has been extensively studied in the classic LOCAL model that uses unlimited bandwidth, much less is known in the…

Data Structures and Algorithms · Computer Science 2024-05-14 Magnús M. Halldórsson , Yannic Maus , Saku Peltonen

Given a collection of independent events each of which has strictly positive probability, the probability that all of them occur is also strictly positive. The Lov\'asz local lemma (LLL) asserts that this remains true if the events are not…

Probability · Mathematics 2021-11-18 Dimitris Achlioptas , Kostas Zampetakis

We present a poly $\log \log n$ time randomized CONGEST algorithm for a natural class of Lovasz Local Lemma (LLL) instances on constant degree graphs. This implies, among other things, that there are no LCL problems with randomized…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-08-06 Yannic Maus , Jara Uitto

Lov\'asz Local Lemma (LLL) is a probabilistic tool that allows us to prove the existence of combinatorial objects in the cases when standard probabilistic argument does not work (there are many partly independent conditions). LLL can be…

Data Structures and Algorithms · Computer Science 2010-12-03 Andrey Rumyantsev

The Lov\'asz 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.…

Combinatorics · Mathematics 2017-11-21 Nicholas J. A. Harvey , Jan Vondrák

Following the groundbreaking Moser-Tardos algorithm for the Lovasz Local Lemma (LLL), a series of works have exploited a key ingredient of the original analysis, the witness tree lemma, in order to: derive deterministic, parallel and…

Discrete Mathematics · Computer Science 2019-06-11 Fotis Iliopoulos

There is a huge difference in techniques and runtimes of distributed algorithms for problems that can be solved by a sequential greedy algorithm and those that cannot. A prime example of this contrast appears in the edge coloring problem:…

Data Structures and Algorithms · Computer Science 2025-05-27 Manuel Jakob , Yannic Maus , Florian Schager

We prove several new tight distributed lower bounds for classic symmetry breaking graph problems. As a basic tool, we first provide a new insightful proof that any deterministic distributed algorithm that computes a $\Delta$-coloring on…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-06-03 Alkida Balliu , Sebastian Brandt , Fabian Kuhn , Dennis Olivetti

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

The Lov\'{a}sz Local Lemma (LLL) is a powerful tool in probabilistic combinatorics which can be used to establish the existence of objects that satisfy certain properties. The breakthrough paper of Moser and Tardos and follow-up works…

Data Structures and Algorithms · Computer Science 2025-09-09 David G. Harris , Fotis Iliopoulos , Vladimir Kolmogorov

In this work, we present a fast distributed algorithm for local potential problems: these are graph problems where the task is to find a locally optimal solution where no node can unilaterally improve the utility in its local neighborhood…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-02-20 Alkida Balliu , Thomas Boudier , Francesco d'Amore , Fabian Kuhn , Dennis Olivetti , Gustav Schmid , Jukka Suomela