5.7.1 为什么要研究线索二叉树
当用二叉链表作为二叉树的存储结构时,可以很方便地找到某个节点的左右孩子,但一般情况下,无法直接找到该结点在某种遍历序列中的前驱和后继结点。
5.7.2 二叉链表中空指针域的数量
具有n个结点的二叉链表中,一共有2n个指针域,因为n个结点有n-1个孩子,即2n个指针域中,有n-1个用来指向结点的左右孩子,其余n+1个指针域为空。
二叉链表中的空指针域的利用:
如果某个结点的左孩子为空,则将空的左孩子指针域改为指向其前驱,如果某个结点的右孩子为空,则将空的右孩子指针域改为指向其后继,这种改变指向的指针称为"线索"。加上了线索的二叉树称为线索二叉树(Threaded Binary Tree)。
5.7.3 二叉树的线索化
对二叉树按某种遍历次序使其变为线索二叉树的过程叫线索化。
如中序线索二叉树:
为了区分lchild和rchild指针到底是指向孩子的指针,还是指向前驱或者后继的指针,对二叉链表中每个结点增设两个标志域ltag和rtag,并约定:
ltag = 0时,lchild指向该结点的左孩子;
ltag = 1时,lchild指向该结点的前驱;
rtag = 0时,rchild指向该结点的右孩子;
rtag = 1时,rchild指向该结点的后继。
结点的结构:
结点的结构定义:
typedef struct BiThrNode
{
int data;
int ltag, rtag;
struct BiThrNode *lchild, *rchild;
}BiThrNode, *BiThrTree;
先序线索二叉树:
为避免悬空态,增设你一个头结点:
ltag = 0,lchild指向根结点;
rtag = 1,rchild 指向遍历序列最后一个结点;
遍历序列中第一个结点的lchild和最后一个结点的rchild如果没有孩子,则该指针指向头结点。