En ny teorem av Bissacot, et al. visat sig med hjälp av resultaten från klusterexpansionen inom statistisk mekanik förlänga Lovász Local Lemma genom att försvaga de förhållanden under vilka dess slutsatser håller. I denna anmärkning, vi bevisa en algoritmisk analog av detta resultat, förlänga Moser och Tardos nyligen algoritmiska lokala Lemma, och ge ett alternativt bevis på teorem av Bissacot, et al. tillämpligt i det algoritmiska ramverket Moser-Tardos.
Pegden REF visade att Moser och Tardos algoritm konvergerar effektivt även under förutsättning att klusterexpansion lokala lemma.
An extension of the Moser-Tardos algorithmic local lemma
{'venue': None, 'journal': 'arXiv: Combinatorics', 'mag_field_of_study': ['Mathematics', 'Computer Science']}