离散数学结构 第十六章 树.docVIP

第十六章 树 16.1 无向树及其性质 一、无向树的定义 　定义16.1 连通无回路的无向图称为无向树，或简称树，常用T表示树。平凡图称为平凡树。若无向图G至少有两个连通分支，每个连通都是树，则称G为森林。 　　在无向图中， 悬挂顶点称为树叶，度数大于或等于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中没有回路，但在任何两个不同的顶点之间加一条新边，在所得图中得到唯一的一个含新边的圈。 　　证 （1）（2）.由G的连通性及 定理14.5的推论可知，u,v∈V，u与v之间存在 路径，若路径不是唯一的，设Г1与Г2都是u到v的路径，易知必存在由Г1和Г2上的边构成的回路，这与G中无回路矛盾。 　　（2）（3）.首先证明G中无回路。若G中存在关联某顶点v的 环，则v到v存在长为0和1的两条路经（注意初级回路是路径的特殊情况），这与已知矛盾。若G中存在长度大于或等于2的圈，则圈上任何两个顶点之间都