Eine weitere Frage zum planaren Separator

8

Kennt jemand von euch eine Referenz für das folgende (überraschend mühsame) Ergebnis?

Bei einem verbundenen planaren Graphen mit n Eckpunkten und n + t Kanten hat er einen Eckpunkttrenner der Größe O ( √)Gnn+t.O(t+1)

Sariel Har-Peled
quelle
Ist es wirklich so langweilig? Sie haben höchstens Blöcke, ziehen sie in Eckpunkte zusammen und verwenden für sie den Satz des gewichteten Trennzeichens. Wenn die Trennblöcke groß sind, können Sie alle O ( √) zerstörentKanten zwischen ihnen und dann jeweils willkürlich mit jeweils zwei Eckpunkten trennen. O(t)
Domotorp
Was ist die genaue Definition der Blöcke?
Sariel Har-Peled
1
Benötigen Sie wirklich die im O ( ) ? +1O()
Aryeh
2
Ja. Wenn t Null ist ...
Sariel Har-Peled
2
@domotorp Übrigens, ich glaube nicht, dass Ihre Idee funktioniert - das gesamte Diagramm könnte ein einzelner Block sein - denken Sie nur an einen Pfad und eine zusätzliche Kante, die die beiden Endpunkte verbindet, und an einige andere Kanten ...
Sariel Har-Peled

Antworten:

7

Hier ist ein Beweis mit einem bekannten Hammer.

Gt+1Gt+1

GO(t)kGGΩ(k)Ω(k)Ω(k2)t+1k=O(t)

Chandra Chekuri
quelle
1
GtGO(t)
Der zitierte Satz von Robertson Seymour Thomas hat einen relativ kurzen, in sich geschlossenen Beweis, es ist also kein so großer Hammer.
Daniello
1
Bearbeitet, um "großen", aber beibehaltenen "Hammer" zu entfernen.
Chandra Chekuri
@ Daniello ist das nicht Graph Minor V?
Saeed