离散数学 图论-树3.pptxVIP

第16章 树 第十六章 树 一、 无向树 1）定义： 连通无回路（初级回路或简单回路）的无向图称为无向树，或简称树 常用T表示树，平凡图称为平凡树． 若无向图G至少有两个连通分支，则称G为森林． 在无向树中，悬挂顶点称为树叶，度数大于或等于2的顶点称为分支结点． 2）树的等价定义 设G＝V，E是n阶m条边的无向图， 则下面各命题是等价的： (1)G是连通无回路（树）． 可通过循环证明 (2) G中任意两个顶点之间存在惟一的路径． （连通则存在路径，若不唯一，不同路径则构成回路） (3) G中无回路且 m = n - 1． 有长大于等于2的回路都与唯一路径矛盾。 对结点进行归纳：n=1平凡图m=0=n-1；设n=k成立；n=k+1时 两个结点有唯一的路，去掉则为两个连通分支（各自满足假设） m=m1+m2+1=n1-1+n2-1+1=n1+n2-1=n-1 (4) G是连通的且 m = n - 1． 若不连通，对各个(s=2)连通分支是树且有mi=ni-1