判断一个数列是不是搜索二叉树后续遍历输出的结果

剑平面阿里被问到这个，刚开始画了下看有什么性质，乱蒙了几个都被推翻了，初始感觉就是要O(n)的，因为印象中BST的构树都可以O(nlogn)搞定。然后剑平说最后一个数肯定是根节点，一下反应过来了，就是二分出间隔点然后两边递归判断，不过这好像还是构树的思路，可以把整棵树构造出来。然后剑平说不是二分，直接遍历。不科学啊，明显的二分，然后去网上搜一下，都是遍历的，O(n^2)的吧。想了想，二分是当做合法的情况来构树的，不合法怎么判断？构造出搜索二叉树后中序遍历一下不就行了么，妥妥的O(nlogn)吧。