/** * 输入一个整数数组,判断该数组是不是某二叉搜索树的后序遍历的结果。 * 【此方法与上一个方法不同,未进行空值判断,对于数组度为0的情况返回的true也于上题不同, * 此方法只是上面一个方法的辅助实现,对于数数组为null和数组长度为0的情况,执行结果并非相同】 * 【也就是说此方法只有数组中有数据的情况下才与上面的方法返回同样的结点, * verifySequenceOfBST(sequence) === * verifySequenceOfBST(sequence, 0, sequence.length - 1) * 当sequence中有数据才成立 * 】 * * @param sequence 某二叉搜索树的后序遍历的结果 * @param start 处理的开始位置 * @param end 处理的结束位置 * @return true:该数组是某二叉搜索树的后序遍历的结果。false:不是 */
public static boolean verifySequenceOfBST(int[] sequence, int start, int end) {
// 如果对应要处理的数据只有一个或者已经没有数据要处理(start>end)就返回true
if (start >= end) {
return true;
}
// 从左向右找第一个不小于根结点(sequence[end])的元素的位置
int index = start;
while (index < end - 1 && sequence[index] < sequence[end]) {
index++;
}
// 执行到此处[start, index-1]的元素都是小于根结点的(sequence[end])
// [start, index-1]可以看作是根结点的左子树
// right用于记录第一个不小于根结点的元素的位置
int right = index;
// 接下来要保证[index, end-1]的所有元素都是大于根根点的【A】
// 因为[index, end-1]只有成为根结点的右子树
// 从第一个不小于根结点的元素开始,找第一个不大于根结点的元素
while (index < end - 1 && sequence[index] > sequence[end]) {
index++;
}
// 如果【A】条件满足,那么一定有index=end-1,
// 如果不满足那说明根结点的右子树[index, end-1]中有小于等于根结点的元素,
// 不符合二叉搜索树的定义,返回false
if (index != end - 1) {
return false;
}
// 执行到此处说明直到目前为止,还是合法的
// [start, index-1]为根结点左子树的位置
// [index, end-1]为根结点右子树的位置
index = right;
return verifySequenceOfBST(sequence, start, index - 1) && verifySequenceOfBST(sequence, index, end - 1);
}