结点结构如下:
其中,ltag为0时指向该结点的左孩子,为1时指向该结点的前驱;rtag为0时指向该结点的有孩子,为1时指向该结点的后继。
线索二叉树结构实现:
typedef int TElemType;
typedef enum{Link,Thread} PointerTag;
typedef struct BiThrNode
{
TElemType data;
struct BiThrNode *lchild,*rchild;
PointerTag LTag;
PointerTag RTag;
}BiThrNode,*BiThrTree;
线索化的实质是将二叉链表中的空指针改为指向前驱或者后继的线索。由于前驱和后继的信息只有在遍历时才能得到,所以线索化的过程就是在遍历的过程中修改空指针的过程。
中序遍历线索化的递归函数代码如下:
/* 中序遍历进行中序线索化 */
void InThreading(BiThrTree p)
{
if(p)
{
InThreading(p->lchild); /* 递归左子树线索化 */
if(!p->lchild) /* 没有左孩子 */
{
p->LTag=Thread; /* 前驱线索 */
p->lchild=pre; /* 左孩子指针指向前驱 */
}
if(!pre->rchild) /* 前驱没有右孩子 */
{
pre->RTag=Thread; /* 后继线索 */
pre->rchild=p; /* 前驱右孩子指针指向后继(当前结点p) */
}
pre=p; /* 保持pre指向p的前驱 */
InThreading(p->rchild); /* 递归右子树线索化 */
}
}
和双向链表结构一样,在二叉树线索链表中添加一个头结点。其中令其lchild域的指针指向二叉树的根节点,其rchild域的线索为中序遍历时访问的最后一个结点。令二叉树中的第一个结点中,lchild域的线索和最后一个结点的rchild雨线索均指向头结点。
/* 中序遍历二叉线索树T(头结点)的非递归算法 */
Status InOrderTraverse_Thr(BiThrTree T)
{
BiThrTree p;
p=T->lchild; /* p指向根结点 */
while(p!=T)/*当遍历没有结束,也就是没有回到头结点*/
{
while(p->LTag==Link)/*如果p有左孩子,则一直循环知道找到p结点左子树中序遍历的第一个结点*/
p=p->lchild;
if(!visit(p->data))/*输出找到的结点*/
return ERROR;
while(p->RTag==Thread&&p->rchild!=T)/*如果p的RTag域为线索,也就是==Thread,那么说明p->rchild存储的就是p的中序遍历的下一结点,直接打印,否则不打印,跳到其右子树(说明此节点为非叶子结点,它的后继不是它右子树的根节点)*/
{
p=p->rchild;
visit(p->data);
}
p=p->rchild;
}
return OK;
}
(参考自《大话数据结构》)