Minion Cores of Clones

• Thesis title in Czech: Minionová jádra klonů
• Thesis title in English: Minion Cores of Clones
• Key words: univerzální algebra|minion|vícesortový booleovský klon|minionový homomorfismus
• English key words: universal algebra|minion|multi-sorted Boolean clone|minion homomorphism
• Academic year of topic announcement: 2022/2023
• Thesis type: diploma thesis
• Thesis language: anglič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: 05.09.2022
• Date of assignment: 05.09.2022
• Confirmed by Study dept. on: 05.10.2022
• Date and time of defence: 06.09.2023 09:00
• Date of electronic submission: 20.07.2023
• Date of submission of printed version: 24.07.2023
• Date of proceeded defence: 06.09.2023
• Opponents: Dmitrii Zhuk, Ph.D.

Guidelines

The goal is to compute minion cores of clones in some natural class(es) of clones. The starting point will be the class of those clones on a two- or three-element domain that are determined by binary relations with two-element projections.

References

L. Barto, J. Bulin, A. Krokhin, J. Oprsal, Algebraic approach to promise constraint satisfaction, Journal of the ACM 68/4 (2021), 1-66

L. Barto, J. Oprsal, M. Pinsker, The wonderland of reflections, Israel Journal of Mathematics 223/1 (2018), 363-398

L. Barto, A. Krokhin, R. Willard, Polymorphisms, and how to use them, in "The Constraint Satisfaction Problem: Complexity and Approximability", Dagstuhl Follow-Ups, vol. 7, 1–44, 2017