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!