Constraint Satisfaction and Universal Algebra learning seminar

Renzhi Song, Department of Pure Mathematics, University of Waterloo

“Pointed Decomposition: Part 1”

Continuing our reading of the paper by Barto and Kozik, we work our way through sections 8.1 and 8.2. We will show that every weak Prague instance has a proper pointed decomposition when we have absorption.