acyclic digraphs