算法导论12.2-6

证明：
对于给定结点x,若其后继y存在，则y>x.
1.考虑结点x,对于x的左子树，显然其中任意结点值都小于x,所以y必定不在其左子树中。
2.x的右子树，其中任意结点值都大于x,但是根据题设，其右子树为空。

 

由1,2可得，y必定为x的祖先或其祖先的右子树。

又因为y是其中大于x且最小的一个，则y不可能是其祖先的右子树，那么我们可以将范围缩小至y必定为x的祖先

又根据y>x, 则x必定在y的左子树中，即y的左孩子也是x的祖先（x也是x的祖先）

 

对于所有满足条件的，假设有p0,p1 ... pn共n+1个，且p0<p1<p2..<pn
显然，x的前驱结点y必定是其中的最小一个，即y=p0

又因为y是x的祖先，则y必然是x的最低祖先。