Im Oberseminar behandeln wir Abschnitte aus dem Buch
Jörg Rothe, Dorothea Baumeister, Claudia Lindner und Irene Rothe: Einführung in Computational Social Choice (Spektrum Akad. Verlag, 2012).
Es geht um Strategien in Spielen, Wahlverfahren und Teilungsalgorithmen. Wir benutzen dabei Methoden aus der Informatik: Spezifikation, Korrektheitsbeweis, Komplexitätsbetrachtung. Anwendungen sind z.B. Bestimmung der Bundestagsmandate aus der Stimmenverteilung, Versteigerung von Werbeplatz, von Mobilfunkfrequenzbereichen. Wir diskutieren Auswirkungen auf die Gesellschaft.
Zum Hintergrund dieses Fachgebietes vergleiche (Rothe et al., 2010) What is Computational Social Choice?