首先,想要了解什么二叉树,不可避免地要先来了解什么是树。
一、树
1.1 树是什么?
树是一种非线性地数据结构,它是由n(n>=0)个有限结点组成一个具有层次关系的集合。其实通俗一点理解,这种结构很像一颗倒挂的树,如图:
看到这副图,那么是不是可以总结出一些规律呢?
-树有一个特殊的结点,称为根结点,此结点没有前驱结点。
-除根结点外,其余结点可以分为m(m>0)个互不相交的集合(子树),并且这些子树又可以分为 j个子树.........但是,每个子树有且只有一个前驱结点。
-树是递归定义的
1.2 树的性质
先上图方便理解:
节点的度:一个节点含有的子树的个数称为该节点的度; 如上图: A的为6
叶节点或终端节点:度为0的节点称为叶节点; 如上图: B、C、 H、 I...等节点为叶节点
非终端节点或分支节点:度不为0的节点; 如上图: D、 E、 F、G...等节点为分支节点
双亲节点或父节点:若一个节点含有子节点,则这个节点称为其子节点的父节点; 如上图: A是B的父节点
孩子节点或子节点:一个节点含有的子树的根节点称为该节点的子节点; 如上图: B是A的孩子节点
兄弟节点:具有相同父节点的节点互称为兄弟节点; 如上图: B、C是兄弟节点
树的度:一棵树中,最大的节点的度称为树的度; 如上图:树的度为6
节点的层次:从根开始定义起,根为第1层,根的子节点为第2层,以此类推;
树的高度或深度:树中节点的最大层次; 如上图:树的高度为4
堂兄弟节点:双亲在同一层的节点互为堂兄弟;如上图: H、 I互为兄弟节点
节点的祖先:从根到该节点所经分支上的所有节点;如上图: A是所有节点的祖先
子孙:以某节点为根的子树中任一节点都称为该节点的子孙。如上图:所有节点都是A的子孙
森林:由m ( m>0)棵互不相交的树的集合称为森林。
1.3 树如何用代码表示
可能有人说直接多来几个指针不就完事了呗,但是这样仔细想想,真的高效吗?这里我介绍我目前使用的一种方法,左孩子右兄弟法:
typedef int DataType;
struct Node
{
struct Node* _firstChild1; // 第一个孩子结点
struct Node* _pNextBrother;// 指向其下一个兄弟结点
DataType _data; // 结点中的数据域
};
感觉抽象的,我来给图:
二、二叉树
2.1 什么是二叉树?
二叉树是一种特殊的树,是结点的一个有限集合,由一个根结点加上左子树和右子树组成。 再通俗一点讲,就是一颗最多有两个叉的树:
看这副图,是不是能总结出一些特点?
-二叉树不存在度大于2的结点。
-二叉树的子树有左右之分,次序不能颠倒,因此二叉树是有序树。
需要注意的是,二叉树由这几种情况组成:
2.2 二叉树的性质与特殊情况
1. 若规定根节点的层数为1,则一棵非空二叉树的第i层上最多有2^(i-1)个结点.
2.若规定根节点的层数为1,则深度为h的二叉树的结点数最多为2^h-1 .
3.对任何一棵二叉树, 如果度为0其叶结点个数为 n0 , 度为2的分支结点个数为 n2 ,则有n0=n2 +1.
4.对于具有n个结点的完全二叉树,如果按照从上至下从左至右的数组顺序对所有节点从0开始编号,则对 于序号为i的结点有:
(1). 若i>0 ,i位置节点的双亲序号: (i-1)/2; i=0 ,i为根节点编号,无双亲节点
(2). 若2i+1<n,左孩子序号: 2i+1 ,2i+1>=n否则无左孩子
(3). 若2i+2<n,右孩子序号: 2i+2 ,2i+2>=n否则无右孩子
然而对于二叉树,有两种特殊情况:
满二叉树:一个二叉树,如果每一个层的结点数都达到最大值,则这个二叉树就是满二叉树。也就是说,如果一个二叉树的层数为K,且结点总数是2^k-1,此处与性质2对应,即最多结点情况,则它就是满二叉树。
完全二叉树:完全二叉树是效率很高的数据结构,完全二叉树是由满二叉树而引出来的。对于深度为K 的,有n个结点的二叉树,当且仅当其每一个结点都与深度为K的满二叉树中编号从1至n的结点一一对应时称之为完全二叉树。其实就是没有满的二叉树,不过没有满时,叶节点必须是从左到右,如图。
以上,就是树和二叉树的基本概念了。