FG1 Seminar talk
Marcin Kozik (Uniwersytet Jagielloński w Krakowie)
Taylor minimal, finite algebras
The connection between Constraint Satisfaction Problem and universal algebra motivates a study of rich relational clones which are still well-behaved in the algebraic sense. During the talk I will focus on the richest relational clones which define tractable CSPs - the, so called, Taylor minimal clones. I will argue that an algebraic structure of such a clone can be much simpler than a structure of an arbitrary Taylor clone and establish some connections with some (very basic) notions used in the dichotomy proofs of Bulatov and Zhuk.