Probabilistic Methods 7-1: Moser-Tardos Algorithm

In the first video of Week 7, we state and prove the running time of the Moser-Tardos Algorithm for the Local Lemma.