Minorentheorem

aus Wikipedia, der freien Enzyklopädie
Wechseln zu: Navigation, Suche

Das Minorentheorem gilt als einer der tiefgreifensten Sätze der Graphentheorie. Neil Robertson und Paul Seymour bewiesen es in einer Serie von 20 Veröffentlichungen mit über 500 Seiten. Der Teil 1 “Excluding a Forest”[1] erschien 1983, Teil 20 “Wagner’s Conjecture”[2] mit dem Abschluss des Beweises erschien 2004. Inzwischen gibt es weitere Fortsetzungen, 2010 erschien Teil 23 “Nash-Williams’ immersion conjecture”[3]. Der Beweis ist nicht konstruktiv und liefert auch einen Beweis der Wagnerschen Vermutung.

Satz[Bearbeiten | Quelltext bearbeiten]

Die endlichen Graphen sind durch die Minorenrelation wohlquasigeordnet.

So simpel dieser Satz anmutet, so komplex ist sein Beweis. Mit einigen Lemmata lässt sich aus dem Minorensatz die Wagnersche Vermutung folgern.

Wagnersche Vermutung (Satz von Robertson-Seymour)[Bearbeiten | Quelltext bearbeiten]

Jede unendliche abzählbare Menge von endlichen Graphen, die abgeschlossen bzgl. der Bildung von Minoren ist (d. h. alle Minoren von Graphen in sollen ebenfalls zu gehören) lässt sich durch eine endliche Menge „verbotener Minoren“ definieren, d. h. es gibt eine endliche Menge endlicher Graphen, so dass übereinstimmt mit der Menge aller endlichen Graphen, die keinen Graphen aus als Minor enthalten.

Beispiel[Bearbeiten | Quelltext bearbeiten]

Ein Beispiel ist die Menge aller in die Ebene einbettbaren Graphen (also der planaren Graphen). Die planaren Graphen sind abgeschlossen bezüglich Minorenbildung, also gibt es eine endliche Menge von verbotenen Minoren, durch die sich alle planaren Graphen charakterisieren lassen. In diesem Fall ist nach dem Satz von Kuratowski .

Auch für jede andere Fläche ist die Menge der in einbettbaren Graphen abgeschlossen bzgl. der Bildung von Minoren, es gibt also eine endliche Menge von „verbotenen Minoren“, die alle in einbettbare Graphen charakterisieren.

Die einzige Fläche , außer Ebene und Sphäre, für welche man die Menge bisher explizit bestimmen konnte, ist die projektive Ebene. Hier besteht aus 103 verbotenen Minoren.[4]

Literatur[Bearbeiten | Quelltext bearbeiten]

Einzelnachweise[Bearbeiten | Quelltext bearbeiten]

  1. Robertson, Seymour: Graph Minors. I. Excluding a Forest
  2. Graph Minors. XX. Wagner's Conjecture
  3. Graph Minors. XXIII. Nash-Williams' immersion conjecture
  4. Dan Archdeacon: A Kuratowski Theorem for the Projective Plane. (PDF; 38 kB)