Homomorphisms into unary algebras

• Thesis title in Czech: Homomorfismy do unárních algeber
• Thesis title in English: Homomorphisms into unary algebras
• Key words: Problém splnitelnosti omezení (CSP)|Slabá téměř úplná shoda (WNU)|Homomorfismus|Reverzní problém
• English key words: Constraint Satisfaction Problem|Weak Near Unanimity|Homomorphism|Reversing Problem
• Academic year of topic announcement: 2020/2021
• Thesis type: Bachelor's 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: 21.12.2020
• Date of assignment: 21.12.2020
• Confirmed by Study dept. on: 01.02.2021
• Date and time of defence: 02.09.2021 09:00
• Date of electronic submission: 21.07.2021
• Date of submission of printed version: 22.07.2021
• Date of proceeded defence: 02.09.2021
• Opponents: RNDr. Jakub Bulín, Ph.D.

Guidelines

The goal of the thesis is to simplify and refine selected results from [FMS] using the algebraic approach to the Constraint Satisfaction Problem [BKW].

References

[BKW] 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

[FMS] T. Feder, F. Madelaine, I. A. Stewart, Dichotomies for classes of homomorphism problems involving unary functions, Theoretical Computer Science, 314/1–2, 1-43. 2004