离散数学-16 树

定义16.1

(1) 无向树——连通无回路的无向图

(2) 平凡树——平凡图

(3) 森林——至少由两个连通分支（每个都是树）组成

(4) 树叶——1度顶点

(5) 分支点——度数2的顶点

定理16.1 设G=<V,E>是n阶m条边的无向图，则下面各命题

是等价的：

(1) G 是树

(2) G 中任意两个顶点之间存在惟一的路径.

(3) G 中无回路且 m=n1.

(4) G 是连通的且 m=n1.

(5) G 是连通的且 G 中任何边均为桥.

(6) G 中没有回路，但在任何两个不同的顶点之间加一条新边，在所得图中得到惟一的一个含新边的圈（基本回路）.

定理16.2设T是n阶非平凡的无向树，则T 中至少有两片树叶.

定义16.2设G为无向图

(1) G的树——T 是G 的子图并且是树

(2) G的生成树——T 是G 的生成子图并且是树

(3) 生成树T的树枝——T 中的边

(4) 生成树T的弦——不在T 中的边

(5) 生成树T的余树 ——全体弦组成的集合的导出子图

定理16.3无向图G具有生成树当且仅当G连通.

推论1G为n阶m条边的无向连通图，则mn