纸上谈兵: 树, 二叉树, 二叉搜索树

  • 时间:
  • 浏览:2
  • 来源:5分时时彩官网_线上5分时时彩投注平台_网络5分时时彩平台

作者:Vamei 出处:http://www.cnblogs.com/vamei 欢迎转载,也请保留这段声明。谢谢!

树的行态和定义

树(Tree)是元素的集合。大伙儿先以比较直观的最好的办法介绍树。下面的数据行态是有另还还有一个树:

树有多个节点(node),用以储存元素。但会 节点之间趋于稳定一定的关系,用连线表示,连线称为边(edge)。边的上面节点称为父节点,下端称为子节点。树像是有另还还有一个不断分叉的树根。

每个节点可能能 有多个子节点(children),而该节点是相应子节点的父节点(parent)。比如说,3,5是6的子节点,6是3,5的父节点;1,8,7是3的子节点, 3是1,8,7的父节点。树有有另还还有一个没法父节点的节点,称为根节点(root),如图中的6。没法子节点的节点称为叶节点(leaf),比如图中的1,8,9,5节点。从图中还可能能 看完,上面的树总共有有另还还有一个层次,6趋于稳定第一层,9趋于稳定第四层。树中节点的最大层次被称为宽度。也时候 我我说,该树的宽度(depth)为4。

不可能 大伙儿从节点3时候结速向下看,而忽略其它要素。没法大伙儿看完的是有另还还有一个以节点3为根节点的树:

三角形代表一棵树

再进一步,不可能 大伙儿定义孤立的有另还还有一个节点是一棵树语句,原本的树就可能能 表示为根节点和子树(subtree)的关系:

上述观察实际上给了大伙儿四种 严格的定义树的最好的办法:

1. 树是元素的集合。

2. 该集合可能能 为空。这时树中没法元素,大伙儿称树为空树 (empty tree)

3. 不可能 该集合不为空,没法该集合有有另还还有一个根节点,以及0个不可能 多个子树。根节点与它的子树的根节点用有另还还有一个边(edge)相连。

上面的第三点是以递归的最好的办法来定义树,也时候 我我在定义树的过程中使用了树自身(子树)。不可能 树的递归行态,但会 树相关的操作也可能能 方便的使用递归实现。大伙儿将在上面看完。

(上述定义来自"Data Structures and Algorithm Analysis in C, by Mark Allen Weiss"。 我着实有但会 不太严格的地方。不可能 说空树属于树,第三点应该是 “...以及0个和多个非空子树...” )

树的实现

树的示意图不可能 给出了树的四种 内存实现最好的办法: 每个节点储存元素和多个指向子节点的指针。然而,子节点数目是不选择的。有另还还有一个父节点不可能 有几瓶的子节点,而原本父节点不可能 只有有另还还有一个子节点,而树的增删节点操作会让子节点的数目趋于稳定进一步的变化。你这名 不选择性就不可能 带来几瓶的内存相关操作,时候 我我容易造成内存的浪费。

四种 经典的实现最好的办法如下:

树的内存实现

拥有同一父节点的有另还还有一个节点互为兄弟节点(sibling)。上图的实现最好的办法中,每个节点包含高有另还还有一个指针指向第有另还还有一个子节点,并有原本指针指向它的下有另还还有一个兄弟节点。原本,大伙儿就可能能 用统一的、选择的行态来表示每个节点。

计算机的文件系统是树的行态,比如Linux文件管理背景知识中所介绍的。在UNIX的文件系统中,每个文件(文件夹同样是四种 文件),都可能能 看做是有另还还有一个节点。非文件夹的文件被储趋于稳定叶节点。文件夹包含指向父节点和子节点的指针(在UNIX中,文件夹还包含高另还还有一个指向自身的指针,这与大伙儿上面见到的树有所区别)。在git中,全部后要 之类的树状行态,用以表达整个文件系统的版本变化 (参考版本管理三国志)。

文件树

二叉搜索树的C实现

