如果一个有向图不存在（），则该图的全部顶点可以排列成一个拓扑序列。