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
- Robin A. Moser · SCIENCE: Named source author of the scoped work; individual effort shares are not measured.
- Gábor Tardos · SCIENCE: Named source author of the scoped work; individual effort shares are not measured.
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
A