20
Fagin’s Theorem and P
¹
NP
•
Theorem
Monadic NP
¹
Monadic coNP
•
•
Proof
.
•
Step 1: Graph connectivity is in
8
MSO
•
Step 2: Graph connectivity is not in
9
MSO