为什么要研究线索二叉树?
上图所示的是二叉树的二叉链表结构,使用二叉链表结构,可以很方便地找到某个结点的左右孩子;但在一般情况下,无法直接找到该结点在某种遍历序列中的前驱和后继结点。
针对以上问题,解决办法如下:
- 通过遍历寻找——费时间
- 在增设前驱和后继指针域——费空间
- 利用二叉链表中的空指针域 ——线索二叉树的原理
线索二叉树
在之前描述二叉链表的时候(二叉链表),有:在具有n个结点的二叉链表中,一共有2n个指针域,其中n-1个指针域存放结点间双亲和孩子的关系,另外有n+1个指针域为空。
这里就利用这n+1个指针域来存放该节点前驱和后继的关系,如果某个结点的左孩子为空,则将空的左孩子指针域改为指向其前驱;如果某结点的右孩子为空,则将空的右孩子指针域改为指向其后继。——这种改变指向的指针称为线索。
加上线索的二叉树称为线索二叉树。对二叉树按某种遍历次序使其变为线索二叉树的过程叫线索化。
例子:
为了区分lchild和rchild指针到底是指向孩子的指针,还是指向前驱或者后继的指针,对二叉链表中每个结点增设两个标志域ltag和rtag,并约定:
- ltag=0 lchild指向该结点的左孩子
- ltag=1 lchild指向该结点的前驱
- rtag=0 lchild指向该结点的右孩子
- rtag=1 lchild指向该结点的后继
这样以来,结点的结构为:
结点类型定义:
typedef struct BiThrNode
{
int data;
int ltag, rtag;
struct BiThrNode *lchild, *rchild;
}BiThrNode,*BiThrTree;
几个例子:
对于上图中的线索二叉树,对于中序序列,其头结点H和尾结点G共有两个指针悬空,那么为了避免这种悬空状态,同时也为了处理方便,所以增设了一个头结点。
- 增设一个头结点:
- 头结点中依旧有5个成员
- ltag=0,lchild指向根结点
- rtag=1,rchild指向遍历序列中最后一个结点
- 遍历序列中第一个结点的lc域和最后一个结点的rc域都指向头结点。