是否二叉搜索树（25 分）

本题要求实现函数，判断给定二叉树是否二叉搜索树。

函数接口定义：

bool IsBST ( BinTree T );

其中BinTree结构定义如下：

typedef struct TNode *Position;
typedef Position BinTree;
struct TNode{
    ElementType Data;
    BinTree Left;
    BinTree Right;
};

函数IsBST须判断给定的T是否二叉搜索树，即满足如下定义的二叉树：

定义：一个二叉搜索树是一棵二叉树，它可以为空。如果不为空，它将满足以下性质：

• 非空左子树的所有键值小于其根结点的键值。
• 非空右子树的所有键值大于其根结点的键值。
• 左、右子树都是二叉搜索树。

如果T是二叉搜索树，则函数返回true，否则返回false。

裁判测试程序样例：

#include <stdio.h>
#include <stdlib.h>

typedef enum { false, true } bool;
typedef int ElementType;
typedef struct TNode *Position;
typedef Position BinTree;
struct TNode{
    ElementType Data;
    BinTree Left;
    BinTree Right;
};

BinTree BuildTree(); /* 由裁判实现，细节不表 */
bool IsBST ( BinTree T );

int main()
{
    BinTree T;

    T = BuildTree();
    if ( IsBST(T) ) printf("Yes\n");
    else printf("No\n");

    return 0;
}
/* 你的代码将被嵌在这里 */

输入样例1：如下图

输出样例1：

Yes

输入样例2：如下图

输出样例2：

No

作者: DS课程组

单位: 浙江大学

时间限制: 400ms

内存限制: 64MB

代码长度限制: 16KB

---

/*
   测试样例一
   4 3 1 0 2 0 0 0 5 0 7 6 0 0 8 0 0
   测试样例二
   4 5 1 0 0 0 3 6 0 0 7 0 0
*/
#include <stdio.h>
#include <stdlib.h>
//typedef enum { false, true } bool;
typedef int ElementType;
typedef struct TNode *Position;
typedef Position BinTree;
struct TNode{
    ElementType Data;
    BinTree Left;
    BinTree Right;
};
void BuildTree(BinTree &T); /* 由裁判实现，细节不表 */
bool IsBST ( BinTree T );
int main()
{
    BinTree T;

    BuildTree(T);
    if ( IsBST(T) ) printf("Yes\n");
    else printf("No\n");

    return 0;
}
/* 你的代码将被嵌在这里 */
void BuildTree(BinTree &T)
{
    int e;
    scanf("%d", &e);
    if(e == 0)
        T = NULL;
    else
    {
        T = (BinTree)malloc(sizeof(TNode));
        T->Data = e;
        BuildTree(T->Left);
        BuildTree(T->Right);
    }
}


bool IsMax(BinTree T, int max_)
{
    if(T == NULL)
        return true;
    else if(T->Data > max_)
        return false;
    return IsMax(T->Left, max_) && IsMax(T->Right, max_);//&& (T->Data < max_)
}

bool IsMin(BinTree T, int min_)
{
    if(T == NULL)
        return true;
    else if(T->Data < min_)
        return false;
    return IsMin(T->Left, min_) && IsMin(T->Right, min_);
}
bool IsBST ( BinTree T )
{
   if(T == NULL)
    return true;
    //判断不正确的情况
   else if(T->Left != NULL && !IsMax(T->Left, T->Data))
    return false;
   else if(T->Right != NULL && !IsMin(T->Right , T->Data))
    return false;
   return IsBST(T->Left) && IsBST(T->Right);
}