+ digraph bfs
+ digraph topological order sketch