Strongly Connected Components
2-SAT (e-maxx.ru)
DONE: scc, 2-sat
+simple graph algos