顶连通度小于等于边连通度的证明

对于一个给定的无向简单连通图$G$,$G$的(顶)连通度 $\kappa (G)$ 必然小于等于其边连通度 $\lambda (G)$

即 $\kappa (G)<=\lambda (G)$

引理一:设 $G(V,E)$ 为无向连通图,且 $e\in E$ 是 $G$ 的桥，则 $G-e$ 恰有两个连通分量

证明，设 $G-e$ 有三个以上连通分量，那么 $e$ 的两个端点 $pi,pj$ 不可能全部位于某一个连通分量

$G^{\prime }$ 中，否则由于 $G^{\prime }$ 连通，则 $G^{\prime }$ 中 $pi,pj$ 间由路 $P$ 相连, $P$ 和 $e$ 构成 $G$ 中的一个圈 $C$ ，由于 $e\in C$

删掉 $G$ 中圈 $C$ 上一条边 $e$ 不会改变 $G$ 的连通性,故 $G-e$ 连通,这和 $e$ 是 $G$ 的桥矛盾

于是不妨设 $pi\in V(G_i)pj\in V(G_j)$ ( $G_i{G}_j$ 为两个不同的连通分量)令 $G_k$ 是不同于 $G_i,G_j$ 的第三个连通分量

于是对于任意 $pk\in V(G_k)$ ,在 $G$ 中$pk$ 和 $G_i$ 中任意顶点 $v_i$ 不连通，否则存在一条 $G$ 中的路$P^{\prime }$ 连接 $pk$

和 $v_i$ ,注意 $v_i\in V(G_i),pk\in V(G_k)$ , $P^{\prime }$ 的内部顶点不可能属于除 $G_i,G_j,G_k$ 以外的其它连通分量，否则 $pk$ 和它在 $P^{\prime }$ 上的相邻顶点构成的边 $e^{\prime }$ 是横跨 $G_k$ 和除 $G_i,G_j.G_k$ 以外的其它某个连通分量的边,由于 $G$ 中的边要么端点全部位于某个连通分支，要么就是满足$pi\in V(G_i)pj\in V(G_j)$ 的边 $e$ 故 $e^{\prime }$ 不可能存在，矛盾

由于$v_i\in V(G_i),pk\in V(G_k)$

故 $P^{\prime }$ 上的边不可能全部为两端点全在 $G_i,G_j$ 或 $G_k$ 中的边,出于和 $e^{\prime }$ 不可能存在类似的理由, $P^{\prime }$ 上的边不可能为两端点分别在 $G_i,G_k$ 或 $G_j,G_k$ 中的边,故 $P^{\prime }$ 中必然存在一条两端点分别在 $G_i,G_j$ 中的边,这条边只能为 $e$ , $P^{\prime }$ 上从 $v_i$ 到 $pk$ 的方向上, $e$ 的端点 $pj$ 不可能在 $pi$ 之前，否则仿照和证明$P^{\prime }$ 中必然存在一条两端点分别在 $G_i,G_j$ 中的边类似的证法, $P^{\prime }$ 上从 $v_i$ 到 $pj$ 的子路径上必然存在边 $e$ ,由于 $P^{\prime }$ 是一条路,这是不可能的,

于是同样采取类似的证法，可证明 $P^{\prime }$ 上从 $pj$ 到 $pk$ 的子路径上必然存在边 $e$ 同样不可能,这就证明了对于任意 $pk\in V(G_k)$ ,在 $G$ 中$pk$ 和 $G_i$ 中任意顶点 $v_i$ 不连通，或者类似的我们可以证对于任意 $pk\in V(G_k)$ ,在 $G$ 中$pk$ 和 $G_j$ 中任意顶点 $v_j$ 不连通,于是 $G$ 不连通，矛盾证毕

下面来证 $\kappa (G)<=\lambda (G)$

对 $G$ 存在 $G$ 的边构成的集合 $F$ 满足 $|F|=\lambda (G)$ ,使得删除 $G$ 中任意 $f<|F|$ 条边后 $G$ 连通，但删除

