WRSWorld Research StateContribute
WORLD RESEARCH STATE

Moser and Tardos: a constructive proof of the general Lovász local lemma

Contribution grade

Combinatorics and discrete mathematics · ALGORITHM

Reference score190,000Provisional editorial estimate of this exact contribution; its grade is assessed separately.

What changed

Gave a randomized bad-event resampling algorithm with an analysis making the variable form of the local lemma constructive.

Scientific scope

The record is the exact two-author Journal of the ACM paper, posted in 2009 and published in 2010. It does not absorb the original existential lemma, Beck's earlier constructive bounds or later parallel and distributed variants.

Evidence

The linked sources identify this contribution and its scope. WRS has not independently reconstructed the scientific claims. The record is the exact two-author Journal of the ACM paper, posted in 2009 and published in 2010. It does not absorb the original existential lemma, Beck's earlier constructive bounds or later parallel and distributed variants.

Contributors

Provisional WRS assessment, edition 2026-10-16.1. Independent expert calibration is pending. This grade does not certify correctness or assign ownership.

Full scientific record · Browse contribution grades · Request a correction