二叉树的相关概念-堆

1.树概念及结构

1.1树的概念

树是一种非线性的数据结构，它是由n（n>=0）个有限结点组成一个具有层次关系的集合。把它叫做树是因为它看起来像一棵倒挂的树，也就是说它是根朝上，而叶朝下的。
1>有一个特殊的结点，称为根结点，根结点没有前驱结点
2>除根结点外，其余结点被分成M(M>0)个互不相交的集合T1、T2、……、Tm，其中每一个集合Ti(1<= i 
<= m)又是一棵结构与树类似的子树。每棵子树的根结点有且只有一个前驱，可以有0个或多个后继

3>因此，树是递归定义的。

注意：树形结构中，子树之间不能有交集，否则就不是树形结构

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; // 结点中的数据域
};

1.4 树在实际中的运用（表示文件系统的目录树结构）

2.二叉树概念及结构

2.1概念
一棵二叉树是结点的一个有限集合，该集合:
1. 或者为空
2. 由一个根结点加上两棵别称为左子树和右子树的二叉树组成

从上图可以看出：

1. 二叉树不存在度大于2的结点
2. 二叉树的子树有左右之分，次序不能颠倒，因此二叉树是有序树
注意：对于任意的二叉树都是由以下几种情况复合而成的：

2.2现实中的二叉树：

1. 满二叉树：一个二叉树，如果每一个层的结点数都达到最大值，则这个二叉树就是满二叉树。也就是
说，如果一个二叉树的层数为K，且结点总数是 ，则它就是满二叉树。
2. 完全二叉树：完全二叉树是效率很高的数据结构，完全二叉树是由满二叉树而引出来的。对于深度为K
的，有n个结点的二叉树，当且仅当其每一个结点都与深度为K的满二叉树中编号从1至n的结点一一对应时称之为完全二叉树。 要注意的是满二叉树是一种特殊的完全二叉树。

总的来说完全二叉树的前h-1层（倒数第二层）都是满的，最后一层从左到右必须是连续的

2.4 二叉树的性质

1. 若规定根结点的层数为1，则一棵非空二叉树的第i层上最多有2^(i-1) 个结点.
2. 若规定根结点的层数为1，则深度为h的二叉树的最大结点数是2^h - 1 .
3. 对任何一棵二叉树, 如果度为0其叶结点个数为n0 , 度为2的分支结点个数为n2 ,则有n0 ＝n2 ＋1

/*
* 假设二叉树有N个结点
* 从总结点数角度考虑：N = n0 + n1 + n2 ①
* 
* 从边的角度考虑，N个结点的任意二叉树，总共有N-1条边
* 因为二叉树中每个结点都有双亲，根结点没有双亲，每个节点向上与其双亲之间存在一条边
* 因此N个结点的二叉树总共有N-1条边
* 
* 因为度为0的结点没有孩子，故度为0的结点不产生边; 度为1的结点只有一个孩子，故每个度为1的结点* * 产生一条边; 度为2的结点有2个孩子，故每个度为2的结点产生两条边，所以总边数为：
n1+2*n2 
* 故从边的角度考虑：N-1 = n1 + 2*n2 ②
* 结合① 和 ②得：n0 + n1 + n2 = n1 + 2*n2 - 1
* 即：n0 = n2 + 1
*/

4. 若规定根结点的层数为1，具有n个结点的满二叉树的深度，h=log2(n+1)
. (ps：log2(n+1)是以2为底，n+1为对数）
是log以2
为底，n+1为对数)
5. 对于具有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否则无右孩子

2.5 二叉树的存储结构

二叉树一般可以使用两种结构存储，一种顺序结构，一种链式结构。
1. 顺序存储
顺序结构存储就是使用数组来存储，一般使用数组只适合表示完全二叉树，因为不是完全二叉树会有空间的浪费。而现实中使用中只有堆才会使用数组来存储，关于堆我们后面的章节会专门讲解。二叉树顺序存储在物理上是一个数组，在逻辑上是一颗二叉树。

2. 链式存储
二叉树的链式存储结构是指，用链表来表示一棵二叉树，即用链来指示元素的逻辑关系。 通常的方法是链表中每个结点由三个域组成，数据域和左右指针域，左右指针分别用来给出该结点左孩子和右孩子所在的链结点的存储地址 。链式结构又分为二叉链和三叉链，当前我们学习中一般都是二叉链，后面课程学到高阶数据结构如红黑树等会用到三叉链。

typedef int BTDataType;
// 二叉链
struct BinaryTreeNode
{
    struct BinTreeNode* left; // 指向当前结点左孩子 
    struct BinTreeNode* right; // 指向当前结点右孩子 
    BTDataType data; // 当前结点值域
}
// 三叉链
struct BinaryTreeNode
{
    struct BinTreeNode* parent; // 指向当前结点的双亲 
    struct BinTreeNode* left; // 指向当前结点左孩子 
    struct BinTreeNode* right; // 指向当前结点右孩子 
    BTDataType data; // 当前结点值域
}；

3.二叉树顺序结构及实现

3.1 二叉树的顺序结构

普通的二叉树是不适合用数组来存储的，因为可能会存在大量的空间浪费。而完全二叉树更适合使用顺序结构存储。现实中我们通常把堆(一种二叉树)使用顺序结构的数组来存储，需要注意的是这里的堆和操作系统虚拟进程地址空间中的堆是两回事，一个是数据结构，一个是操作系统中管理内存的一块区域分段。

3.2 堆的概念及结构

