Master Thesis MSTR-2023-113

BibliographyWelker, Janette: Dreifärbungen für planare Graphen mit wenigen Dreiecken.
University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Master Thesis No. 113 (2023).
35 pages, german.
Abstract

Diese Arbeit befasst sich mit dem Problem der Dreifärbbarkeit planarer Graphen. Sie knüpft an die Beiträge von Grötzsch und Grünbaum an und erweitert diese durch Reiteration mit Augenmerk auf unklaren Aspekten und Schließen von bislang übersehenen Lücken. Der Fokus liegt dabei auf der Untersuchung von Grünbaum's Beweis Grötzsch’s Theorem on 3-Colorings, in dem die Dreifärbbarkeit von planaren Graphen mit maximal drei Dreiecken bewiesen wird. Zudem wurde das Potenzial der Beweisstruktur für die Implementierung eines effizienten Algorithmus geprüft.

Full text and
other links
Volltext
Department(s)University of Stuttgart, Institute of Formal Methods in Computer Science, Theoretical Computer Science
Superviser(s)Kufleitner, PD Dr. Manfred
Entry dateMay 21, 2024
   Publ. Computer Science