andreas gemsa ubung algorithmische geometrie · dg(p ) , kreis durch p;q;r ist leer kante pq ist in...

62
Andreas Gemsa · ¨ Ubung Algorithmische Geometrie Andreas Gemsa ¨ Ubung Algorithmische Geometrie LEHRSTUHL F ¨ UR ALGORITHMIK I · INSTITUT F ¨ UR THEORETISCHE INFORMATIK · FAKULT ¨ AT F ¨ UR INFORMATIK Delaunay Triangulierungen 16.06.2011

Upload: others

Post on 13-Aug-2020

0 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Andreas Gemsa Ubung Algorithmische Geometrie · DG(P ) , Kreis durch p;q;r ist leer Kante pq ist in DG(P ), es gibt einen leeren Kreis C p;q durch p und q Satz 5: Sei P Punktmenge

Andreas Gemsa · Ubung Algorithmische Geometrie

Andreas Gemsa

Ubung Algorithmische Geometrie

LEHRSTUHL FUR ALGORITHMIK I · INSTITUT FUR THEORETISCHE INFORMATIK · FAKULTAT FUR INFORMATIK

Delaunay Triangulierungen

16.06.2011

Page 2: Andreas Gemsa Ubung Algorithmische Geometrie · DG(P ) , Kreis durch p;q;r ist leer Kante pq ist in DG(P ), es gibt einen leeren Kreis C p;q durch p und q Satz 5: Sei P Punktmenge

Andreas Gemsa · Ubung Algorithmische Geometrie

Ubersicht

Ubungsblatt 9 - Delaunay Triangulierungen

Evaluation

Ubungsblatt 9 - Delaunay Triangulierungen

Page 3: Andreas Gemsa Ubung Algorithmische Geometrie · DG(P ) , Kreis durch p;q;r ist leer Kante pq ist in DG(P ), es gibt einen leeren Kreis C p;q durch p und q Satz 5: Sei P Punktmenge

Andreas Gemsa · Ubung Algorithmische Geometrie

Aufgabe 1

Sei P ⊂ R2 eine Menge von n Punkten.Problem:

a) Maximale Anzahl an verschiedenen Triangulierungen fur P

beschrankt durch 2(n2).

b) Beispielmenge P bei der fur jede Triangulierung ein Knotenex. der Grad n− 1 hat?

Page 4: Andreas Gemsa Ubung Algorithmische Geometrie · DG(P ) , Kreis durch p;q;r ist leer Kante pq ist in DG(P ), es gibt einen leeren Kreis C p;q durch p und q Satz 5: Sei P Punktmenge

Andreas Gemsa · Ubung Algorithmische Geometrie

Aufgabe 1

Sei P ⊂ R2 eine Menge von n Punkten.Problem:

a) Maximale Anzahl an verschiedenen Triangulierungen fur P

beschrankt durch 2(n2).

b) Beispielmenge P bei der fur jede Triangulierung ein Knotenex. der Grad n− 1 hat?

Page 5: Andreas Gemsa Ubung Algorithmische Geometrie · DG(P ) , Kreis durch p;q;r ist leer Kante pq ist in DG(P ), es gibt einen leeren Kreis C p;q durch p und q Satz 5: Sei P Punktmenge

Andreas Gemsa · Ubung Algorithmische Geometrie

Aufgabe 2

Punktmenge P ⊂ R2, alle Punkte in allgemeiner Lage.

Außerdem q /∈ P aber in der konvexen Hulle von P .

pi

pj

pk

Page 6: Andreas Gemsa Ubung Algorithmische Geometrie · DG(P ) , Kreis durch p;q;r ist leer Kante pq ist in DG(P ), es gibt einen leeren Kreis C p;q durch p und q Satz 5: Sei P Punktmenge

Andreas Gemsa · Ubung Algorithmische Geometrie

Aufgabe 2

Punktmenge P ⊂ R2, alle Punkte in allgemeiner Lage.

Außerdem q /∈ P aber in der konvexen Hulle von P .

pi

pj

pk

q

Page 7: Andreas Gemsa Ubung Algorithmische Geometrie · DG(P ) , Kreis durch p;q;r ist leer Kante pq ist in DG(P ), es gibt einen leeren Kreis C p;q durch p und q Satz 5: Sei P Punktmenge

Andreas Gemsa · Ubung Algorithmische Geometrie

Aufgabe 2

Punktmenge P ⊂ R2, alle Punkte in allgemeiner Lage.

