Universal Algebra and Constraint Satisfaction learning seminar

Tuesday, April 1, 2014 2:30 pm - 2:30 pm EDT (GMT -04:00)

Renzhi Song, Pure Mathematics, University of Waterloo

"Dichotomy of Conservative CSPs"

This talk is the first of several covering Barto's simpler proof of a dichotomy for conservative templates (originally due to Bulatov).  We will first cover the preliminary notions and notations. Then we will show the correctness of the reduction to minimal absorbing subuniverses algorithm.