判断整数序列是不是二元查找树的后序遍历结果

判断整数序列是不是二元查找树的后序遍历结果
题目：输入一个整数数组，判断该数组是不是某二元查找树的后序遍历的结果。
如果是返回true，否则返回false。
例如输入5、7、6、9、11、10、8，由于这一整数序列是如下树的后序遍历结果：
    8
   / /
  6  10
/ / / /
5 7 9 11
因此返回true。

如果输入7、4、6、5，没有哪棵树的后序遍历的结果是这个序列，因此返回false

#include <stdio.h>

#define TRUE 1
#define FALSE 0

typedef unsigned int BOOL;

BOOL verifySquenceOfBST(int squence[], int length)
{
      if(squence == NULL || length <= 0)
            return FALSE;

      /*获取当前序列中的根节点*/
      int root = squence[length - 1];

      /*左子树的所有值小于根节点值*/
      int i = 0;
      for(; i < length - 1; ++ i)
      {
            if(squence[i] > root)
                  break;
      }

      /*右子树的所有值大于根节点值*/
      int j = i;
      for(; j < length - 1; ++ j)
      {
            if(squence[j] < root)
                  return FALSE;
      }

      /*递归验证分解后的左子树 5 7 6*/
      BOOL left = TRUE;
      if(i > 0)
            left = verifySquenceOfBST(squence, i);

      /*递归验证分解后的右子树 9 11 10*/
      BOOL right = TRUE;
      if(i < length - 1)
            right = verifySquenceOfBST(squence + i, length - i - 1);/*右子树排除上个验证的根节点*/

      return (left && right);
}


int main(void)
{
    int a[] = {5, 7, 6, 9, 11, 10, 8};
	int b[] = {7, 4, 6, 5};
	BOOL ra = verifySquenceOfBST(a, 7);
	BOOL rb = verifySquenceOfBST(b, 4);
	if(ra)printf("a yes\n"); else printf("a no\n");
	if(rb)printf("b yes\n"); else printf("b no\n");
	
    return 0;
}