hidden - assigned and confirmed by the Study Dept.
Date of registration:
15.10.2014
Date of assignment:
06.11.2014
Confirmed by Study dept. on:
25.11.2014
Date and time of defence:
04.09.2015 00:00
Date of electronic submission:
15.07.2015
Date of submission of printed version:
31.07.2015
Date of proceeded defence:
04.09.2015
Opponents:
doc. Mgr. Pavel Růžička, Ph.D.
Guidelines
Řešitel podrobně rozpracuje příklady relačních struktur (z článku D. Zhuka), které mají NU polymorfismy, ale žádné NU polymorfismy nízkých arit.
References
Dmitriy Zhuk: The existence of a near-unanimity function is decidable, Algebra Universalis, Volume 71, Issue 1, pp 31-54, 2014
Preliminary scope of work
Operace f je polymorfismem množiny relací R, pokud f zachovává (v přirozeném smyslu) všechny relace z R. Důležitým typem polymorfismů jsou NU (near unanimity) polymorfismy, které splňují rovnost f(a,...,a,b,a,...a) = a. Teprve nedávno se podařilo dokázat, že existence těchto polymorfismů je rozhodutelná, a byly dokázány horní odhady na minimální aritu takové operace.
D. Zhuk nalezl příklady ukazující, že horní odhady jsou téměř optimální. V článku jsou konstrukce a důkazy poměrně rychlé a nepřehledné, úkolem studenta je jejich přehlednější a podrobnější rozpracování.
Jde o téma z univerzální algebry, které nevyžaduje velké množství předběžných znalostí.