离散数学 04.02 树

$\color{blue}{\S 4.2 树}$

$\color{blue}{4.2.1 树及其等价命题}$

$定义4.2.1.设G = (P, L)是图。如果G是连通的，并且无回路，则称G为树。\\ 无回路的图(可能不连通)也称为森林。$

$引理1.设G是至少有一条边的有限图，且无回路，则G至少有一个点只相邻于\\ 另一个点，即G至少有一个点度数为1。$
$证明：因为G至少有一条边，所以G有一点v_1, 且v_1有相邻点v_2。\\ 若v_2即为所求，则引理得证。\\ 否则，令v_3为v_2的不同于v_1的相邻点，以此类推，即，对k \geq 2,\\ 或者v_k只与v_{k-1}相邻，从而v_k即为所求;或者v_k又相邻于v_{k+1} \neq v_{k-1}。\\ 于是得v_1, v_2, \cdots, v_{k-1}, v_k,v_{k+1},\cdots, 因为G无回路，\\ 故这一串点不能重复。又因为G有限，\\ 故上述过程必在有限步内停止。从而引理得证。$

$定理4.2.1.如果G是图，则下列诸命题等价：\\ 1) G是树。\\ 2) G连通并且删去G的任意一边，所得之图都不连通。\\ 3) 对G中任意两点v, v^{\prime}（v \neq v^{\prime}),恰有一条从v到v^{\prime}的简单路。\\ 如果G还是有限图，设P(G)元数为n,则下列命题也与上面命题等价：\\ 4) G不含回路，并且G有(n-1)条边。\\ 5) G连通，并且G有(n-1)条边。$
$证:1) \Rightarrow 2) 若G删去边vv^{\prime}后是连通的，则有从v到v^{\prime}的路(v, v_1, \cdots, v^{\prime}),\\ 不妨设这是从v到v^{\prime}的所有路中最短者，于是，这是一条简单路。\\ 此路长度不小于2，于是这条路再加上边vv^{\prime}就是G中一条回路。矛盾。$

$2) \Rightarrow 3) 因为G连通，所以对于v,v^{\prime},有从v到v^{\prime}的路，取其最短者，\\ 得从v到v^{\prime}的简单路。若有两条这样的路，设为(v, v_1, \cdots, v_n, v_{n+1}), \\ (v, v_1^{\prime}, \cdots, v_m^{\prime}, v_{m+1}^{\prime}),其中v_{n+1} = v_{m+1}^{\prime} = v^{\prime}。从左向右看可找\\ 到最小的k，使得v_k \neq v_k^{\prime}。于是，从G删去边v_{k-1}v_k,从v_{k-1}到v_k\\ 还有路(v_{k-1}, v_k^{\prime}, \cdots, v_{m+1}, v_n, v_{n-1}, \cdots, v_k)。故删去边v_{k-1}v_k后，\\ 所得之图仍连通。矛盾。$

$3) \Rightarrow 1) 由已知条件知，G是连通的。\\ 若G有回路(v, v_1, \cdots, v_k, \cdots, v), 则从v到v_1将有两条简单路:\\ (v, v_1)和(v, \cdots, v_k, \cdots, v_1)，矛盾。\\ 故G中无回路，所以,G是树。$

$1) \Rightarrow 4) 因此G是树，所以G中无回路。往证：G有(n-1)条边。\\ 对n用归纳法。n = 1时，命题成立。\\ 假设对于n-1，命题成立.\\ 设G有n个点，由引理1知，G有v_n,且v_n恰有一个相邻点v_{n-1},删去v_n和\\ v_nv_{n-1}得一图G^{\prime}。因为G无回路，所以G^{\prime}无回路。因为G连通，所以G中\\ 任意两点间，有路连接。因为v_n恰有一相邻点v_{n-1},故点v_n只能出现在G中\\ 任意一条路的两端，而不能出现在中间。所以边v_nv_{n-1}只能出现在任何一条\\ 路的两端，所以删去点v_n和边v_nv_{n-1},剩下的图中任意两点间仍有路，故G^{\prime}\\ 连通。因此，G^{\prime}是树。由归纳假设，G^{\prime}有(n-1) - 1 = (n - 2)条边。\\ 故G有(n-2) + 1 = (n-1)条边。$

$4) \Rightarrow 5) 已知G中无回路，有n个点，(n-1)条边，往证G连通。对n用归纳法。\\ n = 2,命题成立。假设n - 1时命题成立。\\ 设G有n个点。由引理1知，G中有点v_n, v_n恰有一相邻点v_{n-1},删去点v_n和\\ 边v_nv_{n-1}得图G^{\prime},显然，G^{\prime}中仍无回路。但G^{\prime}有(n-1)个点，由归纳假设，\\ G^{\prime}连通。因此，将点v_n和边v_nv_{n-1}添入G^{\prime}得G，G仍连通。$

$5) \Rightarrow 1) 设G有n个点，(n-1)条边，并且连通，往证：G是树。\\ 只需证G无回路即可。\\ 若不然，设G有一条回路,则删去回路中任一条边，所得之图仍连通。\\ 对G中每一条回路，都用此方法删去一边，最后得一个无回路但仍连通的图G^{\prime}。\\ 所以G^{\prime}是树。而G^{\prime}是由G删去k(>0)条边所得，故G^{\prime}仍有n个点，\\ 所以由1) \Rightarrow 4)知，G^{\prime}有(n-1)条边，但是G^{\prime}有(n-1-k)条边，\\ 而n-1 > n-1-k(因为k > 0)，矛盾。定理证毕。$

