• Keine Ergebnisse gefunden

D.Schlesinger–TUD/INF/KI/IS Mustererkennung:Graphentheorie

N/A
N/A
Protected

Academic year: 2022

Aktie "D.Schlesinger–TUD/INF/KI/IS Mustererkennung:Graphentheorie"

Copied!
9
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

Mustererkennung: Graphentheorie

D. Schlesinger – TUD/INF/KI/IS

(2)

Definitionen

EinGraphist ein PaarG= (V,E) mit der Menge derKnotenVund

der Menge derKanten:

GerichteteKanten –EV×V – Teilmenge beliebiger (geordneter) Paare.

Ungerichtete KantenE⊂ {e={v,v0}:v,v0V}– Teilmenge der zweielementigen Teilmengen ausV,

keine Schlingen (d.h. (v,v)) und keine doppelte Kanten (d.h. (v,v0) und (v0,v)).

EinTeilgraphG0= (V0,E0) eines GraphenG= (V,E) ist ein Graph mitV0Vund E0E(und natürlichveE0vV0).

EineKette ist ein Graph (mit endlich vielen Knoten), in dem jeder Knoten (bis auf zwei) genau zwei inzidenten Kanten hat.

Ein (einfacher)Pfadin einem GraphenGist ein Teilgraph vonG, der eine Kette ist.

Vereinfacht: eine Folge der Knoten (v1,v2. . .vl) mit{vi,vi+1} ∈E

Ein Graph heißtzusammenhängend, wenn für alle Paarevundv0ein Pfad vonvnach v0existiert.

EinZyklusist ein Graph, in dem alle Knoten genau zwei inzidenten Kanten haben.

Ein Graph ohne Zyklen (kein Teilgraph ist ein Zyklus) heißtWald.

Ist der Graph zusammenhängend, so ist er einBaum.

(3)

Kürzeste Pfade

GewichteteGraphen: Gegeben ist eine Abbildungw:E→R, d.h. jeder Kante ist ein Gewichtw(e) =w({r,r0}) zugeordnet.

DieKosteneines Pfades ergeben sich als die Summe der Gewichte aller Kanten in dem Pfad.

DerkürzestePfad vonvnachv0ist der Pfad minimaler Kosten (heißt auch Abstandd(v,v0)).

Drei Aufgaben:

a) Man such nach dem kürzesten Pfad vonvnachv0

b) Man suche nach den kürzesten Pfaden vonvnach allen anderen Knoten c) Man suche nach allen kürzesten Pfaden – Abstandsmatrixd(v,v0).

Paar Eigenschaften:

– Ist ein Pfad der kürzeste Pfad, so ist jeder zusammenhängender Teilgraph davon auch ein kürzester Pfad.

– Vereinigung aller kürzesten Pfade zu einem Knoten (Aufgabe b)) bilden einen Baum.

(4)

Kürzeste Pfade – Anwendungsbeispiel

„Geodesics“.

Die Knoten sind Pixel. Kanten verbinden nah liegende Pixel.

Die Kantengewichte berücksichtigen z.B. Farbdifferenz und Euklidische Länge

Die kürzesten Pfade von allen Pixeln zu einem (vom Nutzer gegebenem) werden berechnet.

Die Pixel werden als Vordergrund markiert, für die die Kosten des entsprechenden kür- zesten Pfades kleiner als ein Schwellwert ist.

(5)

Algorithmus von Dijkstra

Gesuch wird nach den kürzesten Pfaden von einem ausgewählten Knotenv0 zu allen anderen.

HilfsmengeU:

Ist ein Knoten inV/U, so ist der kürzeste Pfad vonv0zu diesem Knoten bereits berechnet.

Ist ein Knotenvnoch inU, so bedeutetd(v) die Kosten des kürzesten Pfades von v0nachvnur über Knoten inU/V.

1. SetzeU=V,d(v0) = 0,d(v) =∞für allevV/{v0}. 2. FallsU=∅, dann STOP. Sonst weiter mit 3.

3. Finde einuU, fur dasd(u) minimal ist.

4. Für allevUmit{u,v} ∈Esetzed(v) = min d(v),d(u) +w(u,v)

. 5. SetzeU=U/{u}. Gehe zu 2.

Zeitkomplexität:O(n2logn)

Alternative: Wiederhole oft für allev:

d(v) = min

d(v), min

v0:vv0∈Ed(v0) +w(v,v0)

(6)

Schnitte

Betrachtet werden normalerweise nur zusammenhängende Graphen.

In der Menge der Knoten sind zwei ausgezeichnet –s(Quelle) undt (Empfänger).

Einst-Schnittist eine Teilmenge der KantenCEso, dass im Graphen (V,E/C):

a) keinen Pfad vonsnachtexistiert

