有向图的邻接矩阵是对称的。