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

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

题目： 输入一个整数数组，判断该数组是不是某二叉搜索树的后序遍历结果。如果是则返回 true，否则返回 false。假设输入的数组的任意两个数字都互不相同。

二叉搜索树： 根节点的值大于其左子树中任意一个节点的值，小于其右节点中任意一节点的值

参考以下这颗二叉搜索树：

     5
    / \
   2   6
  / \
 1   3

示例 1：

输入: [1,6,3,2,5]
输出: false

示例 2：

输入: [1,3,2,6,5]
输出: true

来源：力扣（LeetCode）
链接：剑指 Offer 33. 二叉搜索树的后序遍历序列

思路： 后序遍历最后一个元素是根节点，而二叉搜索树根节点的值大于其左子树中任意一个节点的值，小于其右节点中任意一节点的值，比根节点小的为左子树，比根节点大的为右子树，根据这个将数组划分成三个部分，左子树，右子树，根节点。
算法思想： 我们根据跟节点遍历数组，比根节点小的都是左子树，记录比根节点大的那个值的下标，从那个下标继续往后遍历，后面的为右子树，根据性质后面的的数应该都要大于根节点，如果出现小于则返回false。遍历完后数组就被分成三个部分，左子树。右子树，根节点，然后进行递归。

C语言代码如下：

bool verifyPostorder(int* postorder, int postorderSize){
    if(postorderSize == 0 || postorderSize == 1) 
        return true;
    int i=0,j=0;
    for(i = 0; i < postorderSize-1; i++){
    if(postorder[i] > postorder[postorderSize-1]) 
        break;
    }
    for(j = i; j < postorderSize-1; j++){
    if(postorder [j] < postorder[postorderSize-1]) 
        return false;
    }
    return verifyPostorder(postorder,i) && verifyPostorder(&postorder[i],postorderSize-i-1);   
}