14
9
MSO
•
For an undirected graph G:
s, t are connected
,
G
²
F
•
•
But this fails for directed graphs:
•
•
•
Which direction fails ?
s
t