有向图G存在拓扑序列的条件是______。