Graph algorithms
CREATED: 200701060654
Undirected connectivity in log-space
O(sqrt(|V|)E) for matching by running BFS on all free vertices in parallel
MST in O(n)?
Alternative path - start and end in free vertex
Augmenting path - score of unmatch > match
Planar graph iff contains K_5 or K_(3,3)
A^k[i,j] is number of walks from v_i to v_j