线索二叉树

定义

对于n个结点的二叉树，在二叉链存储结构中有n+1个空链域，利用这些空链域存放在某种遍历次序下该结点的前驱结点和后继结点的指针，这些指针称为线索，加上线索的二叉树称为线索二叉树。
规定：若无左子树，令 lchild 指向其前驱结点；若无右子树，令 rchild 指向其后继结点。如下图所示，除此之外，还需要增加两个标志域标识指针域是指向左（右）孩子还是前驱（后继）；

其中，标志域的含义如下：
ltag：为0时lchild域指示结点的左孩子，为1时lchild域指示结点的前驱；
rtag：为0时rchild域指示结点的右孩子，为1时rchild域指示结点的后继：

线索二叉树的存储结构描述如下：

typedef struct ThreadNode{
	ElemType data;						//数据元素
	struct ThreadNode *lchild,*rchild;	//左，右孩子指针
	int ltag, rtag;						//左，右线索标志
}ThreadNode,*ThreadTree;

以这种节点结构构成的二叉链表作为二叉树的存储结构，称为线索链表，其中指向结点前驱或后继的指针称为线索，加上线索的二叉树称为线索二叉树；

二叉树的线索化事将二叉链表中的空指针改为指向前驱或后继的线索，而前驱或者后继的信息只有遍历时才能得到，因此线索化的实质就是遍历一次二叉树；

下面以下图为例建立三种线索二叉树：

中序线索二叉树

设指针 pre 指向刚刚访问过的结点，指针 p 指向正在访问的结点，即 pre 指向 p 的前驱；再进行中序遍历的时候，检查p 的左指针是否为空，若为空就将它指向 pre ；检查 pre 的右指针是否为空，若为空就将它指向 p ，如下图：

通过中序遍历对二叉树线索化的递归算法如下：

void InThreading(BiThrTree &p,BiThrTree &pre) {
		if(p!=NULL){
			InThread(p->lchild,pre);		//递归，线索化左子树
			if(p->lchild == NULL){			//左子树为空，建立前驱线索
				p->lchild = pre;
				p->ltag = 1;
			}
			if(pre != NULL && pre->rchild == NULL){
				pre->rchild = p;			//建立前驱结点的后继线索
				pre->rtag = 1;
			}
		}	
	   pre = p;                         //标记当前结点称为刚刚访问过的结点
	   InThreading(B->rchild,pre);
	}
}

通过中序遍历建立中序线索二叉树的主过程算法如下：

void CreateThread(ThreadTree T){
	ThreadTree pre = NULL;
	if(T != NULL){				//非空二叉树，线索化
		InThread(T, pre);		//线索化二叉树
		pre->rchild = NULL;		//处理遍历的最后一个结点
		pre->rtag = 1;
	}
}

中序线索二叉树的遍历

中序线索二叉树的结点中隐含了线索二叉树的前驱和后继信息，在对其进行遍历时候，只要先找到序列中的第一个结点，然后依次找到结点的后继，直至后继为空。再中序线索二叉树中找后继结点的规律是：若其后标志为”1“，则右链为线索，指示其后继，否则遍历右子树中第一个访问的结点（即右子树最左下的结点）为其后继。不含头结点的线索二叉树的遍历算法如下：

1.求中序线索二叉树中中序序列下的第一个结点：

ThreadNode *Firstnode(ThreadNode *p){
	while(p->ltag == 0)
		p = p->lchild;				//最左下结点（不一定是叶节点）
	return p;
}

2.求中序线索二叉树中结点 p 在中序序列下的后继：

ThreadNode *Nextnode(ThreadNode *p){
	if(p->ltag == 0)
		return p = p->lchild;			
	else
		return p->rchild;	//rtag==1直接返回后继线索
}

3.利用上面的两个算法，可以写出不含头结点的中序线索二叉树的中序遍历算法：

void Inorder(ThreadNode *T){
	for(ThreadNode *p = Firstnode; p!=NULL; p = Nextnode(p))
		visit(p);
}

先序线索二叉树和后序线索二叉树

建立先序线索二叉树和后序线索二叉树的代码和建立中序线索二叉树的代码类似，只需要变动线索化改造的代码段与调用线索化左右子树递归函数的位置。在这里我就不赘述了。附上这两个的结果图：

1.先序线索二叉树

2.后序线索二叉树