在有向图中,这一结论是正确的。对于每个顶点,其入度表示指向该顶点的边的数量,出度表示从该顶点出发的边的数量。而每条边都有一个起点和一个终点,所以每条边会在其起点的出度中计数一次,在其终点的入度中计数一次,因此所有顶点的入度与出度之和就等于所有边的数量的 2 倍。