Außerdem q /∈ P aber in der konvexen Hulle von P .

pi

pj

pk

q Gehoren zur DelaunayTriangulierung von P ∪ {q}

Page 8: Andreas Gemsa Ubung Algorithmische Geometrie · DG(P ) , Kreis durch p;q;r ist leer Kante pq ist in DG(P ), es gibt einen leeren Kreis C p;q durch p und q Satz 5: Sei P Punktmenge

Andreas Gemsa · Ubung Algorithmische Geometrie

Charakterisierung

Satz uber Voronoi-Diagramme:

Ein Punkt q ist ein Voronoi-Knoten⇔ |CP (q) ∩ P | ≥ 3,der Bisektor b(pi, pj) definiert eine Voronoi-Kante⇔ ∃q ∈ b(pi, pj) mit CP (q) ∩ P = {pi, pj}.

Satz 4: Sei P eine Menge von Punkten.Punkte p, q, r sind Knoten der gleichen Facette inDG(P ) ⇔ Kreis durch p, q, r ist leerKante pq ist in DG(P )⇔ es gibt einen leeren Kreis Cp,q durch p und q

Satz 5: Sei P Punktmenge und T eine Triangulierung von P .T ist Delaunay-Triangulierung⇔ Umkreis jedes Dreiecks ist im Inneren leer.

Page 9: Andreas Gemsa Ubung Algorithmische Geometrie · DG(P ) , Kreis durch p;q;r ist leer Kante pq ist in DG(P ), es gibt einen leeren Kreis C p;q durch p und q Satz 5: Sei P Punktmenge

Andreas Gemsa · Ubung Algorithmische Geometrie

Charakterisierung

Satz uber Voronoi-Diagramme:

Ein Punkt q ist ein Voronoi-Knoten⇔ |CP (q) ∩ P | ≥ 3,der Bisektor b(pi, pj) definiert eine Voronoi-Kante⇔ ∃q ∈ b(pi, pj) mit CP (q) ∩ P = {pi, pj}.

Satz 4: Sei P eine Menge von Punkten.Punkte p, q, r sind Knoten der gleichen Facette inDG(P ) ⇔ Kreis durch p, q, r ist leerKante pq ist in DG(P )⇔ es gibt einen leeren Kreis Cp,q durch p und q

Satz 5: Sei P Punktmenge und T eine Triangulierung von P .T ist Delaunay-Triangulierung⇔ Umkreis jedes Dreiecks ist im Inneren leer.

Page 10: Andreas Gemsa Ubung Algorithmische Geometrie · DG(P ) , Kreis durch p;q;r ist leer Kante pq ist in DG(P ), es gibt einen leeren Kreis C p;q durch p und q Satz 5: Sei P Punktmenge

Andreas Gemsa · Ubung Algorithmische Geometrie

Aufgabe 2

Kante pq ist in DG(P ) ⇔ es gibt einen leeren Kreis Cp,q durch p und q

Punktmenge P ⊂ R2, alle Punkte in allgemeiner Lage.

Außerdem q /∈ P aber in der konvexen Hulle von P .

pi

pj

pk

q

Page 11: Andreas Gemsa Ubung Algorithmische Geometrie · DG(P ) , Kreis durch p;q;r ist leer Kante pq ist in DG(P ), es gibt einen leeren Kreis C p;q durch p und q Satz 5: Sei P Punktmenge

Andreas Gemsa · Ubung Algorithmische Geometrie

Aufgabe 2

Kante pq ist in DG(P ) ⇔ es gibt einen leeren Kreis Cp,q durch p und q

Punktmenge P ⊂ R2, alle Punkte in allgemeiner Lage.

Außerdem q /∈ P aber in der konvexen Hulle von P .

pi

pj

pk

q

Page 12: Andreas Gemsa Ubung Algorithmische Geometrie · DG(P ) , Kreis durch p;q;r ist leer Kante pq ist in DG(P ), es gibt einen leeren Kreis C p;q durch p und q Satz 5: Sei P Punktmenge

Andreas Gemsa · Ubung Algorithmische Geometrie

Aufgabe 2

Kante pq ist in DG(P ) ⇔ es gibt einen leeren Kreis Cp,q durch p und q

Punktmenge P ⊂ R2, alle Punkte in allgemeiner Lage.

Außerdem q /∈ P aber in der konvexen Hulle von P .

pi

pj

pk

q

Page 13: Andreas Gemsa Ubung Algorithmische Geometrie · DG(P ) , Kreis durch p;q;r ist leer Kante pq ist in DG(P ), es gibt einen leeren Kreis C p;q durch p und q Satz 5: Sei P Punktmenge

