PMath/C&O Joint Colloquium - Ben Moore
Title: A proof of the Hell-Nešetřil Dichotomy via Siggers Polymorphisms
Speaker: | Ben Moore |
Affiliation: | University of Waterloo |
Room: | MC 4020 |
Abstract:
In 2017, the constraint satisfaction dichotomy was proven via techniques from universal algebra. If we restrict this theorem to graphs, we get the Hell-Nešetřil Dichotomy, which is a statement about colouring graphs.