Deterministic algorithms for the Lovász local lemma: Simpler, more general, and more parallel

The Lovász local lemma (LLL) is a keystone principle in probability theory, guaranteeing the existence of configurations which avoid a collection ℬ$$ \mathcal{B} $$ of “bad” events which are mostly independent and have low probability. A seminal algorithm of Moser and Tardos (J. ACM, 2010, 57, 11) (...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Random structures & algorithms Ročník 63; číslo 3; s. 716 - 752
Hlavní autor: Harris, David G.
Médium: Journal Article
Jazyk:angličtina
Vydáno: New York John Wiley & Sons, Inc 01.10.2023
Wiley Subscription Services, Inc
Témata:
Algorithms
Coloring
derandomization
independent transversal
LLL
Lovász Local Lemma
Probability theory
strong coloring
ISSN:1042-9832, 1098-2418
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:The Lovász local lemma (LLL) is a keystone principle in probability theory, guaranteeing the existence of configurations which avoid a collection ℬ$$ \mathcal{B} $$ of “bad” events which are mostly independent and have low probability. A seminal algorithm of Moser and Tardos (J. ACM, 2010, 57, 11) (which we call the MT algorithm) gives nearly‐automatic randomized algorithms for most constructions based on the LLL. However, deterministic algorithms have lagged behind. We address three specific shortcomings of the prior deterministic algorithms. First, our algorithm applies to the LLL criterion of Shearer (Combinatorica, 1985, 5, 241–245); this is more powerful than alternate LLL criteria and also leads to cleaner and more legible bounds. Second, we provide parallel algorithms with much greater flexibility. Third, we provide a derandomized version of the MT‐distribution, that is, the distribution of the variables at the termination of the MT algorithm. We show applications to non‐repetitive vertex coloring, independent transversals, strong coloring, and other problems.
Bibliografie:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:1042-9832
1098-2418
DOI:10.1002/rsa.21152