leetcode98. 验证二叉搜索树，创新思维递增数组带你秒解，附二叉搜索树的中序遍历一定是一个递增的序列的证明

leetcode98. 验证二叉搜索树

给你一个二叉树的根节点 root ，判断其是否是一个有效的二叉搜索树。

有效 二叉搜索树定义如下：
节点的左子树只包含 小于 当前节点的数。
节点的右子树只包含 大于 当前节点的数。
所有左子树和右子树自身必须也是二叉搜索树。

示例 1：

输入：root = [2,1,3]
输出：true

示例 2：

输入：root = [5,1,4,null,null,3,6]
输出：false
解释：根节点的值是 5 ，但是右子节点的值是 4 。

这题利用到了二叉搜索树的一个性质，即二叉搜索树的中序遍历一定是一个递增的序列。

证明

我们可以使用数学归纳法和BST的定义证明二叉搜索树的中序遍历一定是一个递增的序列。。BST的定义是：
1.若任意节点的左子树上的所有节点的值都小于该节点的值。
2.若任意节点的右子树上的所有节点的值都大于该节点的值。
3.左子树和右子树也分别是二叉搜索树。

基础步骤（Base Case）：对于一个空树或只有一个节点的树，中序遍历结果显然是递增的。
归纳步骤（Inductive Step）：
假设对于任意的BST，如果它的高度为 ℎ ，那么它的中序遍历结果是递增的。现在我们需要证明对于高度为 ℎ+1的BST，其中序遍历结果也是递增的。
考虑一个高度为 ℎ+1的BST的根节点 𝑟：
根据BST的定义，左子树中的所有节点的值都小于 𝑟。
根据BST的定义，右子树中的所有节点的值都大于 𝑟 。

由于左子树和右子树的高度都小于或等于 ℎ，根据归纳假设，它们的中序遍历结果分别是递增的。现在，我们可以将左子树的中序遍历结果（记为 𝐿 ）和右子树的中序遍历结果（记为 𝑅 ）拼接起来，形成整个树的中序遍历结果。
由于 𝐿是递增的，且所有 𝐿中的值都小于 𝑟 ，而 𝑅 是递增的，且所有 𝑅中的值都大于
𝑟，因此 𝐿和 𝑅围绕 𝑟拼接的结果仍然是递增的。具体来说：
𝐿中的最后一个值小于 𝑟。𝑅 中的第一个值大于 𝑟。由于 𝐿和 𝑅 都是递增的，所以 𝐿的最后一个值小于 𝑅 的第一个值。这样，整个中序遍历序列 𝐿,𝑟,𝑅就是递增的。

算法思路分析

定义辅助数据结构：res 是一个 vector 类型的向量，用于存储二叉树中序遍历的结果。

中序遍历函数：inorder 是一个递归函数，用于对给定的二叉树节点 root 进行中序遍历。它首先递归遍历左子树，然后访问当前节点（将节点的值添加到 res 中），最后递归遍历右子树。如果当前节点为空，则直接返回，这是递归的终止条件。

验证BST函数：isValidBST 是主要的验证函数，它首先调用 inorder 函数对二叉树进行中序遍历，将遍历结果存储在 res 中。然后，通过一个循环检查 res 中的元素是否满足递增的顺序。如果发现任何两个连续元素不满足递增条件（即当前元素大于或等于下一个元素），则函数返回 false，表示该二叉树不是有效的BST。如果循环结束没有发现这样的对，说明所有元素都满足递增条件，函数返回 true，表示该二叉树是有效的BST。

具体代码实现

class Solution {
public:
    vector<int> res;
    void inorder(TreeNode* root)
    {
        if(!root) return ;
        inorder(root->left);
        res.push_back(root->val);
        inorder(root->right);
    }
    bool isValidBST(TreeNode* root) {
    inorder(root);
    for(int i=0;i<res.size()-1;i++)
    {
        if(res[i]>=res[i+1]) return false;
    }
    return true;
    }
};