Andreas Gemsa · Ubung Algorithmische Geometrie

Aufgabe 2

Kante pq ist in DG(P ) ⇔ es gibt einen leeren Kreis Cp,q durch p und q

Punktmenge P ⊂ R2, alle Punkte in allgemeiner Lage.

Außerdem q /∈ P aber in der konvexen Hulle von P .

pi

pj

pk

q

Page 14: Andreas Gemsa Ubung Algorithmische Geometrie · DG(P ) , Kreis durch p;q;r ist leer Kante pq ist in DG(P ), es gibt einen leeren Kreis C p;q durch p und q Satz 5: Sei P Punktmenge

Andreas Gemsa · Ubung Algorithmische Geometrie

Aufgabe 2

Kante pq ist in DG(P ) ⇔ es gibt einen leeren Kreis Cp,q durch p und q

Punktmenge P ⊂ R2, alle Punkte in allgemeiner Lage.

Außerdem q /∈ P aber in der konvexen Hulle von P .

pi

pj

pk

q

Page 15: Andreas Gemsa Ubung Algorithmische Geometrie · DG(P ) , Kreis durch p;q;r ist leer Kante pq ist in DG(P ), es gibt einen leeren Kreis C p;q durch p und q Satz 5: Sei P Punktmenge

Andreas Gemsa · Ubung Algorithmische Geometrie

Aufgabe 2

Kante pq ist in DG(P ) ⇔ es gibt einen leeren Kreis Cp,q durch p und q

Punktmenge P ⊂ R2, alle Punkte in allgemeiner Lage.

Außerdem q /∈ P aber in der konvexen Hulle von P .

pi

pj

pk

q

Page 16: Andreas Gemsa Ubung Algorithmische Geometrie · DG(P ) , Kreis durch p;q;r ist leer Kante pq ist in DG(P ), es gibt einen leeren Kreis C p;q durch p und q Satz 5: Sei P Punktmenge

Andreas Gemsa · Ubung Algorithmische Geometrie

Aufgabe 2

Kante pq ist in DG(P ) ⇔ es gibt einen leeren Kreis Cp,q durch p und q

Punktmenge P ⊂ R2, alle Punkte in allgemeiner Lage.

Außerdem q /∈ P aber in der konvexen Hulle von P .

pi

pj

pk

q

Page 17: Andreas Gemsa Ubung Algorithmische Geometrie · DG(P ) , Kreis durch p;q;r ist leer Kante pq ist in DG(P ), es gibt einen leeren Kreis C p;q durch p und q Satz 5: Sei P Punktmenge

Andreas Gemsa · Ubung Algorithmische Geometrie

Ubersicht

Evaluation

Ubungsblatt 9 - Delaunay Triangulierungen

Ubungsblatt 9 - Delaunay Triangulierungen

Page 18: Andreas Gemsa Ubung Algorithmische Geometrie · DG(P ) , Kreis durch p;q;r ist leer Kante pq ist in DG(P ), es gibt einen leeren Kreis C p;q durch p und q Satz 5: Sei P Punktmenge

Andreas Gemsa · Ubung Algorithmische Geometrie

Ubersicht

Evaluation

Ubungsblatt 9 - Delaunay Triangulierungen

Ubungsblatt 9 - Delaunay Triangulierungen

Page 19: Andreas Gemsa Ubung Algorithmische Geometrie · DG(P ) , Kreis durch p;q;r ist leer Kante pq ist in DG(P ), es gibt einen leeren Kreis C p;q durch p und q Satz 5: Sei P Punktmenge

Andreas Gemsa · Ubung Algorithmische Geometrie

Aufgabe 3

Euklidischer Minimaler Spannbaum

Page 20: Andreas Gemsa Ubung Algorithmische Geometrie · DG(P ) , Kreis durch p;q;r ist leer Kante pq ist in DG(P ), es gibt einen leeren Kreis C p;q durch p und q Satz 5: Sei P Punktmenge

Andreas Gemsa · Ubung Algorithmische Geometrie

Aufgabe 3

Euklidischer Minimaler Spannbaum

Page 21: Andreas Gemsa Ubung Algorithmische Geometrie · DG(P ) , Kreis durch p;q;r ist leer Kante pq ist in DG(P ), es gibt einen leeren Kreis C p;q durch p und q Satz 5: Sei P Punktmenge

