💜 Wir beteiligen Autor*innen bei jedem Buch mit 7 Prozent, so dass viele von ihnen bei jedem verkauften Exemplar doppelt verdienen. → Mehr erfahren

Computer-gestützte Beweismethoden in der extremalen Graphentheorie: Dies ist eine Einführung in Turán-Dichten und Razborovs Methode der Flag Algebras sowie in das Programm Flagmatic

Computer-gestützte Beweismethoden in der extremalen Graphentheorie: Dies ist eine Einführung in Turán-Dichten und Razborovs Methode der Flag Algebras sowie in das Programm Flagmatic

von Hannes Bauer
Taschenbuch - 9783639456363
29,95 €
  • Versandkostenfrei
Auf meine Merkliste
  • Hinweis: Print on Demand. Lieferbar innerhalb von 7 bis 10 Tagen
  • Lieferzeit nach Versand: ca. 1-2 Tage
  • inkl. MwSt. & Versandkosten (innerhalb Deutschlands)
  • Hinweis: Print on Demand. Lieferbar innerhalb von 7 bis 10 Tagen
  • Hinweis: Lieferzeit ca. 1-2 Tage
  • inkl. MwSt. & Versandkosten (innerhalb Deutschlands)

Autorenfreundlich Bücher kaufen?!

Beschreibung

Razborov veröffentlichte 2007 seine Arbeit über eine neue Technik, die flag Algebras. Mit diesen können viele Bereiche der extremalen Graphentheorie in einem formalen Modell dargestellt werden. Diese Diplomarbeit greift jene Technik auf. So werden in Kapitel 2 die Turán-Dichten und Razborovs Flag Algebras vorgestellt und die Methode an einem Beispiel demonstriert. Da Razborovs Technik auf ein semidefinites Problem führt, wird erklärt wie dieses gelöst werden kann und ebenfalls wie exakte Lösungen erhalten werden können. In Kapitel 3 wird Flagmatic präsentiert. Flagmatic ist ein, von Emil R. Vaughan entwickeltes, Computerprogramm um exakte Schranken von Turán-Dichten zu berechnen beziehungsweise obere Schranken zu approximieren. Die grundliegende Idee ist Razborovs semidefinite Methode aus Kapitel 2. In dieser Arbeit werden die Implementation, die allgemeine Arbeitsweise, die Grundlagen, die Befehle und die Hilfsskripte erläutert, sowie die Arbeitsweise an einigen Beispielen demonstriert. Im abschließenden Kapitel 4 werden einige Anwendungsbeispiele und -ergebnisse aus zwei Arbeiten von Falgas-Ravry und Vaughan präsentiert. Es wird insgesamt ersichtlich, dass Flagmatic zum Beweisen von Aussagen sehr hilfreich ist und auch genutzt wird. Insgesamt lag der Fokus dieser Diplomarbeit auf der Bereitstellung der Theorie der Flag Algebras und einer Einführung in Flagmatic.

Details

Verlag AV Akademikerverlag
Ersterscheinung August 2014
Maße 221 mm x 149 mm x 7 mm
Gewicht 131 Gramm
Format Taschenbuch
ISBN-13 9783639456363
Auflage Nicht bekannt
Seiten 76

Schlagwörter