基本概念:对于n个结点的二叉树,在二叉链存储结构中有n+1个空链域,利用这些空链域存放在某种遍历次序下该结点的前驱结点和后继结点的指针,这些指针称为线索,加上线索的二叉树称为线索二叉树,这种加上了线索的二叉链表称为线索链表。根据线索性质的不同,线索二叉树可分为前序线索二叉树、中序线索二叉树和后序线索二叉树三种。
首先需要修改二叉树节点的定义。如下:
typedef struct node
{
struct node *lchild;
int ltag; //ltag=0 时lchild指向左孩子;ltag=1 时lchild指向前驱;
int data; //数据域,类型可以自定义
int rtag; //rtag=0 时rchild指向右孩子;rtag=1 时rchild指向后继;
struct node *rchild;
}BiThrNodeType;
建立线索二叉树,或者说对二叉树线索化,其
实质就是将二叉链表中的空指针改为指向前驱或后继的线索。
由于前驱和后继信息只有在遍历该二叉树时才能得到,所以,线索化的过程就是在遍历的过程中修改空指针的过程。在遍历过程中,访问结点的操作是检查当前的左,右指针域是否为空,将它们改为指向前驱结点或后续结点的线索。为实现这一过程,设指针pre始终指向刚刚访问的结点,即若指针p指向当前结点,则pre指向它的前驱,以便设线索。
另外,在对一棵二叉树加线索时,必须首先申请一个头结点,建立头结点与二叉树的根结点的指向关系,对二叉树线索化后,还需建立最后一个结点与头结点之间的线索。下面例子通过中序遍历实现中序线索化:
void
InThreading(BiThrTree*p);
//预先声明
BiThrNodeType *pre;
BiThrTree *InOrderThr(BiThrTree *T)
{
/*中序遍历二叉树T,并将其中序线索化,pre为全局变量*/
BiThrTree *head;
//线索二叉树的头结点,指向根结点
head=(BitThrNodeType*)
malloc
(
sizeof
(BitThrNodeType));
/*设申请头结点成功*/
if(!head)
{
exit(1);
}
head->ltag=0;head->rtag=1;
/*建立头结点*/
head->rchild=head;
/*右指针回指*/
if
(!T)
head->lchild=head;
/*若二叉树为空,则左指针回指*/
else
{
head->lchild=T;pre=head;
InThreading(T);
/*中序遍历进行中序线索化*/
pre->rchild=head;
pre->rtag=1;
/*最后一个结点线索化*/
head->rchild=pre;
}
returnhead;
}
/*通过中序遍历进行中序线索化*/
voidInThreading(BiThrTree*p)
{
if
(p)
{
InThreading(p->lchild);
/*左子树线索化,递归*/
if
(p->lchild==NULL)
/*前驱线索*/
{
p->ltag=1;
p->lchild=pre;
}
else
p->ltag=0;
if
(p->rchild==NULL)
p->rtag=1;
/*后驱线索*/
else
p->rtag=0;
if
(pre!=NULL&&pre->rtag==1)
pre->rchild=p;
pre=p;
InThreading(p->rchild);
/*右子树线索化*/
}
}
由于充分利用了空指针域的空间(等于节省了空间),又保证了创建时的一次遍历就可以终生受用后继的信息(意味着节省了时间)。所以在实际问题中,如果所用的二叉树需要经过遍历或查找结点时需要某种遍历序列中的前驱和后继,那么采用线索二叉链表的存储结构就是非常不错的选择。
本文参考了http://blog.csdn.net/u014492609/article/details/40477795