Mathematische Hintergründe der Wahlmanipulation

Modulart

Wahlpflicht- oder Schwerpunktmodul in der Theoretischen Informatik

Studiengang

Master-Studiengang Informatik

Kreditpunkte

15 CP

Lehrveranstaltungen

• Vorlesung „Mathematische Hintergründe der Wahlmanipulation“, 4 SWS
• Übung, 2 SWS
• Seminar, 2 SWS

Inhalte und Qualifikationsziele

Inhalte

In vielen Situationen profitieren Wähler davon, wenn sie eine unehrliche Stimme abgeben. Gibbard und Satterthwaite haben sogar gezeigt, dass es bei mindestens drei zur Wahl stehenden Alternativen kein nicht manipulierbares Wahlsystem geben kann, welches eine Reihe von sinnvollen Eigenschaften erfüllt. Diese Veranstaltung behandelt die systematische mathematische Analyse von verschiedenen Formen der Manipulation in Wahlen.

Qualifikationsziele

Am Ende der Veranstaltung haben die Studierenden ein umfangreiches Wissen über die formale mathematische Spezifikation von Wahlen und die verschiedenen Arten der Manipulation in Wahlsystemen. Sie sind dazu in der Lage, unterschiedliche Manipulationsarten für resolute und nicht resolute Wahlsysteme formal zu beschreiben und Beweise zu bekannten Theoremen aus der Literatur können nachvollzogen werden. Außerdem können Sie für ein gegebenes Wahlsystem zeigen, welche Formen der Manipulation hier möglich sind, und Empfehlungen für bestimmte Einsatzbereiche geben.

Empfohlene Literatur

• A. Taylor: Social Choice and the Mathematics of Manipulation, Cambridge University Press, 2005.

Ergänzende Literatur

• Jörg Rothe, Dorothea Baumeister, Claudia Lindner, Irene Rothe: Einführung in Computational Social Choice. Individuelle Strategien und kollektive Entscheidungen beim Spielen, Wählen und Teilen. Spektrum, Akademischer Verlag, 2011.

Verwendbarkeit des Moduls

Wahlpflicht- oder Schwerpunktmodul im Master-Studiengang Informatik.

Diplom- und Master-Studiengang Mathematik (Nebenfach)

Teilnahmevoraussetzungen

Bachelor-Studierende müssen folgende Module erfolgreich abgeschlossen haben:

• Modul „Grundlagen der Softwareentwicklung und Programmierung” (Informatik I)
• Modul „Grundlagen der Technischen Informatik” (Informatik II)
• Modul „Grundlagen der Algorithmen und Datenstrukturen” (Informatik III)
• Modul „Grundlagen der Theoretischen Informatik” (Informatik IV)

Voraussetzungen für die Vergabe von Kreditpunkten

Aktive und erfolgreiche Teilnahme an den Übungen, dem Seminar und der Prüfung am Ende der Veranstaltung.

Häufigkeit des Angebots, modulare Schiene

Dieses Modul findet in unregelmäßigen Abständen statt.

Modulbeauftragte und hauptamtliche Lehrende

Jun.-Prof. Dr. Dorothea Baumeister