8.5 惠特尼不等式

  在介绍惠特尼不等式之前，我先说几个概念。首先是边连通性，边连通性，就是至少删除多少条边，才能增加图连通分量component的数量，形象地说，删除多少条边才能分裂一个图。边连通性符号为$\lambda (G)$。
  点连通性，就是删除多少个点才可以增加组件component的数量，点连通性符号为$\kappa (G)$。
  而最小度数，符号为$\delta (G)$。
  惠特尼不等式的内容是，对于任意图，$\kappa (G)\le \lambda (G)\le \delta (G)$。也就是说，点连通性小于等于边连通性，边连通性小于等于最小度数。
  现在我给出证明。
  首先证明边连通性小于等于最小度数。利用分类归纳法，如果图G没有边，那么$\lambda =0$并且$\delta =0$。这满足惠特尼不等式。剩下的就是不为0的情况了。这个时候，我们把所有最小度数点的所有边移除，那么这个点肯定就孤立了，不需要删除更多的边，这就可以证明边连通性$\lambda \le \delta$。
  上面的证明都是等于的例子，虽然已经能证明小于等于，但是我们需要找个小于的例子，来相信会有小于的情况。下图就是个例子，删除e，就变成了两个连通分量component，所以边连通性为1，但是最小度数为2。所以$\lambda (G)\le \delta (G)$不能改成等号。

  再证明$\kappa (G)\le \lambda (G)$。因为$\lambda$为边连通性，所以存在一个割边集cut set，姑且叫它S吧。割边集的概念，我用印度理工学院的《Group Theory》中的图说明一下，图中$e_2,e_5,e_9,e_{10}$组成了一个割边集：

  割边集S含有$\lambda$条边，这个割边集把图拆成了两个连通分量component $V_1$和 $V_2$。把$V_1$或$V_2$中S的端点全部删除就把图分成了两半。而如果这$\lambda$条边，如果多条边指向一个点，那么删除点的数量就小于删除边的数量。所以证明了$\kappa (G)\le \lambda (G)$。
  不等式的两部分都证明完了，连起来，Q.E.D.