数据结构之线索二叉树

一、线索二叉树的原理

指针域有许多空指针的存在，浪费空间。对于一个有n个结点的二叉链表，每个节点有指向左右孩子的两个指针域，所以一共是2n个指针域。而n个结点的二叉树一共有n-1条分支线数。也就是说，其实是存在2n-(n-1) = n+1 个空指针域。浪费内存资源。

另一方面，中序遍历后，得到了HDIBJEAFCG这样的字符序列，遍历过后，我们知道，结点I的前驱是D，后继是B，结点F的前驱是A，后继是C。我们很清楚的知道任意一个结点，它的前驱和后继是哪一个。

这是在遍历基础上。在二叉链表上，我们只能知道每个节点指向其左右孩子结点的地址，而不知道某个节点的前驱和后继。要想知道，必须遍历一遍。我们可以考虑创建的时候就记住这些前驱和后继。

指向前驱和后继的指针称为线索，加上线索的二叉链表称为线索链表，相应的二叉树就称为线索二叉树。   

其实线索二叉树，等于是把一棵二叉树转变成了一个双向链表，这样对我们的插入和删除结点、查找某个节点都带来了方便。对二叉树以某种次序遍历使其变为线索二叉树的过程称做是线索化。

如下图所示。

    因此，提出了一种方法，利用原来的空链域存放指针，指向树中其他结点。这种指针称为线索。

    记ptr指向二叉链表中的一个结点，以下是建立线索的规则：

    （1）如果ptr->lchild为空，则存放指向中序遍历序列中该结点的前驱结点。这个结点称为ptr的中序前驱；

    （2）如果ptr->rchild为空，则存放指向中序遍历序列中该结点的后继结点。这个结点称为ptr的中序后继；

    显然，在决定lchild是指向左孩子还是前驱，rchild是指向右孩子还是后继，需要一个区分标志的。因此，我们在每个结点再增设两个标志域ltag和rtag，注意ltag和rtag只是区分0或1数字的布尔型变量，其占用内存空间要小于像lchild和rchild的指针变量。结点结构如下所示。

    其中：

    （1）ltag为0时指向该结点的左孩子，为1时指向该结点的前驱；

    （2）rtag为0时指向该结点的右孩子，为1时指向该结点的后继；

    （3）因此对于上图的二叉链表图可以修改为下图的样子。

 

二、线索二叉树结构实现

    二叉树的线索存储结构定义如下：

    /* 二叉树的二叉线索存储结构定义*/

typedef enum{Link, Thread}PointerTag;    //Link = 0表示指向左右孩子                                     指针；Thread = 1表示指向前驱或后继的线索

 

typedef struct BitNode          //二叉线索存储结点结构

{

       char data;                                      //结点数据

       struct BitNode *lchild, *rchild;                //左右孩子指针

       PointerTag  Ltag;                               //左右标志

       PointerTag  rtal;

}BitNode, *BiTree;

 

 

    线索化的实质就是将二叉链表中的空指针改为指向前驱或后继的线索。由于前驱和后继信息只有在遍历该二叉树时才能得到，所以，线索化的过程就是在遍历的过程中修改空指针的过程。

    中序遍历线索化的递归函数代码如下：

1

2

3

4

5

6

7

BiTree pre;                 //全局变量，始终指向刚刚访问过的结点

//中序遍历进行中序线索化

void InThreading(BiTree p)

