13
9
MSO
•
For an undirected graph G:
s, t are connected
,
G
²
F
•
•
Hence
Undirected-Reachability
2
9
MSO