Andreas Gemsa · Ubung Algorithmische Geometrie

Aufgabe 3

Euklidischer Minimaler Spannbaum

Page 22: Andreas Gemsa Ubung Algorithmische Geometrie · DG(P ) , Kreis durch p;q;r ist leer Kante pq ist in DG(P ), es gibt einen leeren Kreis C p;q durch p und q Satz 5: Sei P Punktmenge

Andreas Gemsa · Ubung Algorithmische Geometrie

Aufgabe 3

Euklidischer Minimaler Spannbaum

Page 23: Andreas Gemsa Ubung Algorithmische Geometrie · DG(P ) , Kreis durch p;q;r ist leer Kante pq ist in DG(P ), es gibt einen leeren Kreis C p;q durch p und q Satz 5: Sei P Punktmenge

Andreas Gemsa · Ubung Algorithmische Geometrie

Aufgabe 3

Euklidischer Minimaler Spannbaum

Page 24: Andreas Gemsa Ubung Algorithmische Geometrie · DG(P ) , Kreis durch p;q;r ist leer Kante pq ist in DG(P ), es gibt einen leeren Kreis C p;q durch p und q Satz 5: Sei P Punktmenge

Andreas Gemsa · Ubung Algorithmische Geometrie

Aufgabe 3

Euklidischer Minimaler Spannbaum

Page 25: Andreas Gemsa Ubung Algorithmische Geometrie · DG(P ) , Kreis durch p;q;r ist leer Kante pq ist in DG(P ), es gibt einen leeren Kreis C p;q durch p und q Satz 5: Sei P Punktmenge

Andreas Gemsa · Ubung Algorithmische Geometrie

Aufgabe 3

Euklidischer Minimaler Spannbaum

Zeige, dass Kanten aus EMST Teilmenge der Kanten aus Delaunay-Graph

Page 26: Andreas Gemsa Ubung Algorithmische Geometrie · DG(P ) , Kreis durch p;q;r ist leer Kante pq ist in DG(P ), es gibt einen leeren Kreis C p;q durch p und q Satz 5: Sei P Punktmenge

Andreas Gemsa · Ubung Algorithmische Geometrie

Charakterisierung

Satz uber Voronoi-Diagramme:

Ein Punkt q ist ein Voronoi-Knoten⇔ |CP (q) ∩ P | ≥ 3,der Bisektor b(pi, pj) definiert eine Voronoi-Kante⇔ ∃q ∈ b(pi, pj) mit CP (q) ∩ P = {pi, pj}.

Satz 4: Sei P eine Menge von Punkten.Punkte p, q, r sind Knoten der gleichen Facette inDG(P ) ⇔ Kreis durch p, q, r ist leerKante pq ist in DG(P )⇔ es gibt einen leeren Kreis Cp,q durch p und q

Satz 5: Sei P Punktmenge und T eine Triangulierung von P .T ist Delaunay-Triangulierung⇔ Umkreis jedes Dreiecks ist im Inneren leer.

Page 27: Andreas Gemsa Ubung Algorithmische Geometrie · DG(P ) , Kreis durch p;q;r ist leer Kante pq ist in DG(P ), es gibt einen leeren Kreis C p;q durch p und q Satz 5: Sei P Punktmenge

Andreas Gemsa · Ubung Algorithmische Geometrie

Aufgabe 3

uv

Kante pq ist in DG(P ) ⇔ es gibt einen leeren Kreis Cp,q durch p und q

Page 28: Andreas Gemsa Ubung Algorithmische Geometrie · DG(P ) , Kreis durch p;q;r ist leer Kante pq ist in DG(P ), es gibt einen leeren Kreis C p;q durch p und q Satz 5: Sei P Punktmenge

Andreas Gemsa · Ubung Algorithmische Geometrie

Aufgabe 3

uv

w

Kante pq ist in DG(P ) ⇔ es gibt einen leeren Kreis Cp,q durch p und q

Page 29: Andreas Gemsa Ubung Algorithmische Geometrie · DG(P ) , Kreis durch p;q;r ist leer Kante pq ist in DG(P ), es gibt einen leeren Kreis C p;q durch p und q Satz 5: Sei P Punktmenge

Andreas Gemsa · Ubung Algorithmische Geometrie

Aufgabe 3

uv

w

Kante pq ist in DG(P ) ⇔ es gibt einen leeren Kreis Cp,q durch p und q

