class Solution {
    public boolean verifyPostorder(int[] postorder) {
        return helper(postorder, 0, postorder.length - 1);
}
boolean helper(int[] postorder, int left, int right) {
    //如果left==right，就一个节点不需要判断了，如果left>right说明没有节点，
    //也不用再看了,否则就要继续往下判断
    //并且最重要的一点是这块要判断left大于等于right的原因是后面我们postorder[right]中的right值会有成为-1的时候，此时数组下标越界会报异常
    if (left >= right)
        return true;
    //因为数组中最后一个值postorder[right]是根节点，这里从左往右找出第一个比
    //根节点大的值，他后面的都是根节点的右子节点（包含当前值，不包含最后一个值，
    //因为最后一个是根节点），他前面的都是根节点的左子节点
    int mid = left;
    int root = postorder[right];
    while (postorder[mid] < root){
        mid++;
    }
    //tmp用于存储第一个比我们根节点大的值的下标
    int temp = mid;
    //因为postorder[mid]前面的值都是比根节点root小的，
    //我们还需要确定postorder[mid]后面的值都要比根节点root大，
    //如果后面有比根节点小的直接返回false
    while (temp < right) {
        if (postorder[temp++] < root)
            return false;
    }
    //然后对左右子节点进行递归调用，判断其他子树是否也符合我们的规律
    return helper(postorder, left, mid - 1) && helper(postorder, mid, right - 1);
  }
}

    if (left >= right)
          return true;