有向图G可拓扑排序的判别条件是（）。