Page 30: Andreas Gemsa Ubung Algorithmische Geometrie · DG(P ) , Kreis durch p;q;r ist leer Kante pq ist in DG(P ), es gibt einen leeren Kreis C p;q durch p und q Satz 5: Sei P Punktmenge

Andreas Gemsa · Ubung Algorithmische Geometrie

Aufgabe 3

uv

w

Kante pq ist in DG(P ) ⇔ es gibt einen leeren Kreis Cp,q durch p und q

Page 31: Andreas Gemsa Ubung Algorithmische Geometrie · DG(P ) , Kreis durch p;q;r ist leer Kante pq ist in DG(P ), es gibt einen leeren Kreis C p;q durch p und q Satz 5: Sei P Punktmenge

Andreas Gemsa · Ubung Algorithmische Geometrie

Aufgabe 3

uv

w

Kante pq ist in DG(P ) ⇔ es gibt einen leeren Kreis Cp,q durch p und q

Page 32: Andreas Gemsa Ubung Algorithmische Geometrie · DG(P ) , Kreis durch p;q;r ist leer Kante pq ist in DG(P ), es gibt einen leeren Kreis C p;q durch p und q Satz 5: Sei P Punktmenge

Andreas Gemsa · Ubung Algorithmische Geometrie

Aufgabe 3

uv

w

Kante pq ist in DG(P ) ⇔ es gibt einen leeren Kreis Cp,q durch p und q

|uw| < |uv|

Page 33: Andreas Gemsa Ubung Algorithmische Geometrie · DG(P ) , Kreis durch p;q;r ist leer Kante pq ist in DG(P ), es gibt einen leeren Kreis C p;q durch p und q Satz 5: Sei P Punktmenge

Andreas Gemsa · Ubung Algorithmische Geometrie

Aufgabe 3

uv

w

Kante pq ist in DG(P ) ⇔ es gibt einen leeren Kreis Cp,q durch p und q

|uw| < |uv|

Page 34: Andreas Gemsa Ubung Algorithmische Geometrie · DG(P ) , Kreis durch p;q;r ist leer Kante pq ist in DG(P ), es gibt einen leeren Kreis C p;q durch p und q Satz 5: Sei P Punktmenge

Andreas Gemsa · Ubung Algorithmische Geometrie

Aufgabe 3

Euklidischer Minimaler Spannbaum

Berechnung von EMST in O(n log n)?

Page 35: Andreas Gemsa Ubung Algorithmische Geometrie · DG(P ) , Kreis durch p;q;r ist leer Kante pq ist in DG(P ), es gibt einen leeren Kreis C p;q durch p und q Satz 5: Sei P Punktmenge

Andreas Gemsa · Ubung Algorithmische Geometrie

Aufgabe 4

Gabriel Graph: p, q mit Kante verbunden, wenn Kreis Cp,q leer ist.

Page 36: Andreas Gemsa Ubung Algorithmische Geometrie · DG(P ) , Kreis durch p;q;r ist leer Kante pq ist in DG(P ), es gibt einen leeren Kreis C p;q durch p und q Satz 5: Sei P Punktmenge

Andreas Gemsa · Ubung Algorithmische Geometrie

Aufgabe 4

Gabriel Graph: p, q mit Kante verbunden, wenn Kreis Cp,q leer ist.

p q

Page 37: Andreas Gemsa Ubung Algorithmische Geometrie · DG(P ) , Kreis durch p;q;r ist leer Kante pq ist in DG(P ), es gibt einen leeren Kreis C p;q durch p und q Satz 5: Sei P Punktmenge

Andreas Gemsa · Ubung Algorithmische Geometrie

Aufgabe 4

Gabriel Graph: p, q mit Kante verbunden, wenn Kreis Cp,q leer ist.

p q

Page 38: Andreas Gemsa Ubung Algorithmische Geometrie · DG(P ) , Kreis durch p;q;r ist leer Kante pq ist in DG(P ), es gibt einen leeren Kreis C p;q durch p und q Satz 5: Sei P Punktmenge

Andreas Gemsa · Ubung Algorithmische Geometrie

Aufgabe 4

Gabriel Graph: p, q mit Kante verbunden, wenn Kreis Cp,q leer ist.

p qp q`

Page 39: Andreas Gemsa Ubung Algorithmische Geometrie · DG(P ) , Kreis durch p;q;r ist leer Kante pq ist in DG(P ), es gibt einen leeren Kreis C p;q durch p und q Satz 5: Sei P Punktmenge

Andreas Gemsa · Ubung Algorithmische Geometrie

Aufgabe 4

Gabriel Graph: p, q mit Kante verbunden, wenn Kreis Cp,q leer ist.

p qp q`

