检查一个数组是否可能是一棵二叉查询树后序遍历的结果 [No. 6]

问题：

给一个数组，检查它是否可能是一棵二叉查询树后序遍历的结果。换句话说，是否存在一棵二叉查询树，对它进行后序遍历后，得到的数组和给定的数组完全一样。

比如，对上面这个二叉查询树后序遍历后，得到的数组是：[1, 4, 7, 6, 3, 13, 14, 10, 8]。

思路：

因为二叉树后序遍历的时候，先左后右然后中间。所以，数组的最后一个一定是整个二叉查询树的根（比如 8），而且，数组前一部分比数组最后一个值（也就是二叉查询树的根）小，因为它们是根的左子树部分。数组剩余部分，是根的右子树部分。而且，在剩余部分里，所有的值都必须比根要大。这样，我们可以把原来的数组分成两个部分，然后每一个部分可以进行递归判断，直到数组的长度小于等于2。（因为当长度小于等于2时，什么样的情况都是可以的）。

我们先把给定的数组分成两个部分，即我们需要先找到数组的分界点。代码如下：

/** *  * @param array  the input array * @param begin  the starting index of the array * @param end    the ending index of the array * @return   the turning point of the array, where the left part of turning point is smaller than array[end], the right  *           part of the turning point is larger than array[end]. */public int turningPoint(int[] array, int begin, int end) {int tp = -1;for (int i = begin; i < end; i++) {if (array[i] > array[end]) {tp = i;break;}}return tp;}

找到分界点后，我们还要判断从分界点开始，到数组末，是否所有的值都比数组的最后一个值（也就是根）大，否则，这样的数组不是一个二叉查询树的后序遍历。代码如下：

//check whether all the elements from strat are larger than array[end]public boolean checkValid(int[] array, int start, int end) {for (int i = start; i < end; i++) {if (array[i] < array[end]) return false;}return true;}

有了上面两个方法，我们就可以把递归写出来了，代码如下：

// the main method to check whether the array is identical to a BST's post order arraypublic boolean isPostOrder(int[] array, int begin, int end) {// the exitif ((end - begin + 1) <= 2) return true;//get the turning pointint turningPoint = turningPoint(array, begin, end);boolean result = checkValid(array, turningPoint, end);  //check whether the right part of the array is validif (result == false) {return false;}// recursionreturn isPostOrder(array, begin, turningPoint - 1) && isPostOrder(array, turningPoint, end - 1);}