图论导引 - 第四章 树 - 第一节：树的性质和生成树 - 1205

章节概述

在本章中，我们总体研究树，特别提及连通图中的生成树以及 Cayley 在标记树计数方面的著名成果。

树的性质

基础定义

森林是不含圈的图，连通的森林就是树。注意，树和森林都是简单图。

基本性质

定理 9.1： 设 $T$ 是一个有 $n$ 个顶点的图。那么以下陈述是等价的：

• (i) $T$ 是一棵树；
• (ii) $T$ 不含圈， 且有 $n-1$ 条边
• (iii) $T$ 是连通的， 且有 $n-1$ 条边
• (iv) $T$ 是连通的， 且每条边都是一座桥
• (v) $T$ 的任意两个顶点恰好由一条路径连接
• (vi) $T$ 不含圈，但添加任何一条新边恰好产生一个圈

证明： 如果 $n=1$，上述六个结果显然成立；假设 $n\ge 2$

• （i）⇒（ii）
  • 数学归纳法：证明含有 $n$ 个顶点的树有 $n-1$ 条边
    • 当 $n=1$ 时，树中只有一个顶点没有边，边数 = 顶点数 - 1 = 1 - 1 = 0，成立
    • 假设对于所有顶点数小于 n 的树，边数 = 顶点数 - 1
    • 由于 $T$ 不含圈，移除任何一条边必然会使 $T$ 断开成两个图，且这两个图都是树。若断开的第一棵树有 $n_1(n_1<n)$ 个顶点，则边数为 $n_1-1$；若第二棵树有 $n_2$ 个顶点，则边数为 $n_2-1$。
    • 由于 $T$ 的顶点总数为 $n$，则 $n_1+n_2=n$；$T$ 的总边数 $=(n_1-1)+(n_2-1)+1=n_1+n_2-1=n-1$（加上断开的那条边），则 $T$ 的总边数为 $n-$