digraph search