Statements (21)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:algorithm
|
| gptkbp:application |
graph coloring
constraint satisfaction problems satisfiability problems |
| gptkbp:approach |
resampling
|
| gptkbp:basedOn |
gptkb:Lovász_Local_Lemma
|
| gptkbp:complexity |
expected polynomial time
|
| gptkbp:field |
theoretical computer science
combinatorics probabilistic method |
| https://www.w3.org/2000/01/rdf-schema#label |
Moser–Tardos algorithm
|
| gptkbp:introduced |
gptkb:Gábor_Tardos
Robin Moser |
| gptkbp:introducedIn |
2009
|
| gptkbp:notablePublication |
A constructive proof of the general Lovász Local Lemma (JACM, 2010)
|
| gptkbp:relatedTo |
probabilistic method
algorithmic Lovász Local Lemma |
| gptkbp:solvedBy |
constructive Lovász Local Lemma
|
| gptkbp:type |
randomized algorithm
|
| gptkbp:bfsParent |
gptkb:Lovász_Local_Lemma
|
| gptkbp:bfsLayer |
6
|