一个有向图的邻接表和逆邻接表中的结点个数一定相等。