有向图中，所有顶点的入度之和等于出度之和。