{

    if(NULL != p)

    {

        InThreading(p->lchild);          //递归左子树线索化

 

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

                //===

        if(NULL == p->lchild)           //没有左孩子

        {

            p->ltag = Thread;    //前驱线索

            p->lchild = pre;     //左孩子指针指向前驱

        }

        if(NULL == pre->rchild)     //没有右孩子

        {

            pre->rtag = Thread;  //后继线索

            pre->rchild = p;     //前驱右孩子指针指向后继(当前结点p)

        }

        pre = p;

                //===

        InThreading(p->rchild);      //递归右子树线索化

    }

}

 

 

    上述代码除了//===之间的代码以外，和二叉树中序遍历的递归代码机会完全一样。只不过将打印结点的功能改成了线索化的功能。

 

    中间部分代码做了这样的事情：

    if(NULL == p->lchild)表示如果某结点的左指针域为空，因为其前驱结点刚刚访问过，赋值了pre，所以可以将pre赋值给p->lchild，并修改p->ltag = Thread（也就是定义为1）以完成前驱结点的线索化。

    后继就麻烦一些。因为此时p结点的后继还没有访问到，因此只能对它的前驱结点pre的右指针rchild做判断，if(NULL == pre->rchild)表示如果为空，则p就是pre的后继，于是pre->rchild = p，并且设置pre->rtag = Thread，完成后继结点的线索化。

    完成前驱和后继的判断后，不要忘记当前结点p赋值给pre，以便于下一次使用。

    

    有了线索二叉树后，对它进行遍历时，其实就等于操作一个双向链表结构。

    和双向链表结点一样，在二叉树链表上添加一个头结点，如下图所示，并令其lchild域的指针指向二叉树的根结点（图中第一步），其rchild域的指针指向中序遍历访问时的最后一个结点（图中第二步）。反之，令二叉树的中序序列中第一个结点中，lchild域指针和最后一个结点的rchild域指针均指向头结点（图中第三和第四步）。这样的好处是：我们既可以从第一个结点起顺后继进行遍历，也可以从最后一个结点起顺前驱进行遍历。

 

    遍历代码如下所示。

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

//t指向头结点，头结点左链lchild指向根结点，头结点右链rchild指向中序遍历的最后一个结点。

//中序遍历二叉线索树表示二叉树t

int InOrderThraverse_Thr(BiTree t)

{

    BiTree p;

    p = t->lchild;                               //p指向根结点

    while(p != t)                               //空树或遍历结束时p == t

    {

        while(p->ltag == Link)                       //当ltag = 0时循环到中序序列的第一个结点

        {

            p = p->lchild;

        }

        printf("%c ", p->data);                      //显示结点数据，可以更改为其他对结点的操作

        while(p->rtag == Thread && p->rchild != t)

        {

            p = p->rchild;

            printf("%c ", p->data);

        }

 

        p = p->rchild;                         //p进入其右子树

    }

 

    return OK;

}

    说明：

 

    （1）代码中，p = t->lchild；意思就是上图中的第一步，让p指向根结点开始遍历；

    （2）while(p != t)其实意思就是循环直到图中的第四步出现，此时意味着p指向了头结点，于是与t相等（t是指向头结点的指针），结束循环，否则一直循环下去进行遍历操作；

    （3）while(p-ltag == Link)这个循环，就是由A->B->D->H，此时H结点的ltag不是link（就是不等于0），所以结束此循环；

    （4）然后就是打印H；

    （5）while(p->rtag == Thread && p->rchild != t)，由于结点H的rtag = Thread（就是等于1），且不是指向头结点。因此打印H的后继D，之后因为D的rtag是Link，因此退出循环；

    （6）p=p->rchild；意味着p指向了结点D的右孩子I；

    （7）.....，就这样不断的循环遍历，直到打印出HDIBJEAFCG，结束遍历操作。

 

    从这段代码可以看出，它等于是一个链表的扫描，所以时间复杂度为O(n)。

    由于充分利用了空指针域的空间（等于节省了空间），又保证了创建时的一次遍历就可以终生受用后继的信息（意味着节省了时间）。所以在实际问题中，如果所用的二叉树需要经过遍历或查找结点时需要某种遍历序列中的前驱和后继，那么采用线索二叉链表的存储结构就是非常不错的选择。

 

如果需要完整程序，可找我索取。

来自：《大话数据结构》

二叉线索树还是有些地方不是很懂，以后有时间继续搞起。数据结构很不好搞。