二叉排序树的判定算法

//函数功能：二叉排序树的判定算法 
/*
    算法思想：根据二叉树的特点“其中序遍历序列为有序序列”，对二叉树进行中序遍历，
   
同时检查当前结点与其中前驱关键字值的大小。
*/
//中序遍历过程中判定给定的二叉树是否为二叉排序树，入是返会true，否则返回false 
//pre指向中序前驱结点，初值为NULL 

typedef struct treeNode
{
    int data; //二叉排序树的元素类型为int
    struct treeNode *l,*r;
}treeNode,*BiTree;

/*
    中序遍历二叉树，root为根节点，pre初始值为null。

*/

bool Is_BS_Tree(BiTree root,BiTree pre)
{
     if（!root）
   {//空二叉树也是二叉排序树，所以返回true。
       return true;
     }
    if（Is_BS_Tree(root->l,pre)）
    {//若左子树是二叉排序树。
        //是否为二叉排序树取决于前驱值和根节点值的大小。
           if((pre==null)||(pre->data<root->data))
           {
                pre=root;
                //再次判断右子树是否为二叉排序树。
                return Is_BS_Tree(root->l,pre);
            }
      }
    //以上情况出现异常，则返回false。
    return false;
}