$推论1.任意有限连通图必有一支撑子图是树。此支撑子图称为母图的支撑树。$
$推论2.若G^{\prime}是有限图G的支撑树，vv^{\prime}为G中一边，且vv^{\prime}不在G^{\prime}中，\\ 则G^{\prime}添上边vv^{\prime}后必有回路。$

$\color{blue}{4.2.2 最优树 Kruskal算法}$

$设想要建设一个连接若干城市的铁路网。已知建造直接连接城市v_i与v_j的干线费\\用为c_{ij}。试设计一个铁路网，以使建设总费用达到最小。\\ 将每个城市看作权图中一点，权图中任意两点v_i, v_j,令c_{ij}为边v_i, v_j所带的权。\\ 这个问题是在权图中求一个带权总数最小的连通支撑子图。又因为权代表费用，\\ 所以肯定它们是非负的。因此，这一带有最小权的支撑子图中没有回路，即，这个\\ 子图必是图G的支撑树。$

$定义4.2.2.设G是加权连通图(这里只讨论边上的权都为正)，带有最小权的支撑树称为权图G的最优树。$

$上述建设铁路网的问题就是一个权图中的最优树问题。$
$1956年，Kruskal给出了一个在权图中求最优树的算法。$
$Kruskal算法:设权图G = (G, L)是连通的。\\ 1.取l_1 \in L(G),使w(l_1)最小。\\ 2.如果l_1, l_2, \cdots, l_i已经得到，则从L(G) - \lbrace l_1, l_2, \cdots, l_i \rbrace中取l_{i+1},\\ 使得\lbrace l_1, l_2, \cdots, l_i, l_{i+1} \rbrace组成无回路的图，并且w(l_{i+1})最小。如果不\\ 存在这样的l_{i+1},则算法停止。$

$定理4.2.2.设G = (P, L)是连通权图。于是 Kruskal 算法得到的\\ T = \lbrace l_{1^{\prime}}, l_{2^{\prime}}, \cdots, l_n \rbrace是G的最优树。$
$证：(1)先证明T是支撑子图，即证明P(T) = P(G)。\\ P(T) \subseteq P(G),往证 P(G) \subseteq P(T)。用反证法,\\ 设x \in P(G), 但x \notin P(T), 任取T中点y，因G是连通的，\\ 所以在G中有x到y的路l = (x, v_1, \cdots, v_r, y),则xv_1不是T中的边，\\ 把边xv_1加入T中不会产生回路，此与T终止在步骤C矛盾，\\ 所以，P(G) = P(T)。$
$(2)证明T是一棵树，只需证明T是连通的(无回路由算法保证)。\\ 若T不连通，不妨假设T有两个分支T_1和T_2,令x \in T_1, y \in T_2,\\ 因G是连通的，所以，有G中的路(x, v_1, \cdots, v_r, v_{r+1}),其中x \\ = v_1, y = v_{r+1},因此，必有边v_i, v_{i+1},使v_i \in T_1, v_{i+1} \notin T_1,\\ 那么，把v_iv_{i+1}加到T中，不会产生回路，矛盾与算法停止，\\ 所以T是连通的。$

$(3)由(1),(2)得T是支撑树，设G有r个顶点，T有r-1条边。$
$(4) 证明T是最优支撑树，证明可以通过以下不断交换边的办法，\\ 使T的所有边全在某一最优支撑树T^{\prime}中，则T = T^{\prime}(均有r-1条边)。\\ 设T*是一棵最优支撑树，T*=\lbrace l_1^{\prime}, \cdots, l_{r-1}^{\prime} \rbrace, T = \lbrace l_1, \cdots, l_{r-1} \rbrace,\\ 若l_1 \notin T*,在T*中加入l_1,则形成一含有l_1的回路，在此回路中删去一条\\ 非l_1的边，不妨设为l_1^{\prime}，得一图T^{\prime}，令T^{\prime} = \lbrace l_1, l_2^{\prime}, \cdots, l_{r-1}^{\prime} \rbrace, \\ 则T^{\prime}是支撑树。\\ 对任意l \in L(G),因为w(l_1) \leq w(l)，所以w(l_1) \leq w(l_1^{\prime}) \\ 而w(T^{\prime}) = T* - w(l_1^{\prime}) + w(l_1),所以w(T^{\prime}) \leq W(T*), \\ 即T^{\prime}也是最优树。$
$一般地，设l_1, \cdots, l_k \in T*, l_{k+1} \notin T*, \\ T = \lbrace l_1, \cdots, l_k, l_{k+1}, \cdots, l_{r-1} \rbrace, \\ T* = \lbrace l_1, \cdots, l_k, l_{k+1}, \cdots, l_{r-1} \rbrace \\ 因为T*是支撑树，T* \cup \lbrace l_{k+1} \rbrace 必然有回路C，\\ 不妨设l_{k+1}^{\prime}是回路中一条边，l_{k+1}^{\prime} \notin T,\\ 令T^{\prime} = \lbrace l_1, \cdots, l_k, l_{k+1}, l_{k+2}^{\prime}, \cdots, l_{r-1}^{\prime} \rbrace, 则T^{\prime}是支撑树，\\ 由Kruskal算法步骤B，在算法实行中选了l_{k+1}而没选l_{k+1}^{\prime},\\ 说明w(l_{k+1}) \leq w(l_{k+1}^{\prime}) \\ 所以w(T^{\prime}) = w(T*) - w(l_{k+1}^{\prime}) + w(l_{k+1}),即w(T^{\prime}) \leq w(T*) \\ 因为T*是最优树，所以T^{\prime}也是最优树，但T^{\prime}包括l_1, \cdots, l_{k+1},\\ 反复执行上述过程，最后可得一最优树包括了T的所有边，\\ 即T^{\prime} = T,所以T是最优树。$