Minimální Taylorovy klony na třech prvcích
Thesis title in Czech: | Minimální Taylorovy klony na třech prvcích |
---|---|
Thesis title in English: | Minimal Taylor Clones on Three Elements |
Key words: | operace|relace|kompatibilita|klon|minimální Taylorova algebra |
English key words: | operation|relation|compatibility|clone|minimal Taylor algebra |
Academic year of topic announcement: | 2021/2022 |
Thesis type: | diploma thesis |
Thesis language: | čeština |
Department: | Department of Algebra (32-KA) |
Supervisor: | doc. Mgr. Libor Barto, Ph.D. |
Author: | hidden - assigned and confirmed by the Study Dept. |
Date of registration: | 09.12.2021 |
Date of assignment: | 14.03.2022 |
Confirmed by Study dept. on: | 18.03.2022 |
Date and time of defence: | 14.06.2022 09:00 |
Date of electronic submission: | 05.05.2022 |
Date of submission of printed version: | 09.05.2022 |
Date of proceeded defence: | 14.06.2022 |
Opponents: | Dmitrii Zhuk, Ph.D. |
Guidelines |
The goal of the thesis is to explore the mimimal Taylor clones on a three-element set. A complete list of minimal Taylor clones was given by Zarathustra Brady in terms of generating operations. The aim of the thesis is to give relational bases of these clones (or at least some of them) and/or describe members of these clones where possible. |
References |
L. Barto, Z. Brady, A. Bulatov, M. Kozik, D. Zhuk, Minimal Taylor Algebras as a Common Framework for the Three Algebraic Approaches to the CSP, 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2021), 1-13
Clifford Bergman, Universal Algebra: Fundamentals and Selected Topics, Chapman & Hall Pure and Applied Mathematics, CRC Press, 2011 Zarathustra Brady, Notes on CSPs and Polymorphisms, https://raw.githubusercontent.com/notzeb/all/master/csp-notes.pdf |