Avoiding Dependent Bad Events to Happen: An Algorithm for the Lovász Local Lemma
November - December 2025
Important
The video I made is a presentation of my report, so I really recommend you to see the video first before reading the report. However, you can easily read section 1 (Introduction) and section 2 (State of the art) of my report without the video.Files
- Original paper (ACM): A Constructive Proof of the General Lovász Local Lemma — If you cannot access the ACM link use the local fallback (only available until the end of the peer review: paper.pdf)
- Report (my exposition): honour_project.pdf
- Exposition video: The video is available here.
- Proof of SLLL (Symmetric Lovász Local Lemma) using GLLL (General Lovász Local Lemma): Click here