Inclusion-exclusion principle
DFS twice
Find patterns
Descartes' theorem