Satz von Kuratowski
Der Satz von Kuratowski (nach Kazimierz Kuratowski) ist ein Satz aus der Graphentheorie, der wichtige Aussagen zu planaren Graphen macht und die Frage nach der Planarität (Plättbarkeit) eines Graphen beantwortet.
Planarität
Allgemein formuliert ist ein Graph genau dann planar (plättbar), wenn es möglich ist, den Graphen so in die Ebene zu zeichnen, dass sich die Kanten des Graphen nicht schneiden. Die Kanten dürfen sich lediglich in den Knoten des Graphen berühren.
Die folgenden beiden Graphen sind planar, wobei die Planarität von erst deutlich wird, wenn man anders zeichnet.
Die Graphen K5 und K3,3
Der Satz von Kuratowski benutzt zwei spezielle Graphen: und . Bei handelt es sich um den vollständigen Graphen mit 5 Knoten (siehe Abb. 2), bei um einen vollständig bipartiten Graphen, der in zwei je dreielementige Teilmengen aufgeteilt ist (siehe Abb. 3). Beide Graphen sind nicht planar. Sie sind sogar die kleinsten nicht-planaren Graphen überhaupt, was direkt aus dem Satz von Kuratowski folgt.
Der Satz von Kuratowski
Der Satz von Kuratowski besagt, dass ein Graph genau dann planar ist, wenn er keinen Teilgraphen besitzt, der ein Unterteilungsgraph des oder des ist. Einen Unterteilungsgraphen erhält man, indem man wiederholt eine Kante durch ein inzidentes Kantenpaar ersetzt. Alternativ kann man formulieren, dass ein Graph genau dann planar ist, wenn er weder den noch den als topologischen Minor enthält.
Siehe auch
- Satz von Wagner
Literatur
- Kazimierz Kuratowski: Sur le problème des courbes gauches en topologie. In: =Fund. Math. Vol. 15, 1930, S. 271–283 (französisch, edu.pl [PDF]).
- Reinhard Diestel: Graphentheorie. 4. Auflage. Springer, Berlin 2010, ISBN 978-3-642-14911-5 (354 S., diestel-graph-theory.com).
Auf dieser Seite verwendete Medien
Autor/Urheber: Life of Riley, Lizenz: CC BY-SA 3.0
Diese Vektorgrafik wurde mit Inkscape erstellt und dann manuell nachbearbeitet
Autor/Urheber: Pablo Angulo using Sage software, Lizenz: CC BY 3.0
Animation showing how the Petersen graph contains a minor isomorphic to K3,3. An Illustration of Wagner's theorem. Created with Sage
Autor/Urheber: Forbfruit, Lizenz: CC BY-SA 3.0
Beispiele für 2 planare Graphen
Autor/Urheber: Life of Riley, Lizenz: CC BY-SA 3.0
Diese Vektorgrafik wurde mit Inkscape erstellt und dann manuell nachbearbeitet