Event
Mike Molloy, University of Toronto
Monday, March 6, 2017 16:00to17:00
Burnside Hall
room 1205, 805 rue Sherbrooke Ouest, Montreal, QC, H3A 0B9, CA
Entropy Compression and the Lovasz Local Lemma
The Lovasz Local Lemma, a cornerstone of the probabilistic method, is a powerful and widely used proof technique. In 2009, Moser introduced a technique called entropy compression to provide efficient algorithms which construct objects that the Local Lemma guarantees to exist. Recently, entropy compression has been used to develop more powerful versions of the Local Lemma which provide existence proofs in settings where the original Local Lemma does not apply. I will illustrate this technique with applications to graph colouring: (a) colouring triangle-free graphs, and (b) frugal colouring, where no colour can appear too many times in any neighbourhood.