Kapitel 5.4 - CES

Intervallgraph eines Pfades 5.4-11
Beispiel - Interval Graph für einen Pfad 5.4-12
IG G’ ( p) = ( V IGG’ ( p) , R)
V IGG’
( p) = c( p) ∪ { v ∈ V|
∃v'
· ,( v' , v)
∈ L}
das sind alle ’constraints’ auf dem Pfad p und die Endknoten der
Schleifenabbruchs-Kante
branch
1
2
3
4
( c i , c j ) ∈ R ⇔ overlap( c i , c j ) ∧ ( c i , c j ∈ V IGG’ ( p)
)
–(8)
5
6
Constraint 1
overlap ist ein Prädikat über zwei Pfade und ist definiert wie folgt :
ire
7
8
Constraint 2
overlap ([
],
p) = false
overlap( v::g,
p) = mem( v,
p) ∨ overlap( g,
p)
– (9)
9
10
Constraint 1 Constraint 2
mem ist ein Prädikat, welches das Enthaltensein eines Knotens in
einem Pfad überprüft
1
2
2
mem( v , [ ]) = false
mem( v,
v'::p) = ( v = v' ) ∨ mem( v,
p)
–(10)
5
3
4
1
2
3
3
1
6
7
8
4
5
4 5
9
10
Constraints und Intervallgraph fur ein anderes Beispiel