如果有一个关键码的集合K = { ， ， ，…， }，把它的所有元素按完全二叉树的顺序存储方式存储在一个一维数组中，并满足： <= 且 <=  ( >= 且 >= ) i = 0，1，
2…，则称为小堆(或大堆)。将根结点最大的堆叫做最大堆或大根堆，根结点最小的堆叫做最小堆或小根堆。

堆的性质：
        1.堆中某个结点的值总是不大于或不小于其父结点的值；
        2.堆总是一棵完全二叉树。

也就是说：

        1.大堆：就是父亲要比孩子大，但是与孩子之间的大小无关（堆顶最大）

        2.小堆：就是父亲要比孩子小，但是与孩子之间的大小无关（堆顶最小）

不过这里的二叉树的堆和之前学的堆是不一样的

3.3 堆的实现

3.2.1 堆向下调整算法

现在我们给出一个数组，逻辑上看做一颗完全二叉树。我们通过从根结点开始的向下调整算法可以把它调整成一个小堆。向下调整算法有一个前提：左右子树必须是一个堆，才能调整。

int array[ ] = {27,15,19,18,28,34,65,49,25,37};

3.2.2堆的创建

下面我们给出一个数组，这个数组逻辑上可以看做一颗完全二叉树，但是还不是一个堆，现在我们通过算法，把它构建成一个堆。根结点左右子树不是堆，我们怎么调整呢？这里我们从倒数的第一个非叶子结点的子树开始调整，一直调整到根结点的树，就可以调整成堆。

int a[ ] = {1,5,3,8,7,6}; 

3.2.3 建堆时间复杂度

因为堆是完全二叉树，而满二叉树也是完全二叉树，此处为了简化使用满二叉树来证明(时间复杂度本来看的就是近似值，多几个结点不影响最终结果)：

因此：建堆的时间复杂度为O(N)。

3.2.4 堆的插入

先插入一个10到数组的尾上，再进行向上调整算法，直到满足堆。

3.2.5 堆的删除

删除堆是删除堆顶的数据，将堆顶的数据根最后一个数据一换，然后删除数组最后一个数据，再进行向下调整算法。

3.2.6 堆的代码实现

咋们先首先了解数组存储二叉树

用下标父子关系：

        假设父亲在数组中的下标：i

        左孩子在数组中的下标：2*i+1

        右孩子在数组中的下标：2*i+2

        假设孩子在数组中的下标：j

        父亲在数组中的下标为（j-1)/2  ----》本来这里要区分左孩子和右孩子的但是这里由于有向下取整，所以不管是左孩子还是右孩子，都可以用（j-1）/2就能算出父亲的位置

void swap(HPDataType *p1,HPDatatype *p2)
{
    HPDataType temp = *p1;
    *p1 = *p2;
    *p2 = temp;
}

3.2.6.结构体的构建

typedef int HPDataType;
Typedef struct Heap
{
    HPDataType* a;
    int size;//有效数据的下一个
    int capacity;//空间大小
}HP;

3.2.6.2结构体的初始化

void HPInit(HP*php)
{
    assert(php);
    php->a = NULL;
    php->size = php->capacity = 0;
}

3.2.6.3堆的销毁

void HPDestroy（HP*php)
{
    assert(php);
    free(php->a);
    php->a = NULL;
    php->size = php->capacity =0;
} 

3.2.6.4堆的构建//或者向上建堆

//有些是这样命名的,但本质都一样
//void AdjustUp(HPDataType *a,int child);
void HPCreate(HPDataType *a,int child)
{
    int parent = (child-1)/2;
    while(child>0)
    {
        if(a[child]>a[parent])
        {
            swap(&a[child],&a[parent]);
            child =parent;
            parent = (child-1)/2;
        }
        else
            break;    
    }
}

3.2.6.4堆的插入

void HPPush(HP* php,HPDataType x)
{
    assert(php);
    //插入元素之前，先判断空间够不够，
    //不够就得扩容
    if(php->size = php->capacity)
    {
        int newcapacity = php->capacity==0?4:2*php->capacity;
        HPDataType * temp = (HPDataType*)realloc(php->a,newcapacity*sizeof(HPDataType));
    
        if(temp==NULL)
        {
            perror("realloc fail!");
        }
        php->capacity = newcapacity;
        php->a = temp;
    }
    php->a[php->size++] =x;
    HPCreate(php->a,php->size-1);
}

3.2.6.5向下调整堆/这个也是可以建堆的

void AdjustDown(HPDatatype *a,int n,int parent)
{
    //先假设左孩子小
    int child = parent *2+1;
    while(child<n)//child>=n说明孩子不存在，调整到叶子了;
    {
        //找出小的孩子
        if(child+1<n && a[child+1]<a[child])
        {
            ++child;
        }
        if(a[child]<a[parent])
        {
            swap(&a[child],&a[parent]);
            parent = child;
            child = parent *2+1;
        }
        else
            break;
    }
}

3.2.6.6堆的删除

这个意义就类似能够获取前十名的富豪的排名等等

void HPPop(HP*php)
{
    assert(php);
    assert(php->size>0);
    //第一个数据和最后一个数据互换
    sawp(&php->a[0],&php->a[php->size-1]);
    php->size--;
    AdjustDown(php->a,php->size,0);
}

3.2.6.7取堆顶的数据

HPDataType HPTop(HP*php)
{
    assert(php);
    assert(php->size>0);
    return php->a[0];
}

3.2.6.8堆的判空

bool HPEmpty(HP*php)
{
    assert(php);
    return php->size == 0;
}

3.2.6.9堆的个数 

void HPSize(HP*php)
{
    assert(php);
    return php->size;
}