问题不在总边数，而在局部割容量不够

目标是把边分成红、蓝两份，且两份都连通。等价地，要找两棵边不交生成树。反例的缺口不是总边数，而是三部分割只有 3 条跨边，少于所需 4 条。

Translate 两份连通 ⇒ 两棵边不交生成树

连通生成子图含生成树；已有两棵边不交生成树时，剩余边可任意补给两边。

Condition 无桥只排除 1 边割

无桥只说明每个非平凡二分割至少有 2 条跨边，即“删一条边不断”。

Obstruction 三部分割需要 4 条跨边，这里只有 3 条

把顶点分成 {a}、{b}、其余顶点三块，跨块边只有 va、ab、bv。

图结构：K₆ 加一个挂在 v 上的三角形

主体足够稠密；缺口只在 {a}、{b}、其余顶点三块之间。

K₆ 边瓶颈边 E₁ 需求 E₂ 需求三部分割

Step 1

若 (V,E₁) 和 (V,E₂) 都连通，它们各自含一棵生成树，且两棵树边不交。所以题目等价于：是否必有两棵边不交生成树？

↔ 两份连通边划分 ⇔ 存在两棵边不交生成树。

2 一棵树连接 3 个块至少跨 2 条边；两棵树至少跨 4 条边。

! 因此要看每个局部割是否有足够容量，而不是只看总边数。

Cut capacity 3 / 4

对三块分割，实际只有 3 条跨块边；两棵边不交生成树至少需要 4 条。

E₁ 要连通 在 v,a,b 之间至少需要 2 条三角形边。

E₂ 要连通 同样至少需要 2 条三角形边。

无桥只排除容量为 1 的割。本反例中 δ({a})、δ({b})、δ({a,b}) 都有 2 条边，所以删任意一条边仍连通。

两棵边不交生成树要求每个分割都有足够跨边。三块分割中，单棵树至少用 2 条，两棵树至少用 4 条。

对 {a} | {b} | V − {a,b}，跨边只有 va, ab, bv 三条。它们能防桥，却不够支撑两份连通。

Construct K₆, choose a vertex v, and attach a triangle vabv. Then |V|=8, |E|=18≥2|V|, and no edge is a bridge.

If a partition E=E₁⊔E₂ made both (V,E₁) and (V,E₂) connected, then each part would need at least two of va,ab,bv.

Thus the two parts would need at least four such edges, but only three exist, a contradiction.

Mastery standard / 透彻掌握：explain “connected edge partition ⇔ two edge-disjoint spanning trees”.

Then explain why bridgeless only excludes 1-edge cuts, and write the 3<4 partition contradiction.

10-second final check: your answer must contain the graph construction, |V|=8 and |E|=18, no bridge, and the local cut contradiction 3<4.