树

树的定义：树(Tree)是 n(n≥0)个结点的有限集。若 n=0，称为空树；若 n > 0，则它满足如下两个条件：  

(1)  有且仅有一个特定的称为根 (Root) 的结点；  

(2)  其余结点可分为 m (m≥0) 个互不相交的有限集 T1, T2, T3, …, Tm， 其中每一个集合本身又是一棵树，并称为根的子树 (SubTree)。

显然，树的定义是一个递归的定义。

树的一些术语：

• 结点的度（Degree）：结点的子树个数；
• 树的度：树的所有结点中最大的度数；
• 叶结点（Leaf）：度为0的结点；
• 父结点（Parent）：有子树的结点是其子树的根节点的父结点；
• 子结点/孩子结点（Child）：若A结点是B结点的父结点，则称B结点是A结点的子结点；
• 兄弟结点（Sibling）：具有同一个父结点的各结点彼此是兄弟结点；
• 路径和路径长度：从结点n1到nk的路径为一个结点序列n1，n2，...，nk。ni是ni+1的父结点。路径所包含边的个数为路径的长度；
• 祖先结点（Ancestor）：沿树根到某一结点路径上的所有结点都是这个结点的祖先结点；
• 子孙结点（Descendant）：某一结点的子树中的所有结点是这个结点的子孙；
• 结点的层次（Level）：规定根结点在1层，其他任一结点的层数是其父结点的层数加1；
• 树的深度（Depth）：树中所有结点中的最大层次是这棵树的深度；

将树中节点的各子树看成从左至右是有次序的（即不能互换），则称为该树是有序树，否则称为无序树。

森林(forest)是 m (m≥0) 棵互不相交的树的集合。

二叉树

在计算机科学中，二叉树是每个结点最多有两个子树的树结构。通常子树被称作“左子树”（left subtree）和“右子树”（right subtree）。二叉树常被用于实现二叉查找树和二叉堆。

虽然二叉树与树概念不同，但有关树的基本术语对二叉树都适用。

二叉树结点的子树要区分左子树和右子树，即使只有一 棵子树也要进行区分，说明它是左子树，还是右子树。树当 结点只有一个孩子时，就无须区分它是左还是右。

注意：尽管二叉树与树有许多相似之处，但二叉树不是树的特殊情形。

一些性质：

在二叉树的第 i 层上至多有  个结点 (i ≥1)。

证明：每个节点至多两个孩子，每一层至多比上一层多一倍的结点，根为1.

深度为 k 的二叉树至多有 个结点（k ≥1)。

证明：把每一层最大节点加起来即可

对任何一棵二叉树 T，如果其叶子数为 n0，度为 2的结点数为 n2，则 n0 = n2 + 1。

证明：对于一个只有根的树，n0 = n2 + 1成立。1=0+1

我们把一个叶子节点换成度为2的结点：

黑色节点原来为叶子节点

我们发现，度为2的结点数加1（黑色节点）；叶子节点数加1（原来的去掉，新增两个）；对于式子n0 = n2 + 1没影响，还是成立。

我们把叶子节点换成度为1的结点，比如没有右孩子。

我们发现，度为2的结点数没变。叶子节点数没变（减了一个加了一个）

所以，不管你怎么换，公式都成立。（佛系证明）

文章来源: fantianzuo.blog.csdn.net，作者：兔老大RabbitMQ，版权归原作者所有，如需转载，请联系作者。

原文链接：fantianzuo.blog.csdn.net/article/details/83900565