57 试写一个算法，在后序后继线索二叉树中，查找给定结点“P在后序序列中的后继(二叉树的根结点指针并未给出)。并讨论实现算法对存储结构有何要求？

在后序线索二叉树中查找给定节点P的后继可以按照以下步骤设计一个算法：

1. **遍历过程**：
- 如果P有右孩子，那么它的后继就是P的右孩子；
- 否则，从P开始沿着左孩子的后序线索向上找，直到找到一个节点X，其右孩子不是NULL，并且X不是P的祖先。
- X的左孩子就是P的后继，因为后序线索保证了在后序遍历时，从左到右访问节点。

2. **算法伪代码**：

function findSuccessor(P):
    if P.right is not NULL:
        return P.right
    else:
        current = P.parent
        while current is not NULL and current.right == P:
            current = current.parent
        if current is NULL:
            // 如果P没有右孩子并且找不到后继，则返回空（或者报错）
            return None
        else:
            return current.left

3. **存储结构要求**：
- 后序线索二叉树需要额外的信息存储每个节点的左、右孩子的线索，即指向它们的指针，而不是常规的左右子节点本身。
- 需要一个引用当前遍历路径的变量`current`，以便于回溯查找。

4. **复杂度分析**：
- 时间复杂度：O(h)，其中h是P的高度，因为在最坏的情况下需要沿着一条链走完整棵树的高度。
- 空间复杂度：O(1)，只依赖于几个局部变量，不需要递归栈。