PTA 是否二叉搜索树（函数题）

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

函数接口定义：

bool IsBST ( BinTree T );

其中BinTree结构定义如下：

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

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

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

1.非空左子树的所有键值小于其根结点的键值。
2.非空右子树的所有键值大于其根结点的键值。
3.左、右子树都是二叉搜索树。
如果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

函数体代码：

bool IsBST ( BinTree T ){
    // 树为空，一定是二叉搜索树
    if(T == NULL)
        return true;
    // 左子树不为空，且左子树不是二叉搜索树，该树就不是二叉搜索树
    if(T -> Left && !IsBST (T -> Left))
        return false;
    // 定义一个树节点P为该树的左子树节点
    BinTree p = T -> Left;
    if(p) {
        // 找到该树左子树的最右端节点
        while(p -> Right) 
            p = p -> Right;
        // 如果根节点小于左子树最右端节点，该树就不是二叉搜索树
        if(T -> Data < p -> Data)
            return false;
    }
    // 递归遍历右子树，判断是否为二叉搜索树
    return IsBST(T -> Right);
}