Page 40: Andreas Gemsa Ubung Algorithmische Geometrie · DG(P ) , Kreis durch p;q;r ist leer Kante pq ist in DG(P ), es gibt einen leeren Kreis C p;q durch p und q Satz 5: Sei P Punktmenge

Andreas Gemsa · Ubung Algorithmische Geometrie

Aufgabe 4

Gabriel Graph: p, q mit Kante verbunden, wenn Kreis Cp,q leer ist.

p qp q`

a) Zeige, dass Delaunay Triangulierung von P den Gabriel Graph von Penthalt.

Page 41: Andreas Gemsa Ubung Algorithmische Geometrie · DG(P ) , Kreis durch p;q;r ist leer Kante pq ist in DG(P ), es gibt einen leeren Kreis C p;q durch p und q Satz 5: Sei P Punktmenge

Andreas Gemsa · Ubung Algorithmische Geometrie

Charakterisierung

Satz uber Voronoi-Diagramme:

Ein Punkt q ist ein Voronoi-Knoten⇔ |CP (q) ∩ P | ≥ 3,der Bisektor b(pi, pj) definiert eine Voronoi-Kante⇔ ∃q ∈ b(pi, pj) mit CP (q) ∩ P = {pi, pj}.

Satz 4: Sei P eine Menge von Punkten.Punkte p, q, r sind Knoten der gleichen Facette inDG(P ) ⇔ Kreis durch p, q, r ist leerKante pq ist in DG(P )⇔ es gibt einen leeren Kreis Cp,q durch p und q

Satz 5: Sei P Punktmenge und T eine Triangulierung von P .T ist Delaunay-Triangulierung⇔ Umkreis jedes Dreiecks ist im Inneren leer.

Page 42: Andreas Gemsa Ubung Algorithmische Geometrie · DG(P ) , Kreis durch p;q;r ist leer Kante pq ist in DG(P ), es gibt einen leeren Kreis C p;q durch p und q Satz 5: Sei P Punktmenge

Andreas Gemsa · Ubung Algorithmische Geometrie

Charakterisierung

Satz uber Voronoi-Diagramme:

Ein Punkt q ist ein Voronoi-Knoten⇔ |CP (q) ∩ P | ≥ 3,der Bisektor b(pi, pj) definiert eine Voronoi-Kante⇔ ∃q ∈ b(pi, pj) mit CP (q) ∩ P = {pi, pj}.

Satz 4: Sei P eine Menge von Punkten.Punkte p, q, r sind Knoten der gleichen Facette inDG(P ) ⇔ Kreis durch p, q, r ist leerKante pq ist in DG(P )⇔ es gibt einen leeren Kreis Cp,q durch p und q

Satz 5: Sei P Punktmenge und T eine Triangulierung von P .T ist Delaunay-Triangulierung⇔ Umkreis jedes Dreiecks ist im Inneren leer.

Page 43: Andreas Gemsa Ubung Algorithmische Geometrie · DG(P ) , Kreis durch p;q;r ist leer Kante pq ist in DG(P ), es gibt einen leeren Kreis C p;q durch p und q Satz 5: Sei P Punktmenge

Andreas Gemsa · Ubung Algorithmische Geometrie

Aufgabe 4

Gabriel Graph: p, q mit Kante verbunden, wenn Kreis Cp,q leer ist.

p qp q`

a) Zeige, dass Delaunay Triangulierung von P den Gabriel Graph von Penthalt.

Kante pq ist in DG(P ) ⇔ es gibt einen leeren Kreis Cp,q durch p und q

Page 44: Andreas Gemsa Ubung Algorithmische Geometrie · DG(P ) , Kreis durch p;q;r ist leer Kante pq ist in DG(P ), es gibt einen leeren Kreis C p;q durch p und q Satz 5: Sei P Punktmenge

Andreas Gemsa · Ubung Algorithmische Geometrie

Aufgabe 4

Gabriel Graph: p, q mit Kante verbunden, wenn Kreis Cp,q leer ist.

