Willkommen, schön sind Sie da!
Logo Ex Libris

Störung bei TWINT Weitere Informationen

Aufgrund einer Störung kann es zurzeit, zu Einschränkungen beim Bezahlen mit TWINT kommen. Wir bitten um Ihr Verständnis.

schliessen

Computer-gestützte Beweismethoden in der extremalen Graphentheorie

  • Kartonierter Einband
  • 76 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
Razborov veröffentlichte 2007 seine Arbeit über eine neue Technik, die flag Algebras. Mit diesen können viele Bereiche der extrema... Weiterlesen
20%
42.50 CHF 34.00
Print on demand - Exemplar wird für Sie besorgt.
Bestellung & Lieferung in eine Filiale möglich

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.

Autorentext

Nachdem ich in Waren(Müritz) aufgewachsen bin, zog ich nach Rostock, um Diplom-Mathematik zu studieren. Nach einem Auslandssemester in Guelph, Kanada, beendete ich mit dieser Diplomarbeit im Bereich der Graphentheorie mein Studium. Als nächstes Abenteuer wartet ein Praktikum in Japan auf mich und ich bin gespannt, wie und wo es danach weitergeht!



Klappentext

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.

Produktinformationen

Titel: Computer-gestützte Beweismethoden in der extremalen Graphentheorie
Untertitel: Dies ist eine Einführung in Turán-Dichten und Razborovs Methode der Flag Algebras sowie in das Programm Flagmatic
Autor:
EAN: 9783639456363
ISBN: 978-3-639-45636-3
Format: Kartonierter Einband
Herausgeber: AV Akademikerverlag
Genre: Sonstiges
Anzahl Seiten: 76
Gewicht: 131g
Größe: H221mm x B149mm x T7mm
Jahr: 2014