12.07.2015 Aufrufe

Pfade in Dreiecks- und Sechseckgittern - Universität Bonn

Pfade in Dreiecks- und Sechseckgittern - Universität Bonn

Pfade in Dreiecks- und Sechseckgittern - Universität Bonn

MEHR ANZEIGEN
WENIGER ANZEIGEN

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.

sehen werden, lässt sich B für n=|V (B)| <strong>in</strong> G 1 (kn, kn) (für e<strong>in</strong>e Konstantek) e<strong>in</strong>betten.Wähle emb nun so, dass gilt:• emb bildet alle v ∈ V 0 auf weiße Knoten von G 1 ab.• emb bildet alle v ∈ V 1 auf schwarze Knoten von G 1 ab.• emb bildet alle e = (v, w) ∈ E auf <strong>Pfade</strong> zwischen emb(v) <strong>und</strong> emb(w)<strong>in</strong> G 1 ab, so dass zwei <strong>Pfade</strong> jeweils nur höchstens ihre Endpunktegeme<strong>in</strong>sam haben <strong>und</strong> ansonsten knotendisjunkt s<strong>in</strong>d.Abbildung 5: E<strong>in</strong> bipartiter, kubischer, planarer Graph B <strong>und</strong> se<strong>in</strong>e E<strong>in</strong>bettungG 1 =emb(B)Man beachte, dass emb so gewählt ist, dass auch die Partitionierung derKnotenmenge erhalten bleibt, dass also für je zwei beliebige Knoten v <strong>und</strong>w gilt:v <strong>und</strong> w s<strong>in</strong>d <strong>in</strong> der gleichen Partition ⇐⇒ emb(v) <strong>und</strong> emb(w) s<strong>in</strong>d <strong>in</strong> dergleichen Partition.In Abbildung 5 ist e<strong>in</strong> Beispiel für e<strong>in</strong>e solche E<strong>in</strong>bettung zu sehen.Ganz ähnlich betten auch Itai et al. [3] ihren zugr<strong>und</strong>e liegenden bipartitenGraphen <strong>in</strong> e<strong>in</strong>en Rechtecksgittergraphen e<strong>in</strong>. Dort wird gezeigt, dassfür e<strong>in</strong>en bipartiten, kubischen, planaren Graphen mit n Knoten e<strong>in</strong>e solcheE<strong>in</strong>bettung <strong>in</strong> e<strong>in</strong>en Rechtecksgittergraphen R(kn, kn) für e<strong>in</strong>e Konstantek <strong>in</strong> polynomieller Zeit realisiert werden kann. Da unser vorliegenderslope graph G 1 isomorph zu R ist, gilt dieses Resultat folglich auch für G 1 ,7

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!