Zeit- und speichereffiziente selbststabilisierende Algorithmen

Selbststabilisierung ist ein Ansatz, der ein verteiltes System in die Lage versetzt, beliebige transiente Fehler zu tolerieren. In dieser Dissertation werden neue selbststabilisierende Algorithmen für bekannte graphentheoretische Probleme vorgestellt. Darüber hinaus werden bestehende Verfahren auf ihre Komplexität untersucht. Der Schwerpunkt dieser Arbeit liegt auf den Beweismethoden, die in der Komplexitätsanalyse benutzt werden, sowie auf dem Design der Algorithmen.Self-stabilization is a general approach to design a system to tolerate arbitrary transient faults. This thesis presents new time- and space-efficient self-stabilizing algorithms for well-known problems in graph theory and provides new complexity analyzes for existing algorithms. The main focus of this thesis is on the proof techniques used in the complexity analyzes and the design of the algorithms