图论(第五版)reinhard-diestel著 于青林译 第一章练习七解答备忘

考虑没有孤立顶点的无向简单图$G$(通常假设$G$连通，但在这里条件被放宽),设$G$的任意一个最小圈为$C$

若$C$的长度为 $2r+1$ ,在$C$上任取一点 $s_0$ ,剩下 $2r$ 个点拆成连续相对的两组，每组$r$个点(从 $s_0$ 任意一侧出发沿$C$绕行遇满$r$个顶点后把这$r$个顶点作为一组,其余$r$个顶点作为另外一组),两组的点和 $s_0$ 分别构成$C$上的两条路径$P1,P2$,长度均为$r$

设$s_0$ 所在的$G$的连通分支构成的子图是$G^{\prime }(V^{\prime },E^{\prime })$

注意对于一个最小圈，如果用圈上两个不同的点把圈划分成两条路径，则长度较短的那条路径必然是最短路径，

由此不难推得$P1,P2$均为$G^{\prime }$的最短路径

现令 $d^{\prime }=ma{x}_{v\in V^{\prime }}{d}_{G^{\prime }}(s_0,v)$ , $d[s_0,i]$ 表示$G^{\prime }$中所有和 $s_0$ 的最短距离为i的顶点的集合( $0<=i<=d^{\prime }$ )

则 $d[s_0,i]\ne \oslash$ $0<=i<=d^{\prime }$ $d[s_0,i]\cap d[s_0,j]=\oslash$ $0<=i<j<=d^{\prime }$ 且 $V^{\prime }={\bigcup }_{i=0}^{d^{\prime }}d[s_0,i]$

注意$C\subseteq G^{\prime }$ ,由于P1,P2均为$G^{\prime }$的最短路径,所以 $r<=d^{\prime }$

现在我们来证明命题$P(i)$($0<=i<r$)

对于 $d[s_0,i]$ 中的任意顶点$v$,与$v$关联的所有边中只有一条和 $d[s_0,i-1]$ 中的顶点相连(如果存在,即$i$不等于0),其余(如果有)全部和 $d[s_0,i+1]$ 中的顶点相连，并且对任意 $s_1{s}_2\in d[s_0,i]$ ( $s_1\ne s_{2}i\ne 0$ ) 有 ($N_{G^{\prime }}(s_1)-(s_1^{\prime }))\cap (N_{G^{\prime }}(s_2)-(s_2^{\prime })$) $=\oslash$ 其中 $s_1^{\prime }$ 是与 $s_1$ 在 $d[s_0,i-1]$ 中相邻的顶点, $s_2^{\prime }$ 同理

事实上,当$i=0$时, $d[s_0,0]=s_0$ ,而与 $s_0$ 关联的任意一个顶点到 $s_0$ 的最短距离均为1,因而必然在 $d[s_0,1]$ 中

现设$i=k$时命题$P(i)$成立，下面来证$i=k+1$时命题$P(i)$成立

事实上, $d[s_0,k+1]$ 中的顶点$v$不可能和 $d[s_0,i_1]$ $0<=i_1<k$ $d[s_0,i_2]$ $k+2<i_2<=d^{\prime }$ (如果$i1,i2$存在)中的顶点邻接,如果$v$和 $d[s_0,i_1]$ 中的顶点邻接，则存在一条长为 $i_1+1$ 的从 $s_0$ 到$v$的路径，从而 $v\in d[s_0,i_1+1]$ ,但 $i_1+1<=k$ 矛盾,同理如果$v$和 $d[s_0,i_2]$ 中的顶点$w$邻接，则存在一条从 $s_0到w$的路径，该路径的长为$k+2$,于是$w\in d[s_0,k+2]$ ,但 $k+2<i_2$ 矛盾

另外,由于 $s_0$ 到$v$的最短路径长度为$k+1$,所以 $s_0$ 到该最短路径上$v$的前驱顶点$w$的最短路径长为$k$,故$w\in d[s_0,k]$

但由归纳假设, $d[s_0,k]$ 上不同的顶点除去 $d[s_0,k-1]$ (如果存在)中的顶点的邻点集互不相交，因此$v$不可能和

$d[s_0,k]$ 中两个或两个以上的顶点邻接，因此$v$只和 $d[s_0,k]$ 中唯一一个顶点邻接，于是综上所述，与$v$关联的剩下所有顶点(如果有)只可能在 $d[s_0,k+2]$ 中，如果存在

