Constraint Satisfaction and Universal Algebra learning seminar

Tuesday, February 25, 2014 2:30 pm - 2:30 pm EST (GMT -05:00)

Ian Payne, Department of Pure Mathematics, University of Waterloo

“The End of the Proof of the Bounded Width Conjecture”

In this talk, I will begin to tackle the last two pages of the proof of the bounded width conjecture. It will likely take two lectures. In the previous two lectures, we proved that every weak Prague instance has a pointed decomposition. All that remains in order to complete the proof is to show that one of the instances in the decomposition is itself a weak Prague instance.