二叉树(binary)是四种 特殊的树。二叉树的每个节点最多只有有有另还还有一个子节点

二叉树

不可能 二叉树的子节点数目选择,时候 我可能能 直接采用上图最好的办法在内存中实现。每个节点有有另还还有一个左子节点(left children)右子节点(right children)。左子节点是左子树的根节点,右子节点是右子树的根节点。

不可能 大伙儿给二叉树加有另还还有一个额外的条件,就可能能 得到四种 被称作二叉搜索树(binary search tree)的特殊二叉树。二叉搜索树要求:每个节点全部后要 比它左子树的任意元素小,时候 我我不比它的右子树的任意元素大。

(不可能 大伙儿假设树中没法重复的元素,没法上述要求可能能 写成:每个节点比它左子树的任意节点大,时候 我我比它右子树的任意节点小)

二叉搜索树,注意树中元素的大小

二叉搜索树可能能 方便的实现搜索算法。在搜索元素x的时候 ,大伙儿可能能 将x和根节点比较:

1. 不可能 x等于根节点,没法找到x,停止搜索 (终止条件)

2. 不可能 x小于根节点,没法搜索左子树

3. 不可能 x大于根节点,没法搜索右子树

二叉搜索树所都要进行的操作次数最多与树的宽度相等。n个节点的二叉搜索树的宽度最多为n,共要为log(n)。

下面是用C语言实现的二叉搜索树,并有搜索插入删除寻找最大最小节点的操作。每个节点中存有有另还还有一个指针,有另还还有一个指向父节点,有另还还有一个指向左子节点,有另还还有一个指向右子节点。

(原本的实现是为了方便。节点可能能 只保存有指向左右子节点的有另还还有一个指针,并实现上述操作。)

删除节点相对比较多样化。删除节点后,有时都要进行一定的调整,以恢复二叉搜索树的性质(每个节点全部后要 比它左子树的任意元素小,时候 我我不比它的右子树的任意元素大)。

  • 叶节点可能能 直接删除。
  • 删除非叶节点时,比如下图中的节点8,大伙儿可能能 删除左子树中最大的元素(不可能 右树中最大的元素),用删除的节点来补充元素8产生的空缺。但该元素不可能 也全部后要 叶节点,时候 我它所产生的空缺都要但会 元素补充…… 直到最后删除有另还还有一个叶节点。上述过程可能能 递归实现。

删除节点

删除节点后的二叉搜索树

/* By Vamei */
/* binary search tree */
#include <stdio.h>
#include <stdlib.h>

typedef struct node *position;
typedef int ElementTP;

struct node {
    position parent;
    ElementTP element;
    position lchild;
    position rchild;
};

/* pointer => root node of the tree */
typedef struct node *TREE;

void print_sorted_tree(TREE);
position find_min(TREE);
position find_max(TREE);
position find_value(TREE, ElementTP);
position insert_value(TREE, ElementTP);
ElementTP delete_node(position);

static int is_root(position);
static int is_leaf(position);
static ElementTP delete_leaf(position);
static void insert_node_to_nonempty_tree(TREE, position);

void main(void) 
{
    TREE tr;
    position np;
    ElementTP element;
    tr = NULL;
    tr = insert_value(tr, 18);
    tr = insert_value(tr, 5);
    tr = insert_value(tr, 2); 
    tr = insert_value(tr, 8);
    tr = insert_value(tr, 81);
    tr = insert_value(tr, 101);
    printf("Original:\n");
    print_sorted_tree(tr);

    np = find_value(tr, 8);
    if(np != NULL) {
        delete_node(np);
        printf("After deletion:\n");
        print_sorted_tree(tr);
    }
}


/* 
 * print values of the tree in sorted order
 */
void print_sorted_tree(TREE tr)
{
    if (tr == NULL) return;
    print_sorted_tree(tr->lchild);
    printf("%d \n", tr->element);
    print_sorted_tree(tr->rchild);
}

/*
 * search for minimum value
 * traverse lchild
 */