$s_1{s}_2\in d[s_0,k+1]$ ( $s_1\ne s_2$ ) 有顶点 $w\in (N_{G^{\prime }}(s_1)-(s_1^{\prime }))\cap (N_{G^{\prime }}(s_2)-(s_2^{\prime }))$其中 $s_1^{\prime }$ 是与 $s_1$ 在 $d[s_0,k]$ 中相邻的顶点, $s_2^{\prime }$ 同理

那么由之前已证明的结论, $w\in d[s_0,k+2]$ ,记 $s_1$ 到 $s_0$ 长为$k+1$的路径为P1’, $s_2$ 到 $s_0$ 长为$k+1$的路径为P2’,记P1’和P2’上最后一个公共顶点为$t$,则P1’上$t$到 $s_1$路径和 $s_1$ 到 $w$ 到 $s_2$ 的路径以及P2’上 $s_2$ 到$t$的路径构成了一个圈$C^{\prime }$,其长度 $L<=length(P{1}^{\prime })+length(P{2}^{\prime })+1+1<=2(k+1)+2=2(k+2)<=2r$

这和$C$为$G^{\prime }$的最小圈矛盾 这就证明了$i=k+1$时命题$P(i)$成立，由数学归纳法，命题$P(i)$对$0<=i<r$均成立

现在来导出练习所要求的第一个结论

事实上, $s_0$ 是我们要考虑的第一个顶点其个数为1, $|d[s_0,0]|=1$

由命题$P(0)$, $s_0$ 的所有邻接顶点均位于 $d[s_0,1]$ 中，故 $|d[s_0,1]|>=\delta (G^{\prime })>=\delta (G)$

对$2<=i<=r$,由命题$P(i-1),d[s_0,i-1]$ 中的每一个顶点的邻点集除一个顶点外，其余均位于 $d[s_0,i]$ 中,且不同顶点的邻点集除位于 $d[s_0,i-2]$ 中的一个顶点外其余顶点构成的集合互不相交，故

$|d[s_0,i]|>={\sum }_{v\in d[s_0,i-1]}|N_{G^{\prime }}(v)-(v^{\prime })|>={\sum }_{v\in d[s_0,i-1]}\delta (G^{\prime })-1>=|d[s_0,i-1]|(\delta (G)-1)$

其中 $v^{\prime }$ 是 $v$ 在 $d[s_0,i-2]$ 中的唯一邻接顶点

从而 $|d[s_0,i]|>=|d[s_0,i-1]|(\delta (G)-1)>=|d[s_0,i-2]|(\delta (G)-1{)}^2>=--->=$

$|d[s_0,1]|(\delta (G)-1{)}^{i-1}$

于是$V(G)>=V(G^{\prime })=|d[s_0,0]|+|d[s_0,1]|+{\sum }_{i=2}^r|d[s_0,i]|+{\sum }_{i=r+1}^{d^{\prime }}|d[s_0,i]|>=|d[s_0,0]|+|d[s_0,1]|+$ ${\sum }_{i=2}^r|d[s_0,1]|(\delta (G)-1{)}^{i-1}+{\sum }_{i=r+1}^{d^{\prime }}|d[s_0,i]|$

$>=|d[s_0,0]|+{\sum }_{i=1}^r|d[s_0,1]|(\delta (G)-1{)}^{i-1}>=1+{\sum }_{i=1}^r\delta (G)(\delta (G)-1{)}^{i-1}=1+\delta (G){\sum }_{i=1}^r(\delta (G)-1{)}^{i-1}=1+\delta (G){\sum }_{i=0}^{r-1}(\delta (G)-1{)}^i$

这样我们就得到了练习要求的第一个结论

至于第二个结论，沿用之前的记号，此时$C$的长度为2r,在$C$上任取相邻的两点 $s_0,s_0^{\prime }$,同样设 $s_0,s_0^{\prime }$ 所在的连通分支为$G^{\prime }(V^{\prime },E^{\prime })$,把从 $s_0$ 出发从不是$s_0^{\prime }$ 所在那一侧沿$C$行进遇到的$r-1$个非 $s_0$ 顶点和 $s_0$ 构成的路径为P1,$C$上除P1外的其余顶点构成的路径为P2,于是P1,P2均为最短路径.且P1加上 $s_0^{\prime }$ 和P2加上 $s_0$ 也是最短路径，这样定义

