C语言判定一棵二叉树是否为二叉搜索树的方法分析

/*判断左子树的结点值是否都小于val*/
bool isSubTreeLessThan(BinaryTree *p, int val)
{
 if (!p) return true;
 return (p->data < val &&
     isSubTreeLessThan(p->left, val) &&
     isSubTreeLessThan(p->right, val));
}
/*判断右子树的结点值是否都大于val*/
bool isSubTreeGreaterThan(BinaryTree *p, int val)
{
 if (!p) return true;
 return (p->data > val &&
     isSubTreeGreaterThan(p->left, val) &&
     isSubTreeGreaterThan(p->right, val));
}
/*判定二叉树是否是二叉搜索树*/
bool isBSTBruteForce(BinaryTree *p)
{
 if (!p) return true;
 return isSubTreeLessThan(p->left, p->data) &&
     isSubTreeGreaterThan(p->right, p->data) &&
     isBSTBruteForce(p->left) &&
     isBSTBruteForce(p->right);
}

int isBST(struct node* node)
{
 if (node==NULL) return(true);
 //如果左子树最大值>=当前node的值，则返回false
 if (node->left!=NULL && maxValue(node->left) >= node->data)
  return(false);
 // 如果右子树最小值<=当前node的值，返回false
 if (node->right!=NULL && minValue(node->right) <= node->data)
  return(false);
 // 如果左子树或者右子树不是BST，返回false
 if (!isBST(node->left) || !isBST(node->right))
  return(false);
 // 通过所有测试，返回true
 return(true);
}

int isBST2(struct node* node)
{
   return(isBSTUtil(node, INT_MIN, INT_MAX));
}
/*
给定的二叉树是BST则返回true，且它的值 >min 以及 < max.
*/
int isBSTUtil(struct node* node, int min, int max)
{
   if (node==NULL) return(true);
   // 如果不满足min和max约束，返回false
   if (node->data<=min || node->data>=max) return(false);
   // 递归判断左右子树是否满足min和max约束条件
   return
     isBSTUtil(node->left, min, node->data) &&
     isBSTUtil(node->right, node->data, max)
   );
}

bool isBSTInOrder(BinaryTree *root)
{
 int prev = INT_MIN;
 return isBSTInOrderHelper(root, prev);
}
/*该函数判断二叉树p是否是一棵二叉搜索树，且其结点值都大于prev*/
bool isBSTInOrderHelper(BinaryTree *p, int& prev)
{
 if (!p) return true;
 if (isBSTInOrderHelper(p->left, prev)) { // 如果左子树是二叉搜索树，且结点值都大于prev
  if (p->data > prev) { //判断当前结点值是否大于prev，因为此时prev已经设置为已经中序遍历过的结点的最大值。
   prev = p->data;
   return isBSTInOrderHelper(p->right, prev); //若结点值大于prev，则设置prev为当前结点值，并判断右子树是否二叉搜索树且结点值都大于prev。
  } else {
   return false;
  }
 }
 else {
  return false;
 }
}