Computer-gestützte Beweismethoden in der extremalen Graphentheorie

Die Diplomarbeit behandelt die Technik der Flag Algebras, die 2007 von Razborov entwickelt wurde und eine formale Modellierung in der extremalen Graphentheorie ermöglicht. Kapitel 2 führt in die Turán-Dichten und die Anwendung von Razborovs Methode ein, die auf semidefiniten Problemen basiert. Kapitel 3 stellt das Computerprogramm Flagmatic vor, das von Emil R. Vaughan entwickelt wurde, um exakte Schranken für Turán-Dichten zu berechnen. Abschließend werden in Kapitel 4 Anwendungsbeispiele präsentiert, die die Nützlichkeit von Flagmatic zur Unterstützung von Beweisführungen aufzeigen.