A New Notion of Commutativity for the Algorithmic Lovász Local Lemma
From MaRDI portal
Publication:6090906
DOI10.4230/LIPICS.APPROX/RANDOM.2021.31arXiv2008.05569OpenAlexW3201983373MaRDI QIDQ6090906FDOQ6090906
Authors: David G. Harris, Fotis Iliopoulos, Vladimir Kolmogorov 
Publication date: 20 November 2023
Abstract: 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 revealed that the LLL has intimate connections with a class of stochastic local search algorithms for finding such desirable objects. In particular, it can be seen as a sufficient condition for this type of algorithms to converge fast. Besides conditions for existence of and fast convergence to desirable objects, one may naturally ask further questions regarding properties of these algorithms. For instance, "are they parallelizable?", "how many solutions can they output?", "what is the expected "weight" of a solution?", etc. These questions and more have been answered for a class of LLL-inspired algorithms called commutative. In this paper we introduce a new, very natural and more general notion of commutativity (essentially matrix commutativity) which allows us to show a number of new refined properties of LLL-inspired local search algorithms with significantly simpler proofs.
Full work available at URL: https://arxiv.org/abs/2008.05569
Cited In (3)
This page was built for publication: A New Notion of Commutativity for the Algorithmic Lovász Local Lemma
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6090906)