p qp q`

a) Zeige, dass Delaunay Triangulierung von P den Gabriel Graph von Penthalt.

Kante pq ist in DG(P ) ⇔ es gibt einen leeren Kreis Cp,q durch p und q

b) Zeige, dass p und q genau dann im Gabriel-Graph von P adjazent sind,wenn die Delaunay Kante zwischen p und q die zu ihr dualeVoronoi-Kante schneidet.

Page 45: Andreas Gemsa Ubung Algorithmische Geometrie · DG(P ) , Kreis durch p;q;r ist leer Kante pq ist in DG(P ), es gibt einen leeren Kreis C p;q durch p und q Satz 5: Sei P Punktmenge

Andreas Gemsa · Ubung Algorithmische Geometrie

Aufgabe 4

Gabriel Graph: p, q mit Kante verbunden, wenn Kreis Cp,q leer ist.

p qp q`

a) Zeige, dass Delaunay Triangulierung von P den Gabriel Graph von Penthalt.

Kante pq ist in DG(P ) ⇔ es gibt einen leeren Kreis Cp,q durch p und q

b) Zeige, dass p und q genau dann im Gabriel-Graph von P adjazent sind,wenn die Delaunay Kante zwischen p und q die zu ihr dualeVoronoi-Kante schneidet.

Page 46: Andreas Gemsa Ubung Algorithmische Geometrie · DG(P ) , Kreis durch p;q;r ist leer Kante pq ist in DG(P ), es gibt einen leeren Kreis C p;q durch p und q Satz 5: Sei P Punktmenge

Andreas Gemsa · Ubung Algorithmische Geometrie

Aufgabe 4

Page 47: Andreas Gemsa Ubung Algorithmische Geometrie · DG(P ) , Kreis durch p;q;r ist leer Kante pq ist in DG(P ), es gibt einen leeren Kreis C p;q durch p und q Satz 5: Sei P Punktmenge

Andreas Gemsa · Ubung Algorithmische Geometrie

Aufgabe 4

Page 48: Andreas Gemsa Ubung Algorithmische Geometrie · DG(P ) , Kreis durch p;q;r ist leer Kante pq ist in DG(P ), es gibt einen leeren Kreis C p;q durch p und q Satz 5: Sei P Punktmenge

Andreas Gemsa · Ubung Algorithmische Geometrie

Aufgabe 4

Page 49: Andreas Gemsa Ubung Algorithmische Geometrie · DG(P ) , Kreis durch p;q;r ist leer Kante pq ist in DG(P ), es gibt einen leeren Kreis C p;q durch p und q Satz 5: Sei P Punktmenge

Andreas Gemsa · Ubung Algorithmische Geometrie

Aufgabe 4

u

v

uv im Gabriel Graph

Page 50: Andreas Gemsa Ubung Algorithmische Geometrie · DG(P ) , Kreis durch p;q;r ist leer Kante pq ist in DG(P ), es gibt einen leeren Kreis C p;q durch p und q Satz 5: Sei P Punktmenge

Andreas Gemsa · Ubung Algorithmische Geometrie

Aufgabe 4

u

v

uv im Gabriel Graph

o

Page 51: Andreas Gemsa Ubung Algorithmische Geometrie · DG(P ) , Kreis durch p;q;r ist leer Kante pq ist in DG(P ), es gibt einen leeren Kreis C p;q durch p und q Satz 5: Sei P Punktmenge

Andreas Gemsa · Ubung Algorithmische Geometrie

Aufgabe 4

u

v

uv im Gabriel Graph

o

o naher zu u, v als zu den anderen Punkten aus P

Page 52: Andreas Gemsa Ubung Algorithmische Geometrie · DG(P ) , Kreis durch p;q;r ist leer Kante pq ist in DG(P ), es gibt einen leeren Kreis C p;q durch p und q Satz 5: Sei P Punktmenge

Andreas Gemsa · Ubung Algorithmische Geometrie

Aufgabe 4

u

v

uv im Gabriel Graph

o

o naher zu u, v als zu den anderen Punkten aus P⇒ o liegt auf Voronoi-Kante welche Voronoi-Zellen von q und p begrenzt

u

vo

Page 53: Andreas Gemsa Ubung Algorithmische Geometrie · DG(P ) , Kreis durch p;q;r ist leer Kante pq ist in DG(P ), es gibt einen leeren Kreis C p;q durch p und q Satz 5: Sei P Punktmenge

Andreas Gemsa · Ubung Algorithmische Geometrie

Aufgabe 4

uv schneidet duale Voronoi-Kante

u

v

Page 54: Andreas Gemsa Ubung Algorithmische Geometrie · DG(P ) , Kreis durch p;q;r ist leer Kante pq ist in DG(P ), es gibt einen leeren Kreis C p;q durch p und q Satz 5: Sei P Punktmenge

Andreas Gemsa · Ubung Algorithmische Geometrie

