Great question! Let's break this down step by step, since the relationship between connectivity and Eulerian directed graphs (when in-degree equals out-degree) is really interesting.

当每个顶点的入度等于出度的条件已经满足时，原规则中的“所有非零度顶点属于同一个强连通分量”可以等价替换为“所有非零度顶点构成的子图是弱连通的”。而你提到的“存在一个顶点可到达所有其他顶点”（单向连通）的情况，在入度=出度的前提下，必然会升级为强连通——也就是说，不存在满足入度=出度、单向连通但非强连通的图，因此这个“仅连通”的条件无法作为更弱的替代。

首先，明确几个关键连通性定义避免混淆：

• 强连通：任意两个顶点互相可达（u能到v，v也能到u）
• 弱连通：忽略边的方向后，对应的无向图是连通的
• 单向连通：存在一个顶点u，u能到达所有其他顶点，但反过来不一定

假设我们有一个有向图G满足：

1. 每个顶点的入度等于出度；
2. 所有非零度顶点构成的子图是弱连通的。

我们可以证明G一定是强连通的：

• 任取两个非零度顶点u和v，因为基础无向图连通，所以存在一条无向路径连接u和v。
• 对于这条路径上的每一段，我们可以利用“入度=出度”的性质，把无向边转换成有向路径（比如，如果路径上有u到x的无向边，但实际是x→u，我们可以沿着x的出边找到一条回到u的回路，从而形成u到x的有向路径）。
• 最终可以推导出u和v互相可达，因此G是强连通的。

换句话说，在入度=出度的前提下，弱连通就等价于强连通，所以可以替换原条件中的强连通要求。

首先要注意：单向连通的图必然是弱连通的（忽略方向后肯定连通）。但关键是，如果一个图满足单向连通且入度=出度，那它必然是强连通的——你根本构造不出一个单向连通、入度=出度但非强连通的图。

举个尝试构造反例的过程：

• 假设我们想让顶点A能到达B和C，但B和C无法到达A。
• 为了满足A的入度=出度，A必须有入边，但B/C无法到达A，所以只能加A→A的自环。此时A的出度是2（A→B、A→A），入度是1（A→A），不相等，不符合条件2。
• 调整：加一条边C→A，这样A的入度=2（A→A、C→A），出度=2（A→B、A→A），满足条件。但此时C能到达A，A能到达B，若要B的入度=出度，加B→C，那B的入度=1（A→B），出度=1（B→C），满足条件。现在整个图是A→B→C→A加上A→A，这显然是强连通的——C能到A，B能到C→A，所以不存在“B/C无法到达A”的情况了。

结论：只要入度=出度，单向连通的图一定是强连通的，所以这个“仅连通”的条件其实和强连通等价，无法作为更弱的替代。

示例1：弱连通+入度=出度 → 欧拉图（强连通） #

• 顶点：A, B, C
• 边：A→B, B→C, C→A, A→A
• 入度：A=2（C→A、A→A），B=1（A→B），C=1（B→C）
• 出度：A=2（A→B、A→A），B=1（B→C），C=1（C→A）
• 这个图是强连通的，存在欧拉回路：A→A→B→C→A

示例2：弱不连通+入度=出度 → 非欧拉图 #

• 顶点：A, B, C, D
• 边：A→B, B→A, C→D, D→C
• 每个顶点入度=出度，但A/B和C/D属于不同的强连通分量，基础无向图不连通（弱不连通）。
• 无法形成包含所有边的回路，因为你无法从A/B的分量走到C/D的分量，所以不是欧拉图。

内容的提问来源于stack exchange，提问作者Ashutosh Rana