判断题 若一个有向图的邻接矩阵对角线以下元素均为零，则该图的拓扑有序序列必定存在。( )【中科院软件所1997一、5(1分)】