在一个有向图的拓扑序列中，若顶点a在顶点b之前，则图中必有一条弧。