二叉树的链式存储如下图,
不难发现,图中所示的左—右指针表示中,有一半以上的指针是空的。事实上,所有包括n个结点的二叉树的这种表示中,每个结点有两个指针,一共有2n个指针,其中除根结点外,每个结点都被一个指针所指,所以只有n-1个指针不为空,而另外的n+1和指针为空。
另外,遍历是二叉树许多操作的基础,经常使用,但是一般的遍历算法需要大约O(n)的时间代价,如此多次反复进行遍历也是时间的严重浪费。因此,如果在第一次遍历时,能够把遍历的信息保存在二叉树的空指针中,在重复遍历二叉树时就可以利用这些信息,节省大量的时间,也是空指针得到充分利用。
如何保存遍历的信息?就是对左—右指针表示法的一种修改。利用结点的空的左指针(llink)储存该结点在某种遍历序列中的前驱结点的位置;利用结点的空的右指针(rlink)储存该节点在同种遍历序列中的后继节点的位置。这种附加的指向前驱结点和后继节点的指针称作线索,这种二叉树即线索二叉树。
如何构造线索二叉树呢?可根据不同的遍历方法构造不同的线索二叉树,下面讨论中序遍历构造的二叉树。为了区分左、右指针和线索,需要对每个结点增加两