若一个有向图中的部分顶点不能通过拓扑排序排到一个拓扑有序序列里，则可断定该有向图是一个（）