重复关系以检查二叉树是否是二叉搜索树

Question

有人可以帮我解决这个伪代码的递归关系吗？此伪代码描述了检查二叉树是否为二叉搜索树的过程。我认为：

T(n) = T(n/2) +1 

代码：

IsBST(node, answer ← true) 
    if node!= null then
         if node.right!= null then
             if  node.key < node.right.key then
                  IsBST(node.right, answer)
             else
                 answer ← false
                return answer

         if node.left!= null then
             if  node.key > node.left.key then
                  IsBST(node.left, answer)
             else
                 answer ← false
                return answer

    return answer