$d[s_0,s_0^{\prime },i]$ 表示距离 $s_0$ 和 $s_0^{\prime }$ 最短路径长度中的较小值为$i$的$G^{\prime }$中的顶点的集合，令 $d^{\prime }=ma{x}_{v\in V^{\prime }}(min(d_{G^{\prime }}(s_0,v),d_{G^{\prime }}(s_0^{\prime },v)))$ 于是 $0<=i<=d^{\prime }$

显然 $d[s_0,s_0^{\prime },0]=(s_0,s_0^{\prime })$ ,注意 $C\subseteq G^{\prime }$ ,由于P1和P1加上 $s_0^{\prime }$

是最短路径，或P2和P2加上 $s_0$ 是最短路径，故我们有 $r-1<=d^{\prime }$

另外 $d[s_0,s_0^{\prime },i]\ne \oslash 0<=i<=d^{\prime }d[s_0,s_0^{\prime },i]\cap d[s_0,s_0^{\prime },j]=\oslash 0<=i<j<=d^{\prime }且V^{\prime }={\bigcup }_{i=0}^{d^{\prime }}d[s_0,s_0^{\prime },i]$

于是类似的有命题$P^{\prime }(i)$($0<=i<r-1$)

对于 $d[s_0,s_0^{\prime },i]$ 中的任意顶点$v$,与$v$关联的所有边中只有一条和 $d[s_0,s_0^{\prime },i-1]$ 中的顶点相连(如果存在,即$i$不等于0，如果$i=0$,由于 $s_0$ 和 $s_0^{\prime }$ 相互关联,对于任意$t\in d[s_0,s_0^{\prime },0]$ ,与其关联的所有顶点中除一个在 $d[s_0,s_0^{\prime },0]$ ,其余均在 $d[s_0,s_0^{\prime },1]$ 中，如下所述),其余(如果有)全部和 $d[s_0,s_0^{\prime },i+1]$ 中的顶点相连，并且对任意 $s_1{s}_2\in d[s_0,s_0^{\prime },i]$ ( $s_1\ne s_2$) 有 $(N_{G^{\prime }}(s_1)-(s_1^{\prime }))\cap (N_{G^{\prime }}(s_2)-(s_2^{\prime }))=\oslash$ 其中 $s_1^{\prime }$ 是与 $s_1$ 在 $d[s_0,s_0^{\prime },i-1]$ 中相邻的顶点, $s_2^{\prime }$ 同理,(当$i=0$时, $s_1^{\prime }$ 即为 $s_2$ , $s_2^{\prime }$ 即为 $s_1$ )

现在来导出练习所要求的第二个结论

事实上, $s_0,s_0^{\prime }$ 是我们首先要考虑的顶点其个数为2, $|d[s_0,s_0^{\prime },0]|=2$

由命题$p(0)$,对任意$v\in d[s_0,s_0^{\prime },0]$ ,$v$的所有邻接顶点除一个位于 $d[s_0,s_0^{\prime },0]$ 其余均位于 $d[s_0,s_0^{\prime },1]$ 中，并且这些位于 $d[s_0,s_0^{\prime },1]$ 中的顶点对不同的$v$不相交，故 $|d[s_0,s_0^{\prime },1]|>=2(\delta (G^{\prime })-1)>=2(\delta (G)-1)$

对$2<=i<=r-1$,由命题$P(i-1)$, $d[s_0,s_0^{\prime },i-1]$ 中的每一个顶点的邻点集除一个顶点外，其余均位于 $d[s_0,s_0^{\prime },i]$ 中,且不同顶点的邻点集除位于 $d[s_0,s_0^{\prime },i-2]$ 中的一个顶点外其余顶点构成的集合互不相交，故

$|d[s_0,s_0^{\prime },i]|>={\sum }_{v\in d[s_0,s_0^{\prime },i-1]}|N_{G^{\prime }}(v)-(v^{\prime })|>={\sum }_{v\in d[s_0,s_0^{\prime },i-1]}\delta (G^{\prime })-1>=|d[s_0,s_0^{\prime },i-1]|(\delta (G)-1)$

