图论基本结论及定理

• （1）入度为 0 的含义，未被指向，在 DAG 中即为不依赖其他任何节点；

DAG 与拓扑排序

• （1）拓扑排序并不唯一

• （2）不含回路的有向图（有向无环图）——一定存在拓扑排序。

  有向无环图对应于偏序关系，而拓扑排序则对应于全序关系，在顶点数目有限时，与任一偏序相容的全序必然存在。

DAG 的应用

• （1）各操作系统包管理工具在解决包依赖关系时，将其抽象为一幅 DAG；

  如果不是无环图，而是有环图，则意味着循环依赖，显然这是不可能发生的；使用DAG（有向无环图）表示软件安装时的依赖关系，而不是使用一个有环图，意味着软件的安装不可能存在循环依赖。或者反过来说，正是软件安装时不存在循环依赖关系，才得以使用 DAG 对之进行表示。

• （2）面向对象的继承关系，继承显然不会形成环路；