剑指offer:(23）举例让抽象问题具体化 ：二叉搜索树的后序遍历序列

输入一个整数数组，判断该数组是不是某二叉搜索树的后序遍历的结果。如果是则输出Yes,否则输出No。假设输入的数组的任意两个数字都互不相同。

二叉树搜索树就是二叉排序树，所有节点的左子树都小于它，右子树都大于它

解法：递归法

          非递归法

package co.com.jianzhioffer;


public class Solution24 {

	/*
	 * 非递归  非递归也是一个基于递归的思想： 左子树一定比右子树小，因此去掉根后，数字分为left，right两部分，right部分的
	 * 最后一个数字是右子树的根他也比左子树所有值大，因此我们可以每次只看有子树是否符合条件
	 * 即可，即使到达了左子树左子树也可以看出由左右子树组成的树还想右子树那样处理
	 * 对于左子树回到了原问题，对于右子树，左子树的所有值都比右子树的根小可以暂时把他看出右子树的左子树 只需看看右子树的右子树是否符合要求即可
	 */
	/*
	 * public boolean VerifySquenceOfBST(int[] sequence) { int size =
	 * sequence.length; if(size==0) return false;
	 * 
	 * int i = 0; while(--size!=0){ while(sequence[i++]<sequence[size]);
	 * while(sequence[i++]>sequence[size]);
	 * 
	 * if(i<size) return false; i=0; } return true; }
	 */

	/*
	 * 递归方式
	 * BST的后序序列的合法序列是，对于一个序列S，最后一个元素是x （也就是根），
	 * 如果去掉最后一个元素的序列为T，那么T满足：T可以分成两段，前一段（左子树）小于x，后一段（右子树）大于x，
	 * 且这两段（子树）都是合法的后序序列。完美的递归定义 : 
	 */
	public boolean VerifySquenceOfBST(int[] sequence) {
		if (sequence.length == 0)
			return false;
		return judge(sequence, 0, sequence.length - 1);
	}

	private boolean judge(int[] sequence, int l, int r) {
//		if(l>=r) return true;
//		int mid = l;
//		while(sequence[mid++]<sequence[r]&&mid<r);
//		
//		int tmp = mid;
//		while(sequence[tmp++]>sequence[r]&&tmp<r);
//		
//		if(tmp<r){
//			return false;
//		}
//		
//		if(mid==l || tmp==r){
//			return judge(sequence, l, r-1);
//		}else{
//			return (judge(sequence,l,mid-1)&&judge(sequence, mid+1, r-1));
//		}
		
		if(l>=r) return true;
		int i = r;
		//以右子树的条件，找到左子树的根i-1
		while(i>l&&sequence[i-1]>sequence[r]) --i;
		//判断左子树是否都小于根
		for(int j=i-1;j>=l;--j) if(sequence[j]>sequence[r]) return false;
		return judge(sequence, l, i-1) && judge(sequence, i, r-1);
			
	}
}