acyclic digraph