剑指Offer：33 二叉搜索树的后序遍历序列

20.5.3

还是递归做判断就可以，唯一需要注意的点：右子树的区间右段是right-1，不是right

class Solution {
public:
    bool verifyPostorder(vector<int>& postorder) {
        return Postorder(postorder, 0, postorder.size()-1);
    }

    bool Postorder(vector<int>& postorder, int left, int right) {
        if(left >= right) return true;

        int mid;
        for(int i = left; i < right; i++) {
            if(postorder[i] > postorder[right]) {
                mid = i; //mid为右子树序列的起点
                break;
            }
        }
        for(int i = mid + 1; i < right; i++) {
            if(postorder[i] < postorder[right]) {
                return false;
            }
        }
        return Postorder(postorder, left, mid-1) && Postorder(postorder, mid, right-1); //right-1!!!
    }
};

---

涉及到自己之前不了解的数据结构：二叉搜索树，其实就是满足二叉树的左子树的key值<根节点的key值<右子树的key值，即为二叉搜索树。

这道题本身和二叉搜索树的操作并没有关系，只是让判断一个线性序列是否满足二叉搜索树的后序遍历规律。

看完书上的思路之后，还是没有办法转化为代码，又大致用十几秒浏览了下书上的程序大体结构，之后自己边写边改，还算比较顺利，第一次写完出了一处Bug：对j的判断应该和最后一个元素的索引号作比较，因为正常情况下，第二个循环结束时，j应该指向最后一个元素即根节点，而不是倒数第二个元素(右子树的最后一个节点)。

另外在写程序的过程中思考的一个基础问题：递归函数return的返回值，应该是返回到调用它的上一层函数里；

class Solution {
public:
    bool VerifySquenceOfBST(vector<int> sequence) {
        if(sequence.empty()) return false;
        
        vector<int> leftSubTree, rightSubTree;
        bool result = true;
        int i,j;
        for(i=0;sequence[i]<sequence.back();i++){
            leftSubTree.push_back(sequence[i]);
        }
        for(j=i;sequence[j]>sequence.back();j++){
            rightSubTree.push_back(sequence[j]);
        }
        if(j!=sequence.size()-1)  result = false; //应该是减1  
        //如果这一层满足最后的节点(目前的根节点)可以把左右子树完整分开，就递归的检验左右子树
        if(!leftSubTree.empty() && result==true) result = VerifySquenceOfBST(leftSubTree);
        if(!rightSubTree.empty() && result==true) result = VerifySquenceOfBST(rightSubTree);
        
        return result;
    }
};

讨论区的一些比较好的解答、以及书上的代码：