LeetCode98—Validate Binary Search Tree

LeetCode98—Validate Binary Search Tree

判断是否是查找二叉树，三种方式。

原题

Given a binary tree, determine if it is a valid binary search tree (BST).

Assume a BST is defined as follows:

The left subtree of a node contains only nodes with keys less than the node’s key.
The right subtree of a node contains only nodes with keys greater than the node’s key.
Both the left and right subtrees must also be binary search trees.

判断一棵二叉树是否为二叉查找树（BST）。
二叉查找树（英语：Binary Search Tree），也称二叉搜索树、有序二叉树（英语：ordered binary tree），排序二叉树（英语：sorted binary tree），是指一棵空树或者具有下列性质的二叉树：
若任意节点的左子树不空，则左子树上所有结点的值均小于它的根结点的值；
任意节点的右子树不空，则右子树上所有结点的值均大于它的根结点的值；
任意节点的左、右子树也分别为二叉查找树；
没有键值相等的节点。

分析

解法一

二叉查找树有一个重要的性质：即中序遍历递增（不存在两个节点值相等），根据此，中序遍历完成后，查看序列是否有序即可知道是否是二叉查找树。

代码

class Solution {
private:
    void helper(TreeNode* root,vector<int>&result)//中序遍历
    {
        if (root == NULL)
            return;
        helper(root->left, result);
        result.push_back(root->val);
        helper(root->right, result);
    }
public:
    bool isValidBST(TreeNode* root) {
        vector<int>result;
        helper(root, result);
        for (int i = 0; i < result.size()-1; i++)
        {
            if (result[i]>result[i + 1])
                return false;
        }
        return true;
    }
};

解法二

实际上，我们不用完全保存整个序列，这样就不必要再在序列生成之后再迭代判断了。因为中序遍历产生递增序列，所以我们只需记住前一个遍历出来的值，然后与当前值比较即可，如果前一个值大于或等于当前值则返回false。
这里有个很贱的test case就是他会给你节点值为INT_MAX，这样比较的时候没办法完成>= 就返回false这个条件了，因为有可能取等号，因为我们的边界就是取得INT_MAX，基于此，做小小的修改把INT_MAX改成 numeric_limits<long>::min()。

代码

class Solution {
private:
    bool helper(TreeNode * root, long & pre)
    {
        if (root == NULL)
            return true;
        bool left = helper(root->left, pre);
        if (pre >= root->val)
            return false;
        pre = root->val;
        return left && helper(root->right, pre);
    }

public:
    bool isValidBST(TreeNode* root) {
    //  int pre = INT_MIN;
        long pre = numeric_limits<long>::min();
        return helper(root, pre);
    }
};

解法三

这是非常精妙的解法，网上大神的写法，这个实在是没想到：
对于某个节点p来说：
以它为根的左子树的范围一定是(MIN , p->val)
而以它为根的右子树的范围一定是(p->val, MAX)
这里的MIN和MAX指代负无穷和正无穷，因为左右子树分别只有上界和下界。

这样向下递归的过程中，往左递归时，上界就变成了当前节点的值，往右递归时，下界就变成了当前节点的值。如果在递归中遇到结点值超越了自己的上下界，则返回false，否则返回左右子树的结果。

代码

class Solution {
private:
    bool helper(TreeNode * root, long  minVal, long maxVal)
    {
        if (root == NULL)
            return true;
        if (minVal >= root->val || maxVal<=root->val)
            return false;
        return helper(root->left, minVal, root->val)&&helper(root->right,root->val,maxVal);
    }

public:
    bool isValidBST(TreeNode* root) {
        //  int pre = INT_MIN;
        long minVal = numeric_limits<long>::min();
        long maxVal = numeric_limits<long>::max();
        return helper(root, minVal,maxVal);
    }
};