next up previous
Next: Überdeckende Knotenmengen Up: No Title Previous: Aufzählen von Teilgraphen

Planare Seperatoren

``Divide-and-conquer''-Ansätze haben sich bei der Lösung vieler kombinatorischer Problme als nützlich erwiesen. Dabei mu\3 das Ausgangsproblem in kleinere Teilprobleme zerlegt werden können, die dann rekursiv mit der selben Methode gelöst werden. Für Probleme auf Graphen stellen Seperatoren einen geeigneten Teilungsbegriff dar. Ein Seperator ist eine Teilmenge der Knotenmenge, nach deren Entfernung der Graph in relativ kleine Teilgraphen zerfällt. Lipton und Tarjan [9] wiesen 1979 erstmals die Existenz solcher Seperatoren in planaren Graphen nach und zeigten wie man sie effizient berechnet. Eine Kurzdarstellung dieses Resultats findet sich auch in [8]. Die Verwendung planarer Seperatoren zur Lösung verschiedener Graphenprobleme wird in [10] beschrieben. Beispielhaft soll die Konstruktion eines Approximationsschemas für unabhängige Knotenmengen vorgestellt werden, das auch für den nachfolgenden Vortrags relevant ist.



Claus Rick
Tue Jun 15 15:29:29 MET DST 1999