position find_min(TREE tr)
{
    position np;
    np = tr;
    if (np == NULL) return NULL;
    while(np->lchild != NULL) {
        np = np->lchild;
    }
    return np;
}

/*
 * search for maximum value
 * traverse rchild
 */
position find_max(TREE tr)
{
    position np;
    np = tr;
    if (np == NULL) return NULL;
    while(np->rchild != NULL) {
        np = np->rchild;
    }
    return np;
}

/*
 * search for value
 *
 */
position find_value(TREE tr, ElementTP value) 
{
    if (tr == NULL) return NULL; 

    if (tr->element == value) {
        return tr;
    }
    else if (value < tr->element) {
        return find_value(tr->lchild, value);
    }
    else {
        return find_value(tr->rchild, value);
    }
}

/* 
 * delete node np 
 */
ElementTP delete_node(position np) 
{
    position replace;
    ElementTP element;
    if (is_leaf(np)) {
        return delete_leaf(np);
    }   
    else {
        /* if a node is not a leaf, then we need to find a replacement */
        replace = (np->lchild != NULL) ? find_max(np->lchild) : find_min(np->rchild);
        element = np->element;
        np->element = delete_node(replace);
        return element;
    }
}

/* 
 * insert a value into the tree
 * return root address of the tree
 */
position insert_value(TREE tr, ElementTP value) {
    position np;
    /* prepare the node */
    np = (position) malloc(sizeof(struct node));
    np->element = value;
    np->parent  = NULL;
    np->lchild  = NULL;
    np->rchild  = NULL;
 
    if (tr == NULL) tr = np;
    else {
        insert_node_to_nonempty_tree(tr, np);
    }
    return tr;
}


//=============================================

/*
 * np is root?
 */
static int is_root(position np)
{
    return (np->parent == NULL);
}

/*
 * np is leaf?
 */
static int is_leaf(position np)
{
    return (np->lchild == NULL && np->rchild == NULL);
}

/* 
 * if an element is a leaf, 
 * then it could be removed with no side effect.
 */
static ElementTP delete_leaf(position np)
{
    ElementTP element;
    position parent;
    element = np->element;
    parent  = np->parent;
    if(!is_root(np)) {
        if (parent->lchild == np) {
            parent->lchild = NULL;
        }
        else {
            parent->rchild = NULL;
        }
    }
    free(np);
    return element;
}

/*
 * insert a node to a non-empty tree
 * called by insert_value()
 */
static void insert_node_to_nonempty_tree(TREE tr, position np)
{
    /* insert the node */
    if(np->element <= tr->element) {
        if (tr->lchild == NULL) {
            /* then tr->lchild is the proper place */
            tr->lchild = np;
            np->parent = tr;
            return;
        }
        else {
            insert_node_to_nonempty_tree(tr->lchild, np);
        }
    }
    else if(np->element > tr->element) {
        if (tr->rchild == NULL) {
            tr->rchild = np;
            np->parent = tr;
            return;
        }
        else {
            insert_node_to_nonempty_tree(tr->rchild, np);
        }
    }
}

运行结果:

Original:

2

5

8

18

81

101

After deletion:

2

5

18

81

101

上述实现中的删除比较多样化。有四种 简单的替代操作,称为懒惰删除(lazy deletion)。在懒惰删除时,大伙儿不让真正从二叉搜索树中删除该节点,时候 我我将该节点标记为“已删除”。原本,大伙儿只用找到元素并标记,就可能能 完成删除元素了。不可能 有相同的元素重新插入,大伙儿可能能 将该节点找到,并收回删除标记。

懒惰删除的实现比较简单,可能能 尝试一下。树所趋于稳定的内存空间不让不可能 删除节点而减小。懒惰节点实际上是用内存空间换取操作的简便性。

总结

树, 二叉树, 二叉搜索树

二叉搜索树的删除

懒惰删除

欢迎继续阅读“纸上谈兵: 算法与数据行态”系列。