$F$ 中的全部边后 $G$ 不连通。由于从 $G$删除 $F$ 中的 $|F|-1$ 条边后得到的图 $G_F$ 连通,在 $G_F$ 中删除 $F$ 中剩下的最后一条边后 $G_F$ 不连通,于是 $F$ 中最后一条边是 $G_F$ 的桥，故由引理一, $G_F$ 的这条边删除后恰有两个连通分量

现设从 $G$ 中删除 $F$ 中所有边得到的图为 $G_F^{\prime }$ ,于是 $G_F^{\prime }$ 恰有两个连通分量 $G1,G2$ ，下面证$F$ 中任意一条边不可能两个端点都位于 $G1$ 中

若有 $f\in F$ 两个端点均位于 $G1$ 中，设 $G_F^{\prime \prime }=G-(F-f)$ ,由于 $G1$ 连通，和引理一中证明所述类似

$G_F^{\prime \prime }$ 中存在包含 $f$ 的一条圈 $C$ ,由于 $G_F^{\prime \prime }$ 连通，故 $G_F^{\prime \prime }-f=G_F^{\prime }$ 依然连通,矛盾

同理可证 $F$ 中任意一条边 $f$ 的两个端点不可能均位于 $G2$ 中，于是$f$ 分别连接 $G1,G2$ 中一个顶点,即 $f$ 横跨 $G1,G2$

设 $G$中 $G1$ 的所有顶点中与 $F$ 中的边关联的所有顶点的集合为 $N(G1)$ ,若 $|V(G1)|>|N(G1)|$ 则对于任意 $v1,v2\in N(G1)$ ( $v1\ne v2$ )设与 $v1,v2$ 关联的任意一条 $F$ 中的边分别为 $f1,f2$ ,由于 $f1,f2$ 横跨 $G1,G2$ ,故 $f1,f2$ 不可能是同一条边,否则 $v1=v2$ 矛盾，于是设对于任意 $v\in N(G1)$ ,与 $v$关联的 $F$ 中的边的集合为 $F(v)$ ,则

对于任意 $v1,v2\in N(G1)$ ( $v1\ne v2$ ) 有 $F(v1)\cap F(v2)=\oslash$ 另外 ${\bigcup }_{v\in N(G1)}F(v)=F$ 于是

$|F|={\sum }_{v\in N(G1)}|F(v)|>={\sum }_{v\in N(G1)}1=|N(G1)|$

当我们从 $G$ 中删除 $N(G1)$ 中所有的顶点时,由于 $F$ 中所有的边均被从 $G$ 中移除,故 $V(G1)-N(G1)$

中的任意顶点不可能存在和 $N(G2)$ 中顶点相连的路,故此时的图已不连通,从而 $\kappa (G)<=|N(G1)|<=|F|=\lambda (G)$

若 $|V(G1)|=|N(G1)|$ ,任取 $G1$ 中任意顶点 $v$ ,设 $G1$ 中 $v$ 的所有邻接顶点为$N(v)$ ,则对于任意 $v1,v2\in N(v)$ ( $v1\ne v2$ ) 有 $F(v1)\cap F(v2)=\oslash$ 另外对于任意 $v^{\prime }\in N(v)F(v)\cap F(v^{\prime })=\oslash$

(${\bigcup }_{v^{\prime }\in N(v)}F(v^{\prime }))\cup F(v)\subseteq F$ 若 $N_2(v)$ 是 $G$中 $v$ 在 $G2$ 通过 $F$ 中的边邻接的所有顶点则$|F(v)|=N_2(v)N(v)\cap N_2(v)=\oslash$

故 $|F|>=|({\bigcup }_{v^{\prime }\in N(v)}F(v^{\prime }))\cup F(v)|={\sum }_{v^{\prime }\in N(v)}|F(v^{\prime })|+|F(v)|>={\sum }_{v^{\prime }\in N(v)}1+|N_2(v)|=|N(v)|+|N_2(v)|$

当从 $G$ 中删去 $N(v)$ 和 $N_2(v)$ 中所有顶点时, $v$ 成为孤立顶点,此时图不连通

从而 $\kappa (G)<=|N(v)|+|N2(v)|<=|F|=\lambda (G)$

证毕