其中 $v^{\prime }$ 是 $v$ 在 $d[s_0,s_0^{\prime },i-2]$中的唯一邻接顶点

从而 $|d[s_0,s_0^{\prime },i]|>=|d[s_0,s_0^{\prime },i-1]|(\delta (G)-1)>=|d[s_0,s_0^{\prime },i-2]|(\delta (G)-1{)}^2>=--->=$

$|d[s_0,s_0^{\prime },1]|(\delta (G)-1{)}^{i-1}>=2(\delta (G)-1)(\delta (G)-1{)}^{i-1}$

于是$V(G)>=V(G^{\prime })=|d[s_0,s_0^{\prime },0]|++|d[s_0,s_0^{\prime },1]|+{\sum }_{i=2}^{r-1}|d[s_0,s_0^{\prime },i]|+{\sum }_{i=r}^{d^{\prime }}|d[s_0,s_0^{\prime },i]|$

$>=|d[s_0,s_0^{\prime },0]|+|d[s_0,s_0^{\prime },1]|+{\sum }_{i=2}^{r-1}2(\delta (G)-1)(\delta (G)-1{)}^{i-1}+{\sum }_{i=r}^{d^{\prime }}|d[s_0,s_0^{\prime },i]|$

$>=|d[s_0,s_0^{\prime },0]|+{\sum }_{i=1}^{r-1}2(\delta (G)-1)(\delta (G)-1{)}^{i-1}=2+{\sum }_{i=1}^{r-1}2(\delta (G)-1)(\delta (G)-1{)}^{i-1}=$

$2+{\sum }_{i=1}^{r-1}2(\delta (G)-1{)}^i=2{\sum }_{i=0}^{r-1}(\delta (G)-1{)}^i$

这样就成功导出了练习要求的第二个结论

最后还要就上文第二结论的证明的开头部分说明一下为什么若 $d^{\prime }=ma{x}_{v\in V^{\prime }}(min(d_{G^{\prime }}(s_0,v),d_{G^{\prime }}(s_0^{\prime },v)))$ 则对任意i满足$0<=i<=d^{\prime }$

都存在 $v^{\prime }\in V^{\prime }$ 使得$i=min(d_{G^{\prime }}(s_0,v^{\prime }),d_{G^{\prime }}(s_0^{\prime },v^{\prime }))$ ,当 $i=d^{\prime }$ 或 $i=0$ 时结论是显然的

现考虑 $0<i<d^{\prime }$ ,设 $min(d_{G^{\prime }}(s_0,s),d_{G^{\prime }}(s_0^{\prime },s))=d^{\prime }$

记 $s$ 到 $s_0$ 的最短路径为P, $s$ 到 $s_0^{\prime }$ 的最短路径为P’,不妨设 $d_{G^{\prime }}(s_0,s)<=d_{G^{\prime }}(s_0^{\prime },s)$ ，则 $d_{G^{\prime }}(s_0,s)=d^{\prime }$

这样在P的内部顶点中取一点 s’ 使得 $d_{G^{\prime }}(s_0,s^{\prime })=i$，现在可以断言 $d_{G^{\prime }}(s_0^{\prime },s^{\prime })$ 不可能小于$i$,否则有

$d_{G^{\prime }}(s_0^{\prime },s)>=d_{G^{\prime }}(s_0,s)=d_{G^{\prime }}(s^{\prime },s)+d_{G^{\prime }}(s_0,s^{\prime })=d_{G^{\prime }}(s^{\prime },s)+i>d_{G^{\prime }}(s^{\prime },s)+d_{G^{\prime }}(s_0^{\prime },s^{\prime })=L$

注意到P上 $s$ 到 $s^{\prime }$ 的最短路径和 $s^{\prime }$ 到$s_0^{\prime }$ 的最短路径连接起来形成的道路对应的路径长度小于等于 $L$ ,这和$P^{\prime }$是 $s$ 到 $s_0^{\prime }$ 的最短路径矛盾

因此 $d_{G^{\prime }}(s_0^{\prime },s^{\prime })>=i=d_{G^{\prime }}(s_0,s^{\prime }),故min(d_{G^{\prime }}(s_0,s^{\prime }),d_{G^{\prime }}(s_0^{\prime },s^{\prime }))=d_{G^{\prime }}(s_0,s^{\prime })=i$

取 $v^{\prime }=s^{\prime }$ 即证