Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage, die derzeit aktuellsten Methoden der universellen Algebra auf Probleme aus diesem Gebiet sowie auf Probleme der theoretischen Informatik anzuwenden.

Wir werden den Artikel "Minimal Taylor Algebras as a Common Framework for the Three Algebraic Approaches to the CSP" von Libor Barto, Zarathustra Brady, Andrei Bulatov, Marcin Kozik und Dmitriy Zhuk im Rahmen von Vorträgen erarbeiten. In der Arbeit geht es um die Struktur endlicher Algebren, welche nichttriviale Gleichungen erfüllen, und welche zusätzlich die Eigenschaft besitzen, dass keine Algebra, welche weniger Termfunktionen hat, nichttriviale Gleichungen erfüllt.

Vorträge und Lesen

Literatur: https://arxiv.org/abs/2104.11808

Beurteilung: Laufend

Grundkenntnisse der universellen Algebra.