Information Technology Reference
In-Depth Information
A
B
C
D
E
F
G
J
H
I
K
L
M
Abbildung 23.18: Graph für Beispiel 23.8.
Pfad 1:
blockiert
K
,
M
/
Z
Pfad 2:
aktiv
B
,
E
,
I
/
Z
Pfad 3:
blockiert
E
,
I
/
Z
D
G
L
|
•
Z
= {
E
}
Pfad 1:
blockiert
K
,
M
/
Z
Pfad 2:
blockiert
E
Z
Pfad 3:
aktiv
E
Z
D
G
L
|
E
•
Z
= {
E
,
J
}
Pfad 1:
blockiert
K
,
M
/
Z
E
Z
Pfad 2:
blockiert
J
Z
Pfad 3:
blockiert
D
G
L
|
E
,
J
Es ist zu beachten, dass die u-Separation imGegensatz zur d-Separationmonoton
ist. Wenn eine Menge
Z
zwei Knotenmengen
X
und
Y
u-separiert, dann werden
X
und
Y
auch von allen Obermengen von
Z
u-separiert oder formal:
X
Y
|
Z
X
Y
|
Z
W
,
(23.2)
wobei
W
eine vierte disjunkte Knotenmenge ist. Dies ist unmittelbar klar, da Pfade
nur durch Knoten in
Z
blockiert werden können. Ein Hinzufügen von weiteren Kno-
ten kann lediglich weitere Pfade blockieren, aber nie einen vormals blockierten Pfad