Algebra 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.