Es gibt verschiedene Algorithmen, die in Polynomialzeit entscheiden, ob ein Graph in der Ebene gezeichnet werden kann oder nicht, sogar viele mit einer linearen Laufzeit. Ich konnte jedoch keinen sehr einfachen Algorithmus finden, den man im Unterricht leicht und schnell erklären und der zeigen würde, dass PLANARITÄT in P ist. Kennen Sie einen?
Bei Bedarf können Sie den Satz von Kuratowski oder Fary verwenden, aber keine tiefen Dinge, wie den Satz von Graph Minor. Beachte auch, dass mir die Laufzeit egal ist, ich will nur etwas Polynomisches.
Im Folgenden sind die bisher 3 besten Algorithmen aufgeführt, die einen Kompromiss zwischen Einfachheit und nicht tiefgreifender Theorie zeigen.
Algorithmus 1: Damit können wir überprüfen, ob ein Graph ein oder ein K 3 , 3 als Minor in der Polynomzeit enthält. Wir erhalten einen sehr einfachen Algorithmus unter Verwendung der tiefen Theorie. (Beachten Sie, dass in dieser Theorie bereits Graph-Einbettungen verwendet werden, wie von Saeed angedeutet. Dies ist also kein wirklicher algorithmischer Ansatz, sondern nur eine einfache Erklärung für Schüler, die den Graph-Minor-Satz bereits kannten / akzeptierten.)
Algorithmus 2 [basierend auf einer Antwort von jemandem]: Es ist leicht zu erkennen, dass es ausreicht, sich mit 3-zusammenhängenden Graphen zu befassen. Suchen Sie für diese ein Gesicht und wenden Sie dann den Tutte-Frühlingssatz an.
Algorithmus 3 [von Juho empfohlen]: Demoucron-, Malgrange- und Pertuiset-Algorithmus (DMP). Zeichnen Sie einen Zyklus, Komponenten des verbleibenden Graphen werden Fragmente genannt, wir betten sie auf geeignete Weise ein (währenddessen erzeugen wir neue Fragmente). Dieser Ansatz verwendet keine anderen Theoreme.