悟空想了一夜还没有想明白为什么图4不是树,这让悟空很受打击。但是很受打击悟空也需要继续树的研究,悟空决定先把这个问题放一放,继续Linux内核的研究。接下来需要研究的是二叉树。二叉树是一种树,这种树的一个特点就是:最多只有两个出边。也就是将树的四个含义中的第三个含义修改为:顶点具有0个、1个或两个出边。
而二叉搜索树,也是一个二叉树,只不过这个二叉树是一个节点有序的二叉树,其顺序遵循以下法则:
1.根的左分支节点值小于根的节点值;
2.根的右分支节点的值大于根节点的值;
3.所有的子树也都是二叉搜索树。
接下来悟空需要研究的一个树是“平衡二叉树搜索树”,平衡二叉搜书树是一个所有叶子节点深度差不超过1的二叉搜索树。而“半平衡二叉树搜索树”则是最深的叶子节点的深度不会大于两倍的最浅的叶子节点的深度。“自平衡二叉树搜索树”,则是对该树的所有操作都试图维持半平衡二叉搜索树。红黑二叉树则是一种自平衡二叉搜索树,同时这颗树需要满足如下条件:
1.所有节点要么是是红色、要么是黑色;
2.叶子节点都是黑色;
3.叶子节点都不包含数据;
4.所有非叶子节点都有两个子节点;
5.如果一个节点是红色,则他的节点都是黑色;
6.在一个节点到其叶子节点的途径中,如果总是包含同样数目的黑色节点,则该途径相比其他途径是最短的。
看到这里悟空终于研究完了所有的二叉树的特性了,悟空发现这些定义很有意思,每个新的定义都是在之前的定义中增加一个新的限定条件,就得到了新的树,而新的树的定义又变成了下一种树的定义的条件。这些定义之间环环相扣,缺少一个就无法得到下一种树的定义。