如果有向图的所有顶点可以构成一个拓扑排序，则说明该有向图存在回路