设计算法判定一棵二叉树是否为二叉排序树。