Homomorphisms into unary algebras

• Název práce v češtině: Homomorfismy do unárních algeber
• Název v anglickém jazyce: Homomorphisms into unary algebras
• Klíčová slova: Problém splnitelnosti omezení (CSP)|Slabá téměř úplná shoda (WNU)|Homomorfismus|Reverzní problém
• Klíčová slova anglicky: Constraint Satisfaction Problem|Weak Near Unanimity|Homomorphism|Reversing Problem
• Akademický rok vypsání: 2020/2021
• Typ práce: bakalářská práce
• Jazyk práce: angličtina
• Ústav: Katedra algebry (32-KA)
• Vedoucí / školitel: doc. Mgr. Libor Barto, Ph.D.
• Řešitel: skrytý - zadáno a potvrzeno stud. odd.
• Datum přihlášení: 21.12.2020
• Datum zadání: 21.12.2020
• Datum potvrzení stud. oddělením: 01.02.2021
• Datum a čas obhajoby: 02.09.2021 09:00
• Datum odevzdání elektronické podoby: 21.07.2021
• Datum odevzdání tištěné podoby: 22.07.2021
• Datum proběhlé obhajoby: 02.09.2021
• Oponenti: RNDr. Jakub Bulín, Ph.D.

Zásady pro vypracování

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

Seznam odborné literatury

[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