展开 若某有向图存在环路,则该有向图一定不存在拓扑排序