题目描述
输入一个整数数组,判断该数组是不是某二叉搜索树的后序遍历结果。如果是则返回 true,否则返回 false。假设输入的数组的任意两个数字都互不相同。
参考以下这颗二叉搜索树:5 / \ 2 6 / \ 1 3
示例 1:
输入: [1,6,3,2,5]
输出: false
示例 2:
输入: [1,3,2,6,5]
输出: true
提示:
数组长度 <= 1000
方法一(递归)
1.解题思路
- 递归终止条件:左边界大于右边界时,所有元素都检查完了,还没有问题,则返回true
- 递归推进过程:因为是后序遍历,所以满足左右根的顺序,可以先找到左子树结束的后一个节点,也即是右子树最前面的节点。然后判断当前层右子树上每一个节点值是否大于根节点,如果小于,则直接返回false
- 每一层递归的返回值:返回缩小范围后的子函数
2.代码实现
class Solution {
public boolean verifyPostorder(int[] postorder) {
int n=postorder.length;
return dfs(postorder,0,n-1);
}
private boolean dfs(int[] postorder,int start,int end){
if(start>end) return true;
int index=start;
while(index<end&&postorder[index]<postorder[end]){
index++;
}
for(int i=index;i<end;i++){
if(postorder[i]<postorder[end]){
return false;
}
}
return dfs(postorder,start,index-1)&&dfs(postorder,index,end-1);
}
}
3.复杂度分析
- 时间复杂度:每次递归排除一个节点,需要排除n次。最坏情况下,二叉树退化为链表,递归内的循环也是O(n)复杂度,所以时间复杂度为O(n*n)
- 空间复杂度:最坏情况下(退化为链表),递归栈的深度为n,所以空间复杂度为O(n)
方法二(单调栈)
1.解题思路
如果把后序遍历倒过来,则顺序变为根右左,而二叉搜索树按左根右从小到大变化,所以新的序列的大小关系为:
根 右 左
中 大 小
比如:
5 | 6 | 2 | 3 | 1 |
---|---|---|---|---|
中(根) | 大(右) | 小(左) | 小(左) | 小(左) |
中 (根) | 大(右) | 小(左) |
我们只需要用一个栈来倒序存储后序遍历序列的元素,维护一个单调递增的序列,如果遇到递减的情况,则说明当前节点位于左子树,将栈中所有大于该节点的元素弹出,最后弹出的那一个就是离当前左子树最近的根节点。后序入栈的过程中,如果有节点大于当前根节点,说明不是当前根的左子树节点,直接返回false。
2.代码实现
class Solution {
public boolean verifyPostorder(int[] postorder) {
Stack<Integer> s=new Stack<>();
int root=Integer.MAX_VALUE;
int n=postorder.length;
for(int i=n-1;i>=0;i--){
if(postorder[i]>root) return false;
while(!s.isEmpty()&&s.peek()>postorder[i]){
root=s.pop();
}
s.push(postorder[i]);
}
return true;
}
}
3.复杂度分析
- 时间复杂度:每个元素只需访问一次,所以时间复杂度为O(n)
- 空间复杂度:需要长度为n的栈来存放节点,所以空间复杂度为O(n)
剑指offer全集入口: 请戳这里