环与圈_扩大路径法证明

前言： 本人正在B站上学习北京大学讲的离散数学，而且也把这门课程所有的PPT和课后习题及解答上传到CSDN。在这里，鄙人会把自己觉得有必要花时间积累的，需要理解的一些概念区分，定理证明和习题解答记录下来。下面是两部分内容，第一部分为“环”与“圈”的概念，第二部分为“极大路径”概念的理解和利用“扩大路径法”证明两道题目。
（一）“环”与“圈”

圈： 即初级回路，是没有重复顶点的回路。
（二）
1 极大路径
1）无向图

2）有向图

3）极大路径，更具体的（北大离散数学教程p121页）
首先给出“极大路径”的概念，设$G=<V,E>$为n阶无向图，$E\ne \varnothing$，设${\Gamma }_l=v_0{v}_1\dots ,v_l$为G中的一条路径。若始点与${\Gamma }_l$外的某顶点相邻，就将该顶点以及关联的边扩到${\Gamma }_l$中来，若新路径的始点还与新的路径外的顶点相邻，就再将它及其关联的边扩到新的路径中来，得到更新的路径，继续这一过程，直到最后所得路径的始点不与其他路径外的任何顶点相邻为止，设终止时的路径为${\Gamma }_{(l+k)}=v_0{v}_1\dots ,v_{(l+k)}（k\ge 0）$ (此时的$v_0$和之前的$v_0$未必是同一个顶点)。再对${\Gamma }_{(l+k)}$的终点$v_{(l+k)}$继续上述过程，设最终得到的路径为${\Gamma }_{(l+k+r)}=v_0{v}_1\dots ,v_{(l+k)}\dots v_{(l+k+r)}$$（k,r\ge 0）$它的始点$v_0$与终点$v_{(l+k+r)}$不与${\Gamma }_{(l+k+r)}$之外的任何顶点相邻，则称${\Gamma }_{(l+k+r)}$为"极大路径"，并称用构造“极大路径”证明定理或命题的方法为“扩大路径法”。有向图中起点的前驱元素以及终点的后继元素都在极大路径上。

评注： 如上图路径不断扩充顶点成为极大路径的过程。可以发现路径一侧的端点其实是在不断变化的。不断有当前端点的相邻端点被扩充进路径成为新的路径的端点。
2 1道实施扩大路径法的证明题
题目描述： 设$G$是$n(n\ge 3$)阶无向简单图，$\delta (G)\ge 2$。证明$G$中有长度 $\ge$ $\delta (G)+1$的圈。
证明过程：
$\forall u_0\in V(G)$,$\delta (G)\ge 2$ $\Rightarrow$ $\exists u_1\in N_G(u_0)$
对${\Gamma }_0=u_0{u}_1$采取扩大路径法，得到极大路径$\Gamma =v_0{v}_1...v_k$
$d(v_k)\ge \delta (G)\Rightarrow k\ge \delta (G)$ (1)
为什么(1)式左边成立能推出右边成立？
因为$\Gamma$是极大路径，$v_k$是$\Gamma$的1个端点，根据极大路径的 定义，有$\Gamma$的端点只允许和$\Gamma$上的点相邻（有连接），不允许和不在路径上的点相邻。而$\Gamma$上的顶点数是有限的。$v_0{v}_1...v_k$有k+1个顶点，而除了$v_k$本身，就剩下k个顶点。故
$d(v_k)\le k$ (2)
（2）式的解读可以是顶点$v_k$的度至多为k。
根据$\delta$的定义，立刻有
$k\ge d(v_k)\ge \delta (G)$ (3)
另一方面，对极大路径的另一个端点$v_0$有
$d(v_0)\ge \delta (G)$ $\Rightarrow$$\exists v_i\in N_G(v_0)$ , $\delta (G)\ge i\ge k$
故$v_0{v}_1...v_i{v}_0$是长度$\ge \delta (G)+1$的图。