# FG1 Seminar talk

2017-12-15

Marcin **Kozik** (Uniwersytet Jagielloński w Krakowie)*Taylor minimal, finite algebras*

Abstract:

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.