数据结构——树——线索二叉树

基本概念

遍历二叉树是以一定的规则将二叉树中的结点排列成一个线性序列，从而得到几种遍历序列，使得该序列中的每个结点（第一个和最后一个结点除外）都有一个直接前驱和直接后继

规定：若无左子树，令lchild指向其前驱结点；若无右子树，令rchild指向其后继结点

这样的话还需要增加两个标志域标识指针域是指向左（右）孩子还是指向前驱（后继）

其中，标志域的含义如下

ltag = 0 表示 lchild 域指向结点的做左孩子
ltag = 1 表示 lchild 域指向结点的前驱

rtag = 0 表示 rchild 域指向结点的右孩子
rtag = 1 表示 rchild 域指向结点的后继

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

typedef struct ThreadNode {
    int data;
    struct ThreadNode *lchild, *rchild;
    int ltag, rtag;
} ThreadNode, *ThreadTree

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

中序线索二叉树的构造

以中序线索二叉树的建立为例。附设指针 pre 指向刚刚访问过的结点，指针 p 指向正在访问的结点，即 pre 指向 p 的前驱。在中序遍历的过程中，检查 p 的左指针是否为空，若为空就将它指向 pre；检查 pre 的右指针是否为空，若为空就将它指向 p

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

void InThread(ThreadTree &p, ThreadTree &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;
        InThread(p->rchild, pre);
    }
}

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

void createInThread(ThreadTree &T) {
    ThreadTree pre = NULL;
    if (T != NULL) {
        InThread(T, pre);
        pre->rchild = NULL;
        pre->rtag = 1;
    }
}