一个有向图的邻接矩阵中各非零元素之和与图中边的条数相等。