判别给定二叉树是否为二叉排序树

ji

最近在写学校的作业，那个leetcode就先放下了，先写阿尔法上的题目了

说明：本博客所有内容为参考书籍以及他人博客总结，为个人学习笔记所用。

二叉排序树的定义
二叉排序树（Binary Sort Tree， BST），也称二叉查找树。
二叉排序树或者是一棵空树，或者是一棵具有下列特性的非空二叉树：
1） 若左子树非空，则左子树上所有结点关键字均小于根结点的关键字值；
2） 若右子树非空，则右子树上所有结点关键字均大于根结点的关键字值；
3） 左、右子树本身也分别是一棵二叉排序树。

由定义可知，二叉排序树是一个递归的数据结构，可以方便的使用递归算法对二叉排序树进行各种运算
根据二叉树的定义，可得左子树结点值 ＜ 根结点值 ＜ 右子树结点值
所以，对二叉排序树进行中序遍历，可以得到一个递增的有序序列

关于这个二叉排序树的查找的这个操作：

二叉排序树的查找是从根结点开始的，沿某个分支逐层向下进行比较的过程
 其查找过程描述如下：1.若二叉排序树非空，则将给定值与根结点的关键字比较，若相等，则查找成功；//这个就比较出乎你的意料之外了，还需要对这个进行判定一下

2.若不等，则当根结点的关键字值大于给定关键字值时，在根结点的左子树中查找；否则在根结点的右子树中查找、

//仔细想来就是在靠这个  中序遍历   左 < 根 < 右   的这个操作 ，按照这个道理来，就行了

我先在这里自己写一些

有的T 即是 root 的这个意思，就是根节点的意思

if(T != NULL)

{

        if（T -> data == x）

                return;

else{

if( T -> data > x)

{

        return lchild 

}

}

}

   //最后的那个在最下面

这就是学校的东西，那么

这段代码是用C语言实现的一个函数，用于判断一个二叉树（结构体类型Bitree表示）是否为二叉搜索树（BST）。二叉搜索树的性质是：对于任意节点，其左子树中的所有节点的值都小于该节点的值，右子树中的所有节点的值都大于该节点的值。

函数名为`Isbstree`，输入参数是一个指向二叉树根节点的指针`T`。函数通过递归遍历整个二叉树，并使用全局变量 `flag` 和 `father_value` 来辅助判断。

初始时：
- `flag` 设置为 1，表示目前还没有发现违反BST性质的情况。
- `father_value` 初始化为 0，用于保存当前访问节点的父亲节点的值。

函数逻辑如下：

1. 如果当前节点为空（`T == NULL`），则直接返回，结束对该分支的递归。

2. 遍历左子树：如果当前节点有左孩子且 `flag` 仍为 1，则递归检查左子树。

3. 检查当前节点与父节点的关系：如果当前节点的值小于 `father_value`，说明违反了BST的性质，此时将 `flag` 置为 0。

4. 更新 `father_value` 为当前节点的值。

5. 遍历右子树：如果当前节点有右孩子且 `flag` 仍为 1，说明之前未发现违反BST性质的情况，继续递归检查右子树。

6. 最终返回 `flag` 的值，若在整个遍历过程中 `flag` 一直为 1，则说明该二叉树满足二叉搜索树的性质；否则，不是二叉搜索树。

int flag = 1;      // 判断父结点的值是否大于孩子结点的值
int father_value = 0; // 用于存储中序遍历时父节点的值

int Isbstree(Bitree T) {
    
    
    if(T -> lchild && flag){
       Isbstree(T -> lchild); 
    }
    if(T -> data < father_value)
        flag = 0;
    father_value = T -> data;
    if(T -> rchild && flag )
        Isbstree(T -> rchild);
    return flag;
//这种方法根本就没有关注 T -> data 这一项东西，直接就从左节点 -> 右节点了
//这个没有用这个 T == root  的这一层意思，没有太多的使用
//T 就是一个简单的一个节点的意思，直接就是这个 T 的左  根  右的这个基本操作了
}

BSTNode *Search(BSTNode *root, int x)
{
    if(root == NULL){
        return;
    }
    if(root -> data = x)
    {
        return root;//因为这是一个 返回值是 节点的函数，而不是返回一个int 类型的
    }
    else if(x > root -> data){
        return Search(root -> lchild, x);
    }
    else{
        return Search(root -> rchild,x);    
    }

    //咱就是会一个递归的这个算法

}