关于树的概念详解

---

这里是一段防爬虫文本，请读者忽略。
本文原创首发于CSDN，作者IDYS
博客首页：https://blog.csdn.net/weixin_41633902/
本文链接：https://blog.csdn.net/weixin_41633902/article/details/107775733
未经授权，禁止转载！恶意转载，后果自负！尊重原创，远离剽窃！

---

写在开头的话

• 请记住：实践是掌握知识的最快方法
• 如果你只是怀着看看的态度去快速浏览文章，而不去认认真真的把文章里面讲的任何一个知识点去实践一遍，那么你永远也掌握不了它
• 生命不息，折腾不止！

树

00. 树的定义

• 非线性结构,每个元素可以有多个前驱和后继
• 树是n，(n >= 0 )个元素的集合
  • n =0时，称之为空树
  • 树只有一个特殊的没有前驱的元素,称为树的根Root
  • 树中除了根结点外,其余元素只能有一个前驱,可以有零个或多个后继
• 递归定义
  • 树T是n(n≥0)个元素的集合。n=0时,称为空树
  • 有且只有一个特殊元素根，剩余元素都可以被划分为m个互不相交的集合T1，T2，T3…，Tm，而每一个集合都是树，成为T的子树Subtree
  • 子树也有自己的根

01. 数的概念

• 结点：树中的数据元素
• 结点的度degree：结点拥有的子树的数目称为度，记作d(v)
  • A的度为2，B的度为1，C的度为2,D的度为3
• 叶子结点：结点的度为0，称为叶子结点leaf、终端结点、末端结点
• 分支结点：结点的度不为0，称为非终端结点或分支结点
• 分支：结点之间的关系
• 内部结点：除根结点外的分支结点，当然也不包括叶子结点
  • 掐头去尾，剩中间
• 树的度是树内各结点的度的最大值，D结点度最大为3，树的度数就是3
• 孩子Child结点：结点的子树的根结点成为该结点的孩子
• 双亲（父Parent）结点：一个结点是它各子树的根结点的双亲
• 兄弟（Sibling）结点：具有相同双亲结点的结点
• 祖先结点：从根节点到该结点所经分支上所有的结点。A,B,D都是G的祖先结点
• 子孙结点：结点的所有子树上的结点都称之为该结点的子孙。B的子孙是D,G,H,I
• 结点层次（level)：根结点为第一层，根的孩子为第二层，依次类推，记作L(v)
• 树的深度（高度Depth）：树的层次的最大值。上图的树深度为4
• 堂兄弟：双亲在同一层的结点
• 有序树：结点的子树是有顺序的（兄弟有大小，有先后次序），不能交换
• 无序树：结点的子树是无序的，可以交换

• 路径：树中k个结点n1、n2、…、nk，满足ni是n(i+1)的双亲，成为n1到nk的一条路径。就是一条线串下来的，前一个都是后一个的父（前驱）结点
• 路径长度=路径上结点数 - 1，也是分支数
• 森林：m（m >= 0）棵不相交的树的集合
  • 对于结点而言，其子树的集合就是森林。A结点的2棵子树的集合就是森林

02. 树的特点

• 唯一的根
• 子树不相交
• 除了根以外，每个元素只能有一个前驱，可以有零个或多个后继
• 根结点没有双亲结点（前驱），叶子节点没有孩子结点（后继）
• vi是vj的双亲，则L(vi) = L(vj)-1，也就是说双亲比孩子结点的层次小1

03. 二叉树

• 每个结点最多2棵树
  • 二叉树不存在度数大于2的结点
• 它是有序树，左子树、右子树是顺序的，不能交换次序
• 即使某个结点只有一棵子树，也要确定它是左子树还是右子树

• 二叉树的五种基本形态
  • 空二叉树
  • 只有一个根结点
  • 根结点只有左子树
  • 根结点只有右子树
  • 根结点有左子树和右子树

04. 斜树

• 左斜树，所有结点都只有左子树
• 右斜树，所有结点都只有右子树

05. 满二叉树

• 一个二叉树的所有分支结点都存在左子树和右子树，并且所有叶子结点只存在在最下面一层
• 同样深度二叉树，满二叉树结点最多。
• k为深度（1 <= k <= n），则结点总数为2^k -1
• 如下图，一个深度为4的15个结点的满二叉树

06. 完全二叉树Complete Binary Tree

• 若二叉树的深度为K，二叉树的层数从1到k-1层的结点数都达到了最大个数，在第k层的所有结点都集中在最左边，这就是完全二叉树
• 完全二叉树由满二叉树引出
• 满二叉树一定是完全二叉树，但完全二叉树不是满二叉树
• k为深度(1 <= k <= n)，则结点总数最大值为2^k -1，当达到最大值的时候就是满二叉树

• 完全二叉树图例

• 不是完全二叉树的举例

07. 二叉树的性质

• 性质1

  • 在二叉树的第i层上至多有2^(i -1)个结点（i >= 1）

• 性质2

  • 深度为k的二叉树，至多有2^k-1个结点（k >= 1）
  • 一层2-1
  • 二层4-1=3
  • 三层8-1=7

• 性质3

  • 对任何一棵二叉树T，如果其终端结点数为n0，度数为2的结点为n2，则n0=n2+1
  • 换句话说，就是叶子结点数目-1就等于度数为2的节点数。

• 证明：

总结点数为 n = n0 + n1 + n2， n1 为度数为1的结点总数
一棵树的分支数为 n-1，因为除了根节点外，其余结点都有一个分支，即是
n0 + n1 + n2 -1
分支数还等于 n0*0 + n1*1 + n2*2, n2 是2分支结点所以乘以2
可得 2*n2 + n1 = n0 + n1 + n2 -1 =》 n2 = n0 - 1

• 其他性质

  • 高度为k的二叉树，至少有k个结点
  • 含有n（n >= 1）的结点的二叉树高度至多为n。和上句一个意思
  • 含有n（n >= 1）的结点的二叉树的高度至多为n，最小为math.ceil(log2(n+1))，不小于对数值的最小整数，向上取整
    • 假设高度为h，2^h-1 => h = log2(n=1)，层次数是取整，如果是8个结点，3.1699就要向上取整为4，为4层

• 性质4

  • 具有n个结点的完全二叉树的深度为int(log2n)+1，或者math.ceil(log2(n+1))

• 性质5

  • 如果一棵n个结点的完全二叉树，结点按照层序编号，如下图
  • 如果i=1,则结点i是二叉树的根，无双亲；如果i >1，则其双亲是int(i/2)，向下取整。就是子结点的编号整除2得到的就是父结点的编号，父结点如果是i，那么左孩子就是2i，右孩子就是2i+1
  • 如果2i > n，则结点i，无左孩子，即结点i为叶子结点，否则其左孩子结点存在编号为2i
  • 如果2i+1 >n，则结点i无右孩子，注意这里并不能说明结点i没有左孩子；否则右孩子结点存在编号为2i+1

写在最后的话：

• 无论每个知识点的难易程度如何，我都会尽力将它描绘得足够细致
• 欢迎关注我的CSDN博客，IDYS’BLOG
• 持续更新内容：
  linux基础 | 数据通信（路由交换，WLAN） | Python基础 | 云计算
• 如果你有什么疑问，或者是难题。欢迎评论或者私信我。你若留言，我必回复！
• 虽然我现在还很渺小，但我会做好每一篇内容。谢谢关注！