Aufgabe 4

uv schneidet duale Voronoi-Kante

u

v

o

Page 55: Andreas Gemsa Ubung Algorithmische Geometrie · DG(P ) , Kreis durch p;q;r ist leer Kante pq ist in DG(P ), es gibt einen leeren Kreis C p;q durch p und q Satz 5: Sei P Punktmenge

Andreas Gemsa · Ubung Algorithmische Geometrie

Aufgabe 4

uv schneidet duale Voronoi-Kante

u

vo

Page 56: Andreas Gemsa Ubung Algorithmische Geometrie · DG(P ) , Kreis durch p;q;r ist leer Kante pq ist in DG(P ), es gibt einen leeren Kreis C p;q durch p und q Satz 5: Sei P Punktmenge

Andreas Gemsa · Ubung Algorithmische Geometrie

Aufgabe 4

uv schneidet duale Voronoi-Kante

u

vo

Page 57: Andreas Gemsa Ubung Algorithmische Geometrie · DG(P ) , Kreis durch p;q;r ist leer Kante pq ist in DG(P ), es gibt einen leeren Kreis C p;q durch p und q Satz 5: Sei P Punktmenge

Andreas Gemsa · Ubung Algorithmische Geometrie

Aufgabe 4

uv schneidet duale Voronoi-Kante

u

vo

Angenommen Punkt r in C.

Page 58: Andreas Gemsa Ubung Algorithmische Geometrie · DG(P ) , Kreis durch p;q;r ist leer Kante pq ist in DG(P ), es gibt einen leeren Kreis C p;q durch p und q Satz 5: Sei P Punktmenge

Andreas Gemsa · Ubung Algorithmische Geometrie

Aufgabe 4

uv schneidet duale Voronoi-Kante

u

vo

Angenommen Punkt r in C.

r

Page 59: Andreas Gemsa Ubung Algorithmische Geometrie · DG(P ) , Kreis durch p;q;r ist leer Kante pq ist in DG(P ), es gibt einen leeren Kreis C p;q durch p und q Satz 5: Sei P Punktmenge

Andreas Gemsa · Ubung Algorithmische Geometrie

Aufgabe 4

uv schneidet duale Voronoi-Kante

u

vo

Angenommen Punkt r in C.

r

⇒ Distanz zw. o und r kleiner als |ou| (|ov|)⇒ Widerspruch zur Annahme, dass o auf Voronoi-Kante

Page 60: Andreas Gemsa Ubung Algorithmische Geometrie · DG(P ) , Kreis durch p;q;r ist leer Kante pq ist in DG(P ), es gibt einen leeren Kreis C p;q durch p und q Satz 5: Sei P Punktmenge

Andreas Gemsa · Ubung Algorithmische Geometrie

Aufgabe 4

Gabriel Graph: p, q mit Kante verbunden, wenn Kreis Cp,q leer ist.

p qp q`

a) Zeige, dass Delaunay Triangulierung von P den Gabriel Graph von Penthalt.

b) Zeige, dass p und q genau dann im Gabriel-Graph von P adjazent sind,wenn die Delaunay Kante zwischen p und q die zu ihr dualeVoronoi-Kante schneidet.

Page 61: Andreas Gemsa Ubung Algorithmische Geometrie · DG(P ) , Kreis durch p;q;r ist leer Kante pq ist in DG(P ), es gibt einen leeren Kreis C p;q durch p und q Satz 5: Sei P Punktmenge

Andreas Gemsa · Ubung Algorithmische Geometrie

Aufgabe 4

Gabriel Graph: p, q mit Kante verbunden, wenn Kreis Cp,q leer ist.

p qp q`

a) Zeige, dass Delaunay Triangulierung von P den Gabriel Graph von Penthalt.

b) Zeige, dass p und q genau dann im Gabriel-Graph von P adjazent sind,wenn die Delaunay Kante zwischen p und q die zu ihr dualeVoronoi-Kante schneidet.

c) O(n log n) Algorithmus der Gabriel-Graph berechnet?

Page 62: Andreas Gemsa Ubung Algorithmische Geometrie · DG(P ) , Kreis durch p;q;r ist leer Kante pq ist in DG(P ), es gibt einen leeren Kreis C p;q durch p und q Satz 5: Sei P Punktmenge

Andreas Gemsa · Ubung Algorithmische Geometrie

Das war’s!

Nachster Termin:Donnertag, 30.06, 09:45 Uhr

Raum 131, Gebaude 50.34

Achtung!