We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.DS

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Data Structures and Algorithms

Title: An Algorithmic Proof of the Lovasz Local Lemma via Resampling Oracles

Abstract: 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. Finding such an outcome by an efficient algorithm has been an active research topic for decades. Breakthrough work of Moser and Tardos (2009) presented an efficient algorithm for a general setting primarily characterized by a product structure on the probability space.
In this work we present an efficient algorithm for a much more general setting. Our main assumption is that there exist certain functions, called resampling oracles, that can be invoked to address the undesired occurrence of the events. We show that, in all scenarios to which the original Lovasz Local Lemma applies, there exist resampling oracles, although they are not necessarily efficient. Nevertheless, for essentially all known applications of the Lovasz Local Lemma and its generalizations, we have designed efficient resampling oracles. As applications of these techniques, we present new results for packings of Latin transversals, rainbow matchings and rainbow spanning trees.
Comments: 47 pages
Subjects: Data Structures and Algorithms (cs.DS); Combinatorics (math.CO)
Cite as: arXiv:1504.02044 [cs.DS]
  (or arXiv:1504.02044v3 [cs.DS] for this version)

Submission history

From: Nicholas Harvey [view email]
[v1] Wed, 8 Apr 2015 17:34:35 GMT (43kb)
[v2] Fri, 25 Sep 2015 19:00:18 GMT (59kb)
[v3] Tue, 17 Nov 2015 23:25:20 GMT (51kb)

Link back to: arXiv, form interface, contact.