Leetcode 98. 验证二叉搜索树

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

有效 二叉搜索树定义如下：

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

示例 1：

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

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

提示：

树中节点数目范围在[1, 104] 内
-231 <= Node.val <= 231 - 1

典型错误思路：下面这段代码中序遍历每个节点，判断其左右子节点存在并且不满足条件的话，就返回false。但是没有考虑到下面这种情况：

/**
 * Definition for a binary tree node.
 * struct TreeNode {
 *     int val;
 *     TreeNode *left;
 *     TreeNode *right;
 *     TreeNode() : val(0), left(nullptr), right(nullptr) {}
 *     TreeNode(int x) : val(x), left(nullptr), right(nullptr) {}
 *     TreeNode(int x, TreeNode *left, TreeNode *right) : val(x), left(left), right(right) {}
 * };
 */
class Solution {
public:
    bool res = true;
    bool isValidBST(TreeNode* root) {
        dfs(root);
        return res;
    }

    void dfs(TreeNode* root) {
        if(!root) return;
        dfs(root->left);
        if(root->left && root->left->val >= root->val) {
            res = false;
            return;
        }
        if(root->right && root->right->val <= root->val) {
            res = false;
            return;
        }
        dfs(root->right);
    }
};

正确做法：

最简便的方式就是中序遍历所有节点，判断是否严格升序即可。（比较坑的点是数据范围爆int，应该用long long存）

/**
 * Definition for a binary tree node.
 * struct TreeNode {
 *     int val;
 *     TreeNode *left;
 *     TreeNode *right;
 *     TreeNode() : val(0), left(nullptr), right(nullptr) {}
 *     TreeNode(int x) : val(x), left(nullptr), right(nullptr) {}
 *     TreeNode(int x, TreeNode *left, TreeNode *right) : val(x), left(left), right(right) {}
 * };
 */
class Solution {
public:
    bool res = true;
    long long last = 0;
    bool is_first = true;
    bool isValidBST(TreeNode* root) {
        dfs(root);
        return res;
    }

    void dfs(TreeNode* root) {
        if(!root) return;
        dfs(root->left);
        if(is_first) last = root->val, is_first = false;
        else {
            if(root->val - last > 0) {
                last = root->val;
            } else {
                res = false;
                return;
            }
        }
        dfs(root->right);
    }
};