剑指 Offer 33

0. 编程语言

Java

1. 解题思路

• 首先要明白两个概念：
• 1. 二叉搜索树：对于每一个节点来说，其左子树的所有节点的值都小于该节点的值，右子树的所有节点的值都大于该节点的值。
• 2. 后序遍历：遍历每个节点时，先遍历其左节点，再遍历其右节点，最后遍历中间的根节点。因此，后序遍历出来的数组，最后一个元素一定是根节点。（这个性质很重要，解题的关键所在）。
• 然后，用递归的思路进行类似二分法思想
• 1. 先找到根节点（最后一个元素）。
• 2. 根据根节点的大小一定大于所有右子树的性质（二叉搜索树的性质），找到左右子树的分界处（也就是数组从左往右数第一个大于根节点的元素）。
• 3. 将数组一分为二
• 4. 检验左子树是不是符合条件（每个元素都小于根节点），这其实是废话，一定满足的。
• 5. 检验右子树是不是符合条件（继续从分界处往右数，找找是不是有小于根节点的元素，有的话就GG了，返回false。
• 这里要注意的细节就是，递归的结束条件设置为，当拆分的子数组大小小于等于2时，即长度不超过2时，结束递归，而且返回true。这是因为长度为2的数组肯定是二叉搜索树，无条件满足。

2. 递归算法代码如下

class Solution {
    public boolean verifyPostorder(int[] postorder) {
        //-递归算法，
        //由于是后序遍历，所以输入数组的最后一个元素肯定是根节点root
        return verify(postorder,0,postorder.length-1);
    }
    public boolean verify(int[] postorder,int left,int right){
        if(right - left <=2)
            return true;

        int mid = left;
        for(;mid<=right;mid++){
            if(postorder[mid] >= postorder[right]){
                break;
            }
        }
        
        int i = mid;
        for(;i<right;i++){
            if(postorder[i] < postorder[right]){
                break;
            }
        }

        
        return i == right && verify(postorder,left,mid-1) && verify(postorder,mid,right-1) ;

    }
}