Minorentheorem
# Minorentheorem

Das Minorentheorem gilt als einer der tiefgreifendsten 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” erschien 1983, Teil 20 “Wagner’s Conjecture” mit dem Abschluss des Beweises erschien 2004. Inzwischen gibt es weitere Fortsetzungen, 2010 erschien Teil 23 “Nash-Williams’ immersion conjecture”. Der Beweis ist nicht konstruktiv und liefert auch einen Beweis der Wagnerschen Vermutung.

## Satz

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)

Jede unendliche abzählbare Menge ${\mathcal {G}}=\{G_{1},G_{2},\dotsc \}$ von endlichen Graphen, die abgeschlossen bzgl. der Bildung von Minoren ist (d. h., alle Minoren von Graphen in ${\mathcal {G}}$ sollen ebenfalls zu ${\mathcal {G}}$ gehören) lässt sich durch eine endliche Menge „verbotener Minoren“ definieren, d. h., es gibt eine endliche Menge ${\mathcal {H}}=\{H_{1},\dotsc ,H_{n}\}$ endlicher Graphen, so dass ${\mathcal {G}}$ übereinstimmt mit der Menge aller endlichen Graphen, die keinen Graphen aus ${\mathcal {H}}$ als Minor enthalten.

### Beispiel

Ein Beispiel ist die Menge ${\mathcal {G}}$ 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 ${\mathcal {H}}=\left\{K_{5},K_{3,3}\right\}$.

Auch für jede andere Fläche ${\mathcal {S}}$ ist die Menge ${\mathcal {G}}$ der in ${\mathcal {S}}$ einbettbaren Graphen abgeschlossen bzgl. der Bildung von Minoren, es gibt also eine endliche Menge ${{\mathcal {H}}_{\mathcal {S}}}$ von „verbotenen Minoren“, die alle in ${\mathcal {S}}$ einbettbare Graphen charakterisieren.

Die einzige Fläche ${\mathcal {S}}$, außer Ebene und Sphäre, für welche man die Menge ${\mathcal {H}}$ bisher explizit bestimmen konnte, ist die projektive Ebene. Hier besteht ${\mathcal {H}}$ aus 103 verbotenen Minoren.

