Graph-theoretic algorithms
