Graph Homomorphismen und Universelle Algebra

Der Kurs wird bei Bedarf auf Englisch gehalten. Das Skript ist auf Englisch. 

Themen

Die Vorlesung behandelt das Zusammenspiel der Theorie der Graphhomomorphismen und Constraint Satisfaction Probleme auf der einen, und fundamentalen Konzepten und Resultaten aus der universellen Algebra auf der anderen Seite. 

Zielgruppen

Mathematikstudierende in den Masterprogrammen Mathematik, Technomathematik, Wirtschaftsmathematik, Diplomstudierende der Informatik mit Nebenfach Mathematik.

Voraussetzungen

Kenntnisse aus dem Modul Math Ba ALGSTR sind wünschenswert, aber nicht streng notwendig. 

Vorlesungszeiten

Skript

Ein englisches Skript kann  hier heruntergeladen werden. Hinweis: Nicht die Videos, sondern das Skript definiert den Inhalt der Vorlesung. Bitte schreiben Sie mir, wenn Sie im Srkipt unklare Stellen oder Fehler finden!  

Einschreibung

Bei Interesse an der Vorlesung bitte ich um eine Email an mich und zusätzlich um Einschreibung auf Opal.

Videos

Es gibt folgendes zusätzliche Videomaterial: 

• Session 1: Introduction
• Session 2: The Arc Consistency Procedure
• Session 3: Cores and Polymorphisms
• Excursion (does not belong to the course in the proper sense, covers background): Basics of Complexity Theory. 
• Session 4: The Path Consistency Procedure and Majority Polymorphisms. 
• Session 5: Digraphs with a Maltsev Polymorphism. 
• Session 6: Relational Structures and Primitive Positive Definitions. 
• Session 7: Primitive Positive Interpretations. 
• Session 8: Clones. 
• Session 9: Minimal Clones. 
• Session 10: Schaefer's Theorem. 
• Session 11: Pseudo-Varieties. 
• Session 12: Birkhoff's theorem. 
• Session 13: Siggers' theorem. 

Literatur

Die Vorlesung basiert auf dem Skript. Weiterführende Literatur wird im Kurs bekannt gegeben.

Übungsbetrieb

Informationen dazu folgen auf Opal.