Constraint Satisfaction and Universal Algebra learning seminar

Tuesday, November 12, 2013 10:30 am - 10:30 am EST (GMT -05:00)

Ross Willard, Department of Pure Mathematics, University of Waterloo

“Applications of the Smooth Theorem and Cyclic Terms”

In this final lecture covering the paper ”Absorbing subalgebras, cyclic terms, and the constraint satisfaction problem” by Barto and Kozik, I will give two applications of the theory: (1) Two easy proofs of the Hell-Nesetril dichotomy for graph CSPs; (2) Two proofs (one easy) that finite Taylor algebras have a Siggers term.