Asymmetric Lovász local lemma
ID: asymmetric-lovasz-local-lemma
For a finite family with a dependency graph of events, if satisfy , then . Choosing equal gives the familiar symmetric criterion when event probabilities are at most and the maximum dependency degree is .
New to topics? Read the docs here!