得到有向无环图，即树状图。是每两个顶点最多被一条路径所连接的有向无环图。等价的说，它是满足以下性质的一个有向无环图：对于图中每个顶点，从可达的顶点组成一颗树。
相关计算问题.
拓扑排序和识别.可以用线性时间复杂度的卡恩算法来找到一个有向无环图的拓扑排序。简单来说，开设一个存放结果的列表，先将入度为零的节点放到中，因为这些节点没有任何的父节点。将与这些节点相连的边从图中去掉，再寻找图中入度为零的节点。对于新找到的节点来说，他们的父节点已经都在中了，所以也可以从