b) die MengeC ist nicht reduzierbar, d.h. ein Pfad vonsnachtwürde existieren, falls eine beliebige Kante vonC entfernt wird.

In einem gewichteten Graphen sind die Kosten eines Schnittes die Summe aller Kanten- gewichte des Schnitts.

Gesucht wird nach dem Schnitt minimaler Kosten.

Sind alle Kantengewichte nicht negativ, ist die Aufgabe polynomiell lösbar (die Forderung b) ist redundant). Im allgemeinen Fall ist sie NP-vollständig.

Alternativ: Gesucht wird nach der Partitionierung der Menge der Knoten in zwei Teil- mengenS undT (d.h.ST=∅,ST=V) mitsSundtT so, dass

X

vv0:v∈S,s0∈T

w(v,v0)→min

S,T

(7)

Diskrete Energieminimierung als minimaler Schnitt

r1 r2 r3 r4 r5

v1

s

v5

t

qr5(1) qr5(0)

qr5(0) α

α

Potts Modell mit zwei Label:

E(y) =

X

r∈R

qr(yr) +α

X

rr0∈ER

1I(yr6=yr0)

Der Graph für Schnitt Aufgabe:

G= (V,ES) mit V=R∪ {s} ∪ {t}, ES=ER∪ {s,v} ∪ {v,t}

w(s,v) =qr(0),w(v,t) =qr(1), w(v,v0) =α

Jeder Schnitt entspricht einem Labelling.

Die Kosten sind die Energien.

Beliebige diskrete Aufgaben der Energieminimierung (auch mit mehreren Labeln) lassen sich als Aufgaben des minimalen Schnittes formulieren.

Ist die ursprüngliche Aufgabe submodular, so sind alle Kantengewichte nicht negativ

→polynomiell lösbar.

(8)

Flüsse

EinFlussist eine Abbildungx:V×V→R, d.h. jeder gerichteten Kante (v,v0) ist eine Zahlx(v,v0) zugeordnet (die Menge der Kanten wird verdoppelt). Dabei gilt:

X

v0:vv0∈E

x(v0,v) =

X

v0:vv0∈E

x(v,v0)

für allev, d.h. „wieviel in einen Knoten einfließt, genauso viel muss ausfließen“.

Weiterhin hat jede gerichtete Kante eine Kapazität c(v,v0) – vieviel darf durch die Kante maximal durchfließen.

Zwei Knotensundtsind ausgezeichnet. Die Aufgabe besteht in der Suche nach maximalen Fluss vontnachs:

x(t,s)→max

x

s.t.

X

v0:vv0∈E

x(v0,v) =

X

v0:vv0∈E

x(v,v0) ∀v

x(v,v0)≤c(v,v0) ∀v,v0

(9)

Schnitte und Flüsse

Sind die Kapazitätenc(v,v0) gleich den (nicht negativen) Kantengewichten w(v,v0), so sind die entsprechenden Schnitt und Fluss Aufgaben zu einanderdual.

– Der Werte des minimalen Schnittes und des maximalen Flusses sind gleich.

– Aus der Lösung der Fluss-Aufgabe (der maximale Flussxd.h. alle entsprechenden x(v,v0)) kann man den minimalen SchnittCberechnen.

Algorithmus von Ford und Fulkerson→Seminar.

Empfehlenswert:

http://www2.inf.fh-rhein-sieg.de/∼pbecke2m/graphentheorie/

Referenzen

ÄHNLICHE DOKUMENTE

Das Abtasttheorem besagt, dass ein kontinuierliches, bandbegrenztes Signal, mit einer Minimalfrequenz von 0 Hz und einer Maximalfrequenz f max , mit einer Frequenz größer als 2 · f

Die Kantenbewertung – Farbdifferenz Die kürzesten Wege von allen Pixeln zu einem (vom Nutzer gegebenem) bilden einen Baum (effizient berechenbar). Die Längen werden mit

Transformiere die Daten linear so, dass die Komponenten der transformierte Zufallsgröße so wenig von einander abhängen, wie möglich.. Als Maß

Viele Ebenen (Bildschirme) werden auf eine abgebildet.... , Gesucht werden

– Ist mindestens ein gewürfelten Punkt schlecht, fällt die Hypothese komplett durch Man darf eine gute Hypothese verpassen, dafür spart man Zeit (die schlechten Hypothesen

„Ten Lectures on Statistical and Structural Pattern Recognition“. (insbesondere statistische ME) – im Laufe – Papers

●  Ein Knoten D dominiert einen Knoten N, wenn D auf allen Pfaden vom Startknoten zu N liegt.!. ●  Ein Knoten D ist der direkte Dominator von

Die Standards beschreiben auf unterschiedlichen Niveaustufen, welche Kompetenzen Schülerinnen und Schüler im Laufe ihrer Schulzeit im Fachunterricht erwerben, je nachdem,