Algorithmische Grundlagen für kontrollierte verteilte Rechnungen

• Antragsteller: Professor Dr. Christian Scheideler
• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung seit 2025
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 549499840

Verteilte Algorithmen, die robust gegen Fehler und gegnerisches Verhalten sind, haben eine lange Historie. Mit dem Aufkommen offener verteilter Systeme, auch bekannt als Peer-to-Peer Systeme, sind solche Verfahren besonders interessant geworden, da Fehler in diesen Systemen keine Ausnahme sondern die Regel sind. Allerdings haben die bekannten Lösungen einen großen Overhead und würden nicht funktionieren, wenn das System einem massiven gegnerischen Angriff ausgesetzt wäre. Aus diesem Grund wollen wir in diesem Projekt erforschen, inwiefern eine vertrauenswürdige Partei, die wir "Supervisor" nennen, einer Community von Peers mit möglicherweise keinerlei Vertrauensbeziehungen helfen kann, Rechenprobleme verteilt mit minimalem Overhhead für den Supervisor und die Peers zu lösen. Neben abstrakten Lösungen für Klassen von Problem, welche wir als gerichtete azyklische Taskgraphen modellieren, werden wir Lösungen für spezifische Probleme entwickeln, welche von der Forschungsgemeinschaft betrachtet worden sind.

• DFG-Verfahren: Sachbeihilfen