## Lovasz Local Lemma

The probabilistic method is a non-constructive way of proving the existence of an object having certain property. The argument usually goes as follows: a randomly selected object has the desired property with probability strictly positive, thus there must exist an …