所有连通的有向图都可以实现拓扑排序

对同一个图而言，拓扑排序的结构是唯一的

拓扑排序中入度为 $0$ 的结点总会排在入度大于0的结点的前面

拓扑排序结果序列中的第一个结点